Partial Evidential Stable Models for Disjunctive Deductive Databases.
Dietmar SeipelPublished in: LPKR (1997)
Keyphrases
- disjunctive deductive databases
- stable models
- deductive databases
- logic programming
- fixpoint
- logic programs
- datalog programs
- normal logic programs
- integrity constraints
- horizontal fragmentation
- query evaluation
- stable model semantics
- answer set programming
- machine learning
- semantics for logic programs
- background knowledge
- relational databases
- derivation rules
- nonmonotonic reasoning
- query optimization