Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection.
Jörg PührerHans TompitsPublished in: LPNMR (2009)
Keyphrases
- dynamic programming
- strong equivalence
- logic programs
- semantics of logic programs
- answer set semantics
- stable models
- logic programming
- answer sets
- fixpoint semantics
- answer set programming
- fixpoint
- horn clauses
- propositional logic
- deductive databases
- inductive logic programming
- reasoning tasks
- nonmonotonic reasoning
- database systems
- computational complexity