A simple account of multi-agent epistemic planning
From MaRDI portal
Publication:4576175
Recommendations
- A lightweight epistemic logic and its application to planning
- Epistemic planning for single- and multi-agent systems
- A general multi-agent epistemic planner based on higher-order belief change
- Modelling multi-agent epistemic planning in ASP
- A First-order Theory of Communication and Multi-agent Plans
Cited in
(26)- Efficient reasoning about knowledge and common knowledge
- Dynamic term-modal logics for first-order epistemic planning
- A general multi-agent epistemic planner based on higher-order belief change
- Efficient multi-agent epistemic planning: teaching planners about nested belief
- Epistemic planning for single- and multi-agent systems
- scientific article; zbMATH DE number 1738683 (Why is no real title available?)
- A First-order Theory of Communication and Multi-agent Plans
- Game description language and dynamic epistemic logic compared
- scientific article; zbMATH DE number 7450025 (Why is no real title available?)
- Reasoning about action and change
- scientific article; zbMATH DE number 7455705 (Why is no real title available?)
- On the Epistemic Feasibility of Plans in Multiagent Systems Specifications
- Knowledge-based strategies for multi-agent teams playing against nature
- DEL-based epistemic planning: decidability and complexity
- Common knowledge in a logic of gossips
- Observing, reporting, and deciding in networks of sentences
- A lightweight epistemic logic and its application to planning
- scientific article; zbMATH DE number 7450017 (Why is no real title available?)
- scientific article; zbMATH DE number 2088150 (Why is no real title available?)
- Epistemic planning: perspectives on the special issue
- On decidability of a logic of gossips
- scientific article; zbMATH DE number 7453144 (Why is no real title available?)
- Modelling multi-agent epistemic planning in ASP
- Epistemic planning with attention as a bounded resource
- Epistemic Multi-agent Planning Using Monte-Carlo Tree Search
- Resource separation in dynamic logic of propositional assignments
This page was built for publication: A simple account of multi-agent epistemic planning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4576175)