Login / Signup
On Testing Answer-Set Programs.
Tomi Janhunen
Ilkka Niemelä
Johannes Oetsch
Jörg Pührer
Hans Tompits
Published in:
ECAI (2010)
Keyphrases
</>
answer set programs
answer set programming
answer sets
logic programs
search strategies
stable models