Planning Using Dynamic Epistemic Logic: Correspondence and Complexity
From MaRDI portal
Publication:2859117
DOI10.1007/978-3-642-40948-6_25zbMATH Open1405.68327OpenAlexW130324687MaRDI QIDQ2859117
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
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (5)
Parameterized complexity of theory of mind reasoning in dynamic epistemic logic ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ A lightweight epistemic logic and its application to planning ⋮ Approximate Epistemic Planning with Postdiction as Answer-Set Programming ⋮ Planning with Perspectives -- Decomposing Epistemic Planning using Functional STRIPS
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)
