Strong Equivalence of RASP Programs.

Stefania Costantini Andrea Formisano David Pearce

Published in: Correct Reasoning (2012)

Keyphrases

strong equivalence
stable models
logic programs
answer sets
answer set semantics
logic programming
fixpoint
answer set programming
sufficient conditions
autoepistemic logic
argumentation semantics
ontology languages
reasoning tasks
argumentation frameworks
object oriented
sat solvers
general purpose