Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
J. Oetsch, J. Puehrer, H. Tompits:
"Let's Break the Rules: Interactive Procedural-Style Debugging of Answer-Set Programs";
Vortrag: 24th Workshop on (Constraint) Logic Programming (WLP 2010),
Kairo;
14.09.2010
- 16.09.2010; in: "24th Workshop on (Constraint) Logic Programming WLP'2010",
S. Abdennadher (Hrg.);
Technical Report, Faculty of Media Engineering and Technology, German University in Cairo,
Cairo, Egypt
(2010),
S. 77
- 87.
Kurzfassung englisch:
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.
Schlagworte:
Answer Set Programming, debugging, stable model semantics, procedural,
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_187984.pdf
Zugeordnete Projekte:
Projektleitung Hans Tompits:
Softwareentwicklung in der Answer-Set Programmierung
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.