A Characterization of the Partial Stable Models For Disjunctive Databases.
Dietmar SeipelJack MinkerCarolina RuizPublished in: ILPS (1997)
Keyphrases
- stable models
- databases
- logic programs
- answer sets
- disjunctive logic programs
- logic programming
- answer set programming
- normal logic programs
- fixpoint
- database
- general theory
- stable model semantics
- data model
- datalog programs
- minimal models
- data integration
- database systems
- knowledge discovery
- derivation rules
- relational databases
- logic programs with negation
- relational database systems
- background knowledge
- data warehouse
- data sources
- answer set semantics
- artificial intelligence
- deductive databases