DEL Planning and Some Tractable Cases
From MaRDI portal
Publication:3094006
DOI10.1007/978-3-642-24130-7_13zbMath1298.03054OpenAlexW2290731519MaRDI QIDQ3094006
Andreas Witzel, Eric Pacuit, Benedikt Loewe
Publication date: 19 October 2011
Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24130-7_13
Related Items (20)
Computation as social agency: what, how and who ⋮ Multi-agent conformant planning with distributed knowledge ⋮ Conditional Epistemic Planning ⋮ Finitary S5-Theories ⋮ DEL-sequents for regression and epistemic planning ⋮ Epistemic planning: perspectives on the special issue ⋮ Two ways to scare a Gruffalo ⋮ Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief ⋮ Unnamed Item ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ DEL-based epistemic planning: decidability and complexity ⋮ Modelling Multi-Agent Epistemic Planning in ASP ⋮ Planning-based knowing how: a unified approach ⋮ Game description language and dynamic epistemic logic compared ⋮ Knowledge-based programs as succinct policies for partially observable domains ⋮ A general multi-agent epistemic planner based on higher-order belief change ⋮ An action language for multi-agent domains ⋮ Efficient multi-agent epistemic planning: teaching planners about nested belief ⋮ A dynamic epistemic framework for reasoning about conformant probabilistic plans ⋮ Dynamic Epistemic Logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- What will they say? -- Public announcement games
- Logics of communication and change
- Dynamic epistemic logic
- STRIPS: A new approach to the application of theorem proving to problem solving
- Epistemic planning for single- and multi-agent systems
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- From Situation Calculus to Dynamic Epistemic Logic
- Narrative Planning: Balancing Plot and Character
- Consistency Preservation and Crazy Formulas in BMS
- Dynamic logic of preference upgrade
- Communication strategies in games
This page was built for publication: DEL Planning and Some Tractable Cases
