16 citations · 16 across the 6 of their papers we have counts for
17 papers
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…
ValAsp: a tool for data validation in Answer Set Programming
Mario Alviano, Carmine Dodaro, Arnel Zamayla
The development of complex software requires tools promoting fail-fast approaches, so that bugs and unexpected behavior can be quickly identified and fixed. Tools for data validati…
Proceedings 37th International Conference on Logic Programming (Technical Communications)
Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts +7
ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2021 were sought in all areas of logic programming, including but not li…
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…