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
Constructing the least models for positive modal logic programs
Fundamenta Informaticae
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
A fixpoint semantics and an SLD-resolution calculus for modal logic programs
Fundamenta Informaticae
Theoretical Computer Science
The Modal Query Language MDatalog
Fundamenta Informaticae
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
Clausal Tableaux for Multimodal Logics of Belief
Fundamenta Informaticae
| Hi-index | 0.00 |
We give formulations for modal deductive databases and present amodal query language called MDatalog. We define modal relationalalgebras and give the seminaive evaluation algorithm, the top-downevaluation algorithm, and the magic-set transformation for MDatalogqueries. The results of this paper like soundness and completenessof the top-down evaluation algorithm or correctness of themagic-set transformation are proved for the multimodal logics ofbelief KDI4_s5, KDI45, KD4_s5_s, KD45_{(m)}, KD4I_g5_a, and theclass of serial context-free grammar logics. We also show thatMDatalog has PTIME data complexity in the logics KDI4_s5, KDI45,KD4_s5_s, and KD45_{(m)}.