Temporal Indeterminancy in Deductive Databases: An Approach Based on Event Calculus.

Luca Chittaro Carlo Combi

Published in: ARTDB (1997)

Keyphrases

deductive databases
event calculus
integrity constraints
fixpoint
logic programming
query evaluation
temporal reasoning
temporal information
temporal data
temporal databases
model theoretic
temporal patterns
object oriented
inductive logic programming
stable models