Testing and debugging techniques for answer set solver development.

Robert Brummayer Matti Järvisalo

Published in: Theory Pract. Log. Program. (2010)

Keyphrases

answer sets
software testing
answer set programming
logic programs
knowledge based systems
software engineering
answer set semantics
machine learning
knowledge management
test cases
database
high level
natural language