A Meta-Programming Technique for Debugging Answer-Set Programs.

Martin Gebser Jörg Pührer Torsten Schaub Hans Tompits

Published in: AAAI (2008)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
novice programmers
programming language
stable models
database
programming environment
update operators
logic programming
database systems
meta level
event calculus