Relativized Hyperequivalence of Logic Programs for Modular Programming.
Miroslaw TruszczynskiStefan WoltranPublished in: ICLP (2008)
Keyphrases
- logic programs
- minimal models
- semantics for logic programs
- model theoretic
- autoepistemic logic
- logic programming
- fixpoint
- stable models
- answer sets
- programming language
- answer set programming
- propositional logic
- normal logic programs
- declarative programming
- background knowledge
- answer set semantics
- nonmonotonic reasoning
- deductive databases
- knowledge base
- default logic