Testing and Debugging Techniques for Answer Set Solver Development

Robert Brummayer Matti Järvisalo

Published in: CoRR (2010)

Keyphrases

answer sets
logic programs
software testing
software engineering
answer set programming
logic programming
knowledge based systems
normal logic programs
machine learning
evolutionary algorithm
test cases
answer set programs