Pages that link to "Item:Q3299577"
From MaRDI portal
The following pages link to Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic (Q3299577):
Displaying 6 items.
- An action language for multi-agent domains (Q2060726) (← links)
- Epistemic planning with attention as a bounded resource (Q2148811) (← links)
- A lightweight epistemic logic and its application to planning (Q2238679) (← links)
- Hybrid-logical reasoning in the Smarties and Sally-Anne tasks (Q2258816) (← links)
- Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization (Q5006836) (← links)
- (Q5015396) (← links)