spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics

Authors:
Martin Gebser;Jörg Pührer;Torsten Schaub;Hans Tompits;Stefan Woltran
Affiliations:
Institut für Informatik, Universität Potsdam, Potsdam, Germany D-14482;Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria A---1040;Institut für Informatik, Universität Potsdam, Potsdam, Germany D-14482;Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria A---1040;Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria A---1040
Venue:
Applications of Declarative Programming and Knowledge Management
Year:
2009

Citing 9
Cited 1

Justifying proofs using memo tables

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Extending and implementing the stable model semantics

Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
A framework for compiling preferences in logic programs

Theory and Practice of Logic Programming
ASSAT: computing answer sets of a logic program by SAT solvers

Artificial Intelligence - Special issue on nonmonotonic reasoning
The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)
A meta-programming technique for debugging answer-set programs

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Debugging ASP programs by means of ASP

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Justifications for logic programs under answer set semantics

ICLP'06 Proceedings of the 22nd international conference on Logic Programming

Catching the ouroboros: On debugging non-ground answer-set programs

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance, ASP suffers from a lack of support for program developers. In particular, tools are needed that help engineers in detecting erroneous parts of their programs. Unlike in other areas of logic programming, applying tracing techniques for debugging logic programs under the answer-set semantics seems rather unnatural, since employing imperative solving algorithms would undermine the declarative flavour of ASP. In this paper, we present the system spock , a debugging support tool for answer-set programs making use of ASP itself. The implemented techniques maintain the declarative nature of ASP within the debugging process and are independent of the actual computation of answer sets.