Notions of Strong Equivalence for Logic Programs with Ordered Disjunction.
Wolfgang FaberHans TompitsStefan WoltranPublished in: KR (2008)
Keyphrases
- strong equivalence
- logic programs
- semantics of logic programs
- answer set semantics
- computational properties
- answer sets
- fixpoint
- model theoretic
- logic programming
- stable models
- propositional theories
- fixpoint semantics
- answer set programming
- normal logic programs
- general logic programs
- deductive databases
- nonmonotonic reasoning
- knowledge base
- autoepistemic logic
- integrity constraints
- software engineering
- object oriented
- query language