On the Small-Scope Hypothesis for Testing Answer-Set Programs.

Johannes Oetsch Michael Prischink Jörg Pührer Martin Schwengerer Hans Tompits

Published in: KR (2012)

Keyphrases

answer set programs
answer sets
answer set programming
general purpose
database
artificial intelligence
high level