Commitment Tracking via the Reactive Event Calculus.

Federico Chesani Paola Mello Marco Montali Paolo Torroni

Published in: IJCAI (2009)

Keyphrases

event calculus
situation calculus
partially ordered
reasoning about actions and change
reasoning tasks
commonsense reasoning
deductive databases
temporal reasoning
transitive closure
domain specific knowledge
partial order
domain independent
temporal information