Reasoning About Effects of Concurrent Actions.

Chitta Baral Michael Gelfond

Published in: J. Log. Program. (1997)

Keyphrases

concurrent actions
indirect effects
situation calculus
planning problems
event calculus
description language
action language
reasoning about actions
external events
domain independent
machine learning
general purpose
domain specific knowledge