Syntax and Semantics for a Fuzzy Temporal Constraint Logic
Annals of Mathematics and Artificial Intelligence
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A fixpoint semantics and an SLD-resolution calculus for modal logic programs
Fundamenta Informaticae
The complexity of constraint satisfaction problems for small relation algebras
Artificial Intelligence
A practical pattern recovery approach based on both structural and behavioral analysis
Journal of Systems and Software - Special issue: Software engineering education and training
Temporal Contextual Logic Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Axiomatic semantics of projection temporal logic programs†
Mathematical Structures in Computer Science
Branching-time logic programming: the language Cactus and its applications
Computer Languages
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs
Fundamenta Informaticae
Logical foundations for more expressive declarative temporal logic programming languages
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |