The following pages link to (Q4576175):
Displaying 18 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)
- Knowledge-based strategies for multi-agent teams playing against nature (Q2152496) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- DEL-based epistemic planning: decidability and complexity (Q2211863) (← links)
- Game description language and dynamic epistemic logic compared (Q2238672) (← links)
- A lightweight epistemic logic and its application to planning (Q2238679) (← links)
- On Decidability of a Logic of Gossips (Q2835859) (← links)
- (Q5016795) (← links)
- (Q5018499) (← links)
- (Q5018508) (← links)
- (Q5020586) (← links)
- (Q5020961) (← links)
- Resource separation in dynamic logic of propositional assignments (Q5918351) (← links)
- Epistemic planning: perspectives on the special issue (Q6098843) (← links)
- Epistemic Multi-agent Planning Using Monte-Carlo Tree Search (Q6488094) (← links)
- Reasoning about action and change (Q6602230) (← links)
- Efficient reasoning about knowledge and common knowledge (Q6623954) (← links)