Towards Debugging of Answer-Set Programs in the Language PSpb.

Artur Mikitiuk Eric Moseley Miroslaw Truszczynski

Published in: IC-AI (2007)

Keyphrases

answer set programs
answer set programming
logic programs
answer sets
natural language
programming language
stable models
reasoning tasks
operational semantics