Reasoning about knowledge
Distributed problem solving and planning
Multiagent systems
Tractable multiagent planning for epistemic goals
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
A distributed framework for solving the Multiagent Plan Coordination Problem
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
An efficient algorithm for multiagent plan coordination
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Logics of communication and change
Information and Computation
Logic programming for finding models in the logics of knowledge and its applications: A case study
Theory and Practice of Logic Programming
On representing actions in multi-agent domains
Logic programming, knowledge representation, and nonmonotonic reasoning
Hi-index | 0.00 |
This paper discusses the planning problem in multi-agent domains, in which agents may execute not only world-altering actions, but also epistemic actions. The paper reviews the concepts of Kripke structures and update models, as proposed in the literature to model epistemic and ontic actions; it then discusses the use of Answer Set Programming (ASP) in representing and reasoning about the effects of actions on the world, the knowledge of agents, and planning. The paper introduces the m $\mathcal{A}_{0}$ language, an action language for multi-agent domains with epistemic and ontic actions, to demonstrate the proposed ASP model.