Login / Signup
Catching the Ouroboros: On debugging non-ground answer-set programs.
Johannes Oetsch
Jörg Pührer
Hans Tompits
Published in:
Theory Pract. Log. Program. (2010)
Keyphrases
</>
answer set programs
answer set programming
answer sets
logic programs
stable models
logic programming
search algorithm
event calculus
general purpose