Pages that link to "Item:Q3094006"
From MaRDI portal
The following pages link to DEL Planning and Some Tractable Cases (Q3094006):
Displaying 19 items.
- Computation as social agency: what, how and who (Q1641025) (← links)
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief (Q1708808) (← links)
- Knowledge-based programs as succinct policies for partially observable domains (Q2046009) (← links)
- A general multi-agent epistemic planner based on higher-order belief change (Q2060686) (← links)
- An action language for multi-agent domains (Q2060726) (← links)
- Efficient multi-agent epistemic planning: teaching planners about nested belief (Q2060737) (← links)
- Multi-agent conformant planning with distributed knowledge (Q2148824) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- DEL-based epistemic planning: decidability and complexity (Q2211863) (← links)
- Planning-based knowing how: a unified approach (Q2238589) (← links)
- Game description language and dynamic epistemic logic compared (Q2238672) (← links)
- A dynamic epistemic framework for reasoning about conformant probabilistic plans (Q2321264) (← links)
- Conditional Epistemic Planning (Q2915062) (← links)
- Finitary S5-Theories (Q2938497) (← links)
- DEL-sequents for regression and epistemic planning (Q4583175) (← links)
- (Q5015399) (← links)
- Modelling Multi-Agent Epistemic Planning in ASP (Q5140002) (← links)
- Dynamic Epistemic Logics (Q5249670) (← links)
- Epistemic planning: perspectives on the special issue (Q6098843) (← links)
