Formalizing and Validating Behavioral Models Through the Event Calculus.

Oscar Díaz Norman W. Paton Jon Iturrioz

Published in: Inf. Syst. (1998)

Keyphrases

event calculus
behavioral models
situation calculus
temporal reasoning
partially ordered
deductive databases
hierarchical structures
reasoning tasks
domain specific knowledge
dynamic behaviors
transitive closure
conceptual model
high level
data structure
integrity constraints
temporal databases