On the Computation of Disjunctive Stable Models.
Nicola LeonePasquale RulloFrancesco ScarcelloPublished in: DEXA (1996)
Keyphrases
- stable models
- logic programs
- answer sets
- disjunctive logic programs
- logic programming
- normal logic programs
- stable model semantics
- answer set programming
- fixpoint
- polynomial hierarchy
- general theory
- answer set programs
- datalog programs
- deductive databases
- general purpose
- strong equivalence
- answer set semantics
- machine learning
- semantics for logic programs
- database