16 citations · 17 across the 3 of their papers we have counts for
3 papers
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…
An integrated Graphical User Interface for Debugging Answer Set Programs
Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch +3
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 interes…
Unit Testing in ASPIDE
Onofrio Febbraro, Nicola Leone, Kristian Reale +1
Answer Set Programming (ASP) is a declarative logic programming formalism, which is employed nowadays in both academic and industrial real-world applications. Although some tools f…