Strong equivalence of logic programs under the infinite-valued semantics.
Christos NomikosPanos RondogiannisWilliam W. WadgePublished in: Inf. Process. Lett. (2009)
Keyphrases
- strong equivalence
- logic programs
- logic programming
- stable models
- answer sets
- answer set semantics
- answer set programming
- fixpoint
- inductive logic programming
- background knowledge
- reasoning tasks
- computational properties
- classical logic
- argumentation frameworks
- default logic
- knowledge base
- autoepistemic logic
- stable model semantics
- refinement operators
- deductive databases
- decision problems
- sufficient conditions
- argumentation semantics
- general purpose