Using the event calculus to reason about problem diagrams.

Andreas Classen Robin C. Laney Thein Than Tun Patrick Heymans Arnaud Hubaux

Published in: IWAAPF@ICSE (2008)

Keyphrases

event calculus
situation calculus
reasoning about actions and change
temporal reasoning
partially ordered
reasoning tasks
commonsense reasoning
deductive databases
domain specific knowledge
domain independent
general theory
indirect effects
machine learning
partial order