Stepwise Debugging of Answer-Set Programs.

Johannes Oetsch Jörg Pührer Hans Tompits

Published in: CoRR (2017)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
stable models
logic programming
update operators
event calculus
knowledge base
general purpose