Hyperequivalence of logic programs with respect to supported models.
Miroslaw TruszczynskiStefan WoltranPublished in: Ann. Math. Artif. Intell. (2008)
Keyphrases
- logic programs
- semantics for logic programs
- logic programming
- stable models
- minimal models
- answer set programming
- fixpoint
- autoepistemic logic
- answer sets
- open world
- normal logic programs
- model theoretic
- inductive logic programming
- incomplete information
- background knowledge
- propositional logic
- normal form
- answer set semantics
- stable model semantics
- nonmonotonic reasoning
- knowledge base