A lightweight epistemic logic and its application to planning

Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin, Pierre Régnier. A lightweight epistemic logic and its application to planning. Artificial Intelligence, 298:103437, 2021. [doi]

Abstract

Abstract is missing.