A Formal Account of Nondeterministic and Failed Actions.

James P. Delgrande Hector J. Levesque

Published in: IJCAI (2013)

Keyphrases

initial state
situation calculus
reasoning about actions
finite state
information retrieval
formal model
artificial intelligence
goal directed
learning algorithm
computer vision
formal methods