A logical framework for temporal deductive databases.
Suryanarayana M. SripadaPublished in: VLDB (1988)
Keyphrases
- deductive databases
- logical framework
- logic programming
- reasoning tasks
- integrity constraints
- inference rules
- fixpoint
- belief revision
- disjunctive deductive databases
- query evaluation
- semantic query optimization
- closed world assumption
- integrity checking
- temporal reasoning
- temporal information
- constraint checking
- epistemic logic
- model theoretic
- artificial intelligence
- probabilistic inference
- logic programs
- knowledge representation
- datalog programs
- np complete
- software engineering
- machine learning
- semantics of logic programs