Database Updates in the Event Calculus.

Robert A. Kowalski

Published in: J. Log. Program. (1992)

Keyphrases

event calculus
database updates
situation calculus
deductive databases
temporal reasoning
reasoning about actions and change
database
domain specific knowledge
partially ordered
reasoning tasks
transitive closure
databases
directed acyclic graph
object oriented
qualitative and quantitative