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
Foundations of Modal Deductive Databases
Fundamenta Informaticae
Clausal Tableaux for Multimodal Logics of Belief
Fundamenta Informaticae
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
Fundamenta Informaticae
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
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
Clausal Tableaux for Multimodal Logics of Belief
Fundamenta Informaticae
Foundations of Modal Deductive Databases
Fundamenta Informaticae
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs
Fundamenta Informaticae
Hi-index | 0.01 |