Temporal logic programming is complete and expressive
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A fixpoint semantics and an SLD-resolution calculus for modal logic programs
Fundamenta Informaticae
Disjunction and modular goal-directed proof search
ACM Transactions on Computational Logic (TOCL)
Theoretical Computer Science
Representing and Validating Digital Business Processes
Advances in Web Semantics I
Logic-based knowledge representation
Artificial intelligence today
Resolution with Order and Selection for Hybrid Logics
Journal of Automated Reasoning
An SLD-resolution calculus for basic serial multimodal logics
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Reasoning about epistemic states of agents by modal logic programming
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
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 |