Login / Signup
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets.
Martin Gebser
Torsten Schaub
Hans Tompits
Stefan Woltran
Published in:
FoIKS (2008)
Keyphrases
</>
answer sets
answer set semantics
answer set programs
logic programs
loop formulas
semantics of logic programs
answer set programming
strong equivalence
logic programming
stable model semantics
normal logic programs
fixpoint
machine learning
horn clauses
datalog programs
sat solvers
general purpose