A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus.

Massimo Franceschet Angelo Montanari

Published in: TIME (1999)

Keyphrases

partially ordered
event calculus
partial order
reasoning about actions and change
totally ordered
partial ordering
temporal reasoning
reasoning tasks
situation calculus
multi dimensional
temporal information
database
relational databases
transitive closure
indirect effects