Login / Signup
ARVis: Visualizing Relations between Answer Sets.
Thomas Ambroz
Günther Charwat
Andreas Jusits
Johannes Peter Wallner
Stefan Woltran
Published in:
LPNMR (2013)
Keyphrases
</>
answer sets
logic programs
answer set programming
logic programming
normal logic programs
answer set semantics
answer set programs
fixpoint
extended logic programs
logic program updates
semantic relations
horn clauses
counter examples
loop formulas
stable models
machine learning
sat solvers