Talks and Poster Presentations (with Proceedings-Entry):

J. Oetsch, J. Puehrer, H. Tompits:
"Let's Break the Rules: Interactive Procedural-Style Debugging of Answer-Set Programs";
Talk: 24th Workshop on (Constraint) Logic Programming (WLP 2010), Kairo; 2010-09-14 - 2010-09-16; in: "24th Workshop on (Constraint) Logic Programming WLP'2010", S. Abdennadher (ed.); Technical Report, Faculty of Media Engineering and Technology, German University in Cairo, Cairo, Egypt (2010), 77 - 87.

English abstract:
We introduce an interactive procedural-style debugging approach for answer-set programs that avoids the negative aspects of non-declarative debugging of ASP. It is based on an intuitive computation model that allows a user to follow his or her intuition by stepwise determining which applicable rules are considered to be supporting rules. Moreover, we define the notion of a breakpoint for answer-set programs that allows to start stepwise debugging of a program P from an answer set of a subprogram of P.

Answer Set Programming, debugging, stable model semantics, procedural,

Electronic version of the publication:

Related Projects:
Project Head Hans Tompits:
Softwareentwicklung in der Answer-Set Programmierung

Created from the Publication Database of the Vienna University of Technology.