ML Anthology

Gelfond, Gregory

1 publications

AAAI 2015 Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond