Debugging Non-Ground ASP Programs: Technique and Graphical Tools

Carmine Dodaro, Philip Gasteiger, Kristian Reale +2

Answer Set Programming (ASP) is one of the major declarative programming paradigms in the area of logic programming and non-monotonic reasoning. Despite that ASP features a simple…