5 citations · 8 across the 9 of their papers we have counts for
6 papers · 1 filter
CNL2ASP: converting controlled natural language sentences into ASP
Simone Caruso, Carmine Dodaro, Marco Maratea +2
Answer Set Programming (ASP) is a popular declarative programming language for solving hard combinatorial problems. Although ASP has gained widespread acceptance in academic and in…
Proceedings 39th International Conference on Logic Programming
Enrico Pontelli, Stefania Costantini, Carmine Dodaro +7
This volume contains the Technical Communications presented at the 39th International Conference on Logic Programming (ICLP 2023), held at Imperial College London, UK from July 9 t…
Driving CDCL Search
Carmine Dodaro, Philip Gasteiger, Nicola Leone +3
The CDCL algorithm is the leading solution adopted by state-of-the-art solvers for SAT, SMT, ASP, and others. Experiments show that the performance of CDCL solvers can be significa…
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…
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)
Carmine Dodaro, Philip Gasteiger, Nicola Leone +3
Answer Set Programming (ASP) is a popular logic programming paradigm that has been applied for solving a variety of complex problems. Among the most challenging real-world applicat…
Preliminary Report on WASP 2.0
Mario Alviano, Carmine Dodaro, Francesco Ricca
Answer Set Programming (ASP) is a declarative programming paradigm. The intrinsic complexity of the evaluation of ASP programs makes the development of more effective and faster sy…