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

Tran Cao Son Enrico Pontelli Chitta Baral Gregory Gelfond

Published in: AAAI (2015)

Keyphrases

computational model
formal model
decision trees
objective function
management system
theoretical framework
data sets
neural network
spatio temporal
probability distribution
markov chain
theoretical analysis
statistical model
experimental data