An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence.
James P. DelgrandeKewen WangPublished in: CoRR (2014)
Keyphrases
- strong equivalence
- logic programs
- answer set programming
- stable models
- disjunctive logic programming
- logic programming
- stable model semantics
- answer sets
- answer set semantics
- autoepistemic logic
- minimal models
- reasoning tasks
- default logic
- polynomial hierarchy
- fixpoint
- database systems
- deductive databases
- programming language
- computational complexity
- general purpose
- knowledge representation
- lower bound