Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence

Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond. Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence. In Blai Bonet, Sven Koenig, editors, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. pages 1604-1610, AAAI Press, 2015. [doi]

Abstract

Abstract is missing.