New Directions For Uncertainty Reasoning In Deductive Databases.
Ulrich GüntzerWerner KießlingHelmut ThönePublished in: SIGMOD Conference (1991)
Keyphrases
- deductive databases
- hypothetical reasoning
- logic programming
- integrity constraints
- query evaluation
- disjunctive deductive databases
- event calculus
- fixpoint
- integrity checking
- declarative language
- reasoning tasks
- semantic query optimization
- model theoretic
- closed world assumption
- constraint checking
- knowledge representation and reasoning
- knowledge base
- declarative semantics
- database
- probabilistic reasoning
- stable models
- knowledge representation
- query language
- automated reasoning
- datalog programs
- incomplete information
- fixpoint semantics
- conditional probabilities
- object oriented databases