An integrated Graphical User Interface for Debugging Answer Set Programs
Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale,, Francesco Ricca, Konstantin Schekotihin

TL;DR
This paper introduces a new graphical debugging interface integrated into ASPIDE, enhancing debugging of non-ground answer set programs by simplifying interaction and supporting industrial applications of Answer Set Programming.
Contribution
The paper presents a novel graphical debugging interface for non-ground ASP programs, integrated into ASPIDE, based on the DWASP approach, improving usability and debugging efficiency.
Findings
The interface simplifies debugging interactions.
Integration into ASPIDE enhances IDE capabilities.
Supports industrial applications of ASP.
Abstract
Answer Set Programming (ASP) is an expressive knowledge representation and reasoning framework. Due to its rather simple syntax paired with high-performance solvers, ASP is interesting for industrial applications. However, to err is human and thus debugging is an important activity during the development process. Therefore, tools for debugging non-ground answer set programs are needed. In this paper, we present a new graphical debugging interface for non-ground answer set programs. The tool is based on the recently-introduced DWASP approach for debugging and it simplifies the interaction with the debugger. Furthermore, the debugging interface is integrated in ASPIDE, a rich IDE for answer set programs. With our extension ASPIDE turns into a full-fledged IDE by offering debugging support.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · AI-based Problem Solving and Planning · Multi-Agent Systems and Negotiation
