More for free: a dynamic epistemic framework for conformant planning over transition systems*
From MaRDI portal
Publication:4555449
DOI10.1093/logcom/exx020zbMath1402.68168OpenAlexW2786343747MaRDI QIDQ4555449
Yanjing Wang, Yanjun Li, Quan Yu
Publication date: 20 November 2018
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exx020
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items
Multi-agent conformant planning with distributed knowledge, BISIMULATIONS FOR KNOWING HOW LOGICS, Two ways to scare a Gruffalo, Beyond Knowing That: A New Generation of Epistemic Logics, Planning-based knowing how: a unified approach, Knowledge-based programs as succinct policies for partially observable domains, A dynamic epistemic framework for reasoning about conformant probabilistic plans
