Planning using dynamic epistemic logic: correspondence and complexity

DOI10.1007/978-3-642-40948-6_25MaRDI QIDQ2859117zbMATH OpenOpenAlexFDO

Authors Martin Holm Jensen

Publication date 6 November 2013

Published in Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40948-6_25

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• DEL planning and some tractable cases
• A dynamic epistemic framework for conformant planning
• DEL-based epistemic planning: decidability and complexity
• Conditional epistemic planning
• Dynamic term-modal logics for first-order epistemic planning

Cited in

(21)

• Parameterized complexity of theory of mind reasoning in dynamic epistemic logic
• Epistemic planning with attention as a bounded resource
• Dynamic term-modal logics for first-order epistemic planning
• DEL-based epistemic planning: decidability and complexity
• Planning-based knowing how: a unified approach
• A lightweight epistemic logic and its application to planning
• The dynamic logic of policies and contingent planning
• A dynamic epistemic framework for reasoning about conformant probabilistic plans
• Approximate Epistemic Planning with Postdiction as Answer-Set Programming
• Conditional epistemic planning
• DEL planning and some tractable cases
• Knowledge-based programs as plans. The complexity of plan verification
• Logic programming for finding models in the logics of knowledge and its applications: a case study
• An epistemic logic for planning with trials
• More for free: a dynamic epistemic framework for conformant planning over transition systems
• A dynamic epistemic framework for conformant planning
• A logic programming approach to knowledge-state planning, semantics and complexity
• Not all those who wander are lost: dynamic epistemic reasoning in navigation
• Planning with Perspectives -- Decomposing Epistemic Planning using Functional STRIPS
• Erratum to: ``Dynamic term-modal logics for first-order epistemic planning
• \textsc{delphic}: practical DEL planning via possibilities

This page was built for publication: Planning using dynamic epistemic logic: correspondence and complexity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2859117)