Computing stable models: worst-case performance estimates.
Zbigniew LoncMiroslaw TruszczynskiPublished in: Theory Pract. Log. Program. (2004)
Keyphrases
- stable models
- worst case
- logic programs
- logic programming
- stable model semantics
- general theory
- fixpoint
- answer set programming
- upper bound
- normal logic programs
- strong equivalence
- average case
- deductive databases
- orders of magnitude
- answer set programs
- logic programs with negation
- artificial intelligence
- incomplete information
- constraint satisfaction
- programming language
- high level