C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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