Debugging Non-Ground ASP Programs: Technique and Graphical Tools

no code implementations • 1 Aug 2018 • Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin

Answer Set Programming (ASP) is one of the major declarative programming paradigms in the area of logic programming and non-monotonic reasoning.

An integrated Graphical User Interface for Debugging Answer Set Programs

no code implementations • 15 Nov 2016 • Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin

Furthermore, the debugging interface is integrated in ASPIDE, a rich IDE for answer set programs.