An epistemic logic for planning with trials

DOI10.1007/978-3-642-04893-7_19zbMATH Open1196.68286OpenAlexW1525784658MaRDI QIDQ3655232FDOQ3655232

Authors:

Publication date: 7 January 2010

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

Full work available at URL: https://doi.org/10.1007/978-3-642-04893-7_19

Recommendations

• Epistemic planning for single- and multi-agent systems
• Conditional epistemic planning
• Planning using dynamic epistemic logic: correspondence and complexity
• A dynamic epistemic framework for conformant planning
• Knowledge Preconditions for Plans

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Cited In (2)

• Epistemic planning for single- and multi-agent systems
• A lightweight epistemic logic and its application to planning

This page was built for publication: An epistemic logic for planning with trials

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