MOLOG: A system that extends PROLOG with modal logic
New Generation Computing
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
Multi-agent reasoning with belief contexts: the approach and a case study
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Reasoning about knowledge
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Modalities for reasoning about knowledge and uncertainties
Partiality, modality, and nonmonotonicity
Normal multimodal logics with interaction axioms
Labelled deduction
Autonomous Agents and Multi-Agent Systems
An Overview of Temporal and Modal Logic Programming
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Multi-agent Logics of Dynamic Belief and Knowledge
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
An Introduction to Executable Modal and Temporal Logics
IJCAI '93 Proceedings of the Workshop on Executable Modal and Temporal Logics
How to Use Modalities and Sorts in Prolog
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
A fixpoint semantics and an SLD-resolution calculus for modal logic programs
Fundamenta Informaticae
Rational Teams: Logical Aspects of Multi-Agent Systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Step-logic and the three-wise-men problem
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
A tableau calculus with automaton-labelled formulae for regular grammar logics
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
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
Theoretical Computer Science
Foundations of Modal Deductive Databases
Fundamenta Informaticae
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
Computational Logic in Multi-Agent Systems
Foundations of Modal Deductive Databases
Fundamenta Informaticae
| Hi-index | 0.00 |
Modal logic programming is one of appropriate approaches to deal with reasoning about epistemic states of agents. We specify here the least model semantics, the fixpoint semantics, and an SLD-resolution calculus for modal logic programs in the multimodal logic KD4Ig5a, which is intended for reasoning about belief and common belief of agents. We prove that the presented SLD-resolution calculus is sound and complete. We also present a formalization of the wise men puzzle using a modal logic program in KD4Ig5a. This shows that it is worth to study modal logic programming for multi-agent systems.