Login / Signup
Embracing Occlusion in Specifying the Indirect Effects of Actions.
Joakim Gustafsson
Patrick Doherty
Published in:
KR (1996)
Keyphrases
</>
indirect effects
reasoning about actions
situation calculus
event calculus
concurrent actions
action theories
general purpose
image sequences
action language
database
artificial intelligence
logic programs
temporal reasoning
description language
transitive closure