Relativized hyperequivalence of logic programs for modular programming
Miroslaw TruszczynskiStefan WoltranPublished in: CoRR (2009)
Keyphrases
- logic programs
- minimal models
- semantics for logic programs
- model theoretic
- autoepistemic logic
- logic programming
- fixpoint
- stable models
- answer sets
- normal logic programs
- answer set programming
- background knowledge
- programming language
- declarative programming
- propositional logic
- inductive logic programming
- nonmonotonic reasoning
- open world
- answer set semantics
- stable model semantics
- general purpose