Efficient multi-agent epistemic planning: teaching planners about nested belief
From MaRDI portal
Publication:2060737
DOI10.1016/j.artint.2021.103605OpenAlexW3204997998MaRDI QIDQ2060737
Christian Muise, Adrian R. Pearce, Paolo Felli, Vaishak Belle, Tim Miller, Liz Sonenberg, Sheila A. McIlraith
Publication date: 13 December 2021
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2110.02480
Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Agent technology and artificial intelligence (68T42)
Related Items
Cites Work
- Online planning for multi-agent systems with bounded communication
- On the status of the postulate of recovery in the logic of theory change
- Subjunctives, dispositions and chances
- Gossips and telegraphs
- A logic of believing, knowing, and inferring
- Propositional belief base update and minimal change
- A lightweight epistemic logic and its application to planning
- Answer set programming and its applications in planning and multi-agent systems
- Belief Tracking for Planning with Sensing: Width, Complexity and Approximations
- Epistemic planning for single- and multi-agent systems
- Relevant Minimal Change in Belief Update
- DEL Planning and Some Tractable Cases
- A completeness theorem in modal logic
- Dynamic Epistemic Logic and Knowledge Puzzles
- Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width
- Prime Implicates and Prime Implicants: From Propositional to Modal Logic
- On the logic of theory change: Partial meet contraction and revision functions
- State Constraints Revisited
- Replanning in Domains with Partial Information and Sensing Actions
- An Introduction to the Planning Domain Definition Language
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
