The Semantics of Gringo and Proving Strong Equivalence.
Amelia HarrisonPublished in: Theory Pract. Log. Program. (2013)
Keyphrases
- strong equivalence
- logic programs
- stable models
- argumentation frameworks
- argumentation semantics
- logic programming
- autoepistemic logic
- answer set semantics
- answer set programming
- reasoning tasks
- sufficient conditions
- answer sets
- classical logic
- formal semantics
- fixpoint
- database systems
- model theoretic
- default logic
- software engineering