Variants of the Event Calculus.

Fariba Sadri Robert A. Kowalski

Published in: ICLP (1995)

Keyphrases

event calculus
situation calculus
reasoning about actions and change
temporal reasoning
deductive databases
commonsense reasoning
partially ordered
reasoning tasks
domain specific knowledge
directed acyclic graph
temporal information
transitive closure
expert systems
logic programming
database
partial order