Login / Signup
E-RES: A System for Reasoning about Actions, Events and Observations
Antonis C. Kakas
Rob Miller
Francesca Toni
Published in:
CoRR (2000)
Keyphrases
</>
reasoning about actions
action sequences
logic programming
situation calculus
action language
dynamic logic
indirect effects
event detection
fluent calculus
action theories
propositional dynamic logic
domain specific
minimal change
temporal events
temporal relations
temporal patterns
logic programs