Login / Signup
Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs
Johannes Oetsch
Jörg Pührer
Hans Tompits
Published in:
CoRR (2010)
Keyphrases
</>
answer set programs
answer set programming
answer sets
logic programs
stable models
logic programming
update operators
orders of magnitude
event calculus
temporal reasoning
reasoning tasks