How Complicated is the Set of Stable Models of a Recursive Logic Program?
V. Wiktor MarekAnil NerodeJeffrey B. RemmelPublished in: Ann. Pure Appl. Log. (1992)
Keyphrases
- stable models
- logic programs
- logic programming
- normal logic programs
- fixpoint
- answer set programming
- logic programs with negation
- stable model semantics
- declarative semantics
- background knowledge
- answer set programs
- deductive databases
- answer sets
- strong equivalence
- computational properties
- datalog programs
- probabilistic reasoning
- horn clauses
- hidden markov models
- inductive logic programming
- answer set semantics