16 citations · 102 across the 25 of their papers we have counts for
15 papers · 1 filter
Improving ASP-based ORS Schedules through Machine Learning Predictions
Pierangela Bruno, Carmine Dodaro, Giuseppe Galatà +2
The Operating Room Scheduling (ORS) problem deals with the optimization of daily operating room surgery schedules. It is a challenging problem subject to many constraints, like to…
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
Matteo Cardellini, Carmine Dodaro, Marco Maratea +1
Answer Set Programming (ASP) has demonstrated its potential as an effective tool for concisely representing and reasoning about real-world problems. In this paper, we present an ap…
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…
On the Configuration of More and Less Expressive Logic Programs
Carmine Dodaro, Marco Maratea, Mauro Vallati
The decoupling between the representation of a certain problem, i.e., its knowledge model, and the reasoning side is one of main strong points of model-based Artificial Intelligenc…
Operating Room (Re)Scheduling with Bed Management via ASP
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan +2
The Operating Room Scheduling (ORS) problem is the task of assigning patients to operating rooms, taking into account different specialties, lengths and priority scores of each pla…
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro +4
The manipulation of articulated objects is of primary importance in Robotics, and can be considered as one of the most complex manipulation tasks. Traditionally, this problem has b…
Managing caching strategies for stream reasoning with reinforcement learning
Carmine Dodaro, Thomas Eiter, Paul Ogris +1
Efficient decision-making over continuously changing data is essential for many application domains such as cyber-physical systems, industry digitalization, etc. Modern stream reas…
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…
Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis
Bernardo Cuteri, Carmine Dodaro, Francesco Ricca +1
Answer Set Programming (ASP) is a well-established declarative paradigm. One of the successes of ASP is the availability of efficient systems. State-of-the-art systems are based on…
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…
Anytime Computation of Cautious Consequences in Answer Set Programming
Mario Alviano, Carmine Dodaro, Francesco Ricca
Query answering in Answer Set Programming (ASP) is usually solved by computing (a subset of) the cautious consequences of a logic program. This task is computationally very hard, a…
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…