The dynamic logic of policies and contingent planning

DOI10.1007/978-3-030-19570-0_43MaRDI QIDQ2296752zbMATH OpenOpenAlexFDO

Authors Thomas Bolander, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Andreas Herzig

Publication date 18 February 2020

Full work available at URL https://oatao.univ-toulouse.fr/26184/1/Bolander_26184.pdf

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• AI*IA 2003: Advances in Artificial Intelligence
• Conditional epistemic planning
• DEL planning and some tractable cases
• The planning spectrum - one, two, three, infinity
• Planning using dynamic epistemic logic: correspondence and complexity

Cited in

(6)

• Knowledge-based programs as succinct policies for partially observable domains
• Multi-agent conformant planning with distributed knowledge
• Models of Policy under Stochastic Replanning
• To be announced
• Complexity of multi-agent conformant planning with group knowledge
• Epistemic proactivity via reasoning about beliefs and expectations using plausibility models

This page was built for publication: The dynamic logic of policies and contingent planning

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