Login / Signup
A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus.
Massimo Franceschet
Angelo Montanari
Published in:
Ann. Math. Artif. Intell. (2000)
Keyphrases
</>
partially ordered
event calculus
partial order
reasoning about actions and change
partial ordering
totally ordered
modal operators
temporal reasoning
transitive closure
data structure
prior knowledge
situation calculus
temporal patterns
reasoning tasks