Relativized hyperequivalence of logic programs for modular programming.
Miroslaw TruszczynskiStefan WoltranPublished in: Theory Pract. Log. Program. (2009)
Keyphrases
- logic programs
- minimal models
- semantics for logic programs
- model theoretic
- autoepistemic logic
- logic programming
- fixpoint
- stable models
- answer sets
- answer set programming
- programming language
- declarative programming
- background knowledge
- normal logic programs
- propositional logic
- open world
- inductive logic programming
- answer set semantics
- stable model semantics
- object oriented
- horn clauses
- nonmonotonic reasoning
- incomplete information
- default logic
- classical logic