Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Multimodal logic programming using equational and order-sorted logic
Theoretical Computer Science - Selected papers of the Second International Conference on algebraic and logic programming, Nancy, France, October 1–3, 1990
Towards a unified theory of intensional logic programming
Journal of Logic Programming
Combining Horn rules and description logics in CARIN
Artificial Intelligence
First-order modal logic
linear time datalob and branching time logic
Logic-based artificial intelligence
Modal logic
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
A Resolution Calculus for Modal Logics
Proceedings of the 9th International Conference on Automated Deduction
Datalog and Description Logics: Expressive Power
DBLP-6 Proceedings of the 6th International Workshop on Database Programming Languages
How to Use Modalities and Sorts in Prolog
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Theoretical Computer Science
Rational Teams: Logical Aspects of Multi-Agent Systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Data complexity of reasoning in very expressive description logics
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
The data complexity of MDatalog in basic modal logics
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
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
The Modal Query Language MDatalog
Fundamenta Informaticae
Constructing the Least Models for Positive Modal Logic Programs
Fundamenta Informaticae
A Generalized QSQR Evaluation Method for Horn Knowledge Bases
ACM Transactions on Computational Logic (TOCL)
Clausal Tableaux for Multimodal Logics of Belief
Fundamenta Informaticae
Reasoning about knowledge in distributed systems using datalog
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Knowlog: a declarative language for reasoning about knowledge in distributed systems
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Hi-index | 0.00 |
We give formulations for modal deductive databases and present a modal query language called MDatalog. We define modal relational algebras and give the seminaive evaluation algorithm, the top-down evaluation algorithm, and the magic-set transformation for MDatalog queries. The results of this paper like soundness and completeness of the top-down evaluation algorithm or correctness of the magic-set transformation are proved for the multimodal logics of belief KDI4$_s$5, KDI45, KD4$_s$5$_s$, KD45$_{(m)}$, KD4I$_g$5$_a$, and the class of serial context-free grammar logics. We also show that MDatalog has PTIME data complexity in the logics KDI4$_s$5, KDI45, KD4$_s$5$_s$, and KD45$_{(m)}$.