Hyperequivalence of Logic Programs with Respect to Supported Models.
Miroslaw TruszczynskiStefan WoltranPublished in: AAAI (2008)
Keyphrases
- logic programs
- semantics for logic programs
- logic programming
- minimal models
- stable models
- answer sets
- autoepistemic logic
- open world
- normal logic programs
- model theoretic
- fixpoint
- background knowledge
- answer set programming
- answer set semantics
- computational properties
- knowledge base
- propositional logic
- inductive logic programming
- normal form
- query processing