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

Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond

Browse the full AAAI paper archive.