Ramifications: An Extension and Correspondence Result for the Event Calculus.

Jeremy Forth Rob Miller

Published in: J. Log. Comput. (2007)

Keyphrases

event calculus
indirect effects
situation calculus
reasoning about actions and change
partially ordered
deductive databases
reasoning tasks
artificial intelligence
commonsense reasoning
temporal reasoning
high level
prior knowledge
domain specific knowledge