Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence.
Jörg PührerHans TompitsStefan WoltranPublished in: ICLP (2008)
Keyphrases
- answer set programs
- semantics for logic programs
- stable models
- answer sets
- logic programs
- minimal models
- answer set programming
- logic programming
- normal logic programs
- fixpoint
- model theoretic
- answer set semantics
- stable model semantics
- deductive databases
- autoepistemic logic
- inductive logic programming
- nonmonotonic reasoning
- horn clauses
- artificial intelligence