Pages that link to "Item:Q2238679"
From MaRDI portal
The following pages link to A lightweight epistemic logic and its application to planning (Q2238679):
Displaying 7 items.
- A general multi-agent epistemic planner based on higher-order belief change (Q2060686) (← links)
- Efficient multi-agent epistemic planning: teaching planners about nested belief (Q2060737) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- Epistemic planning for single- and multi-agent systems (Q2901205) (← links)
- On the Epistemic Feasibility of Plans in Multiagent Systems Specifications (Q4408523) (← links)
- Epistemic planning: perspectives on the special issue (Q6098843) (← links)
- Efficient reasoning about knowledge and common knowledge (Q6623954) (← links)