16 citations · 16 across the 6 of their papers we have counts for
6 papers · 1 filter
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…