no code implementations • 17 Nov 2023 • Simone Caruso, Carmine Dodaro, Marco Maratea, Marco Mochi, Francesco Riccio
Answer Set Programming (ASP) is a popular declarative programming language for solving hard combinatorial problems.
no code implementations • 28 Aug 2023 • Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur d'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni
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 to July 15, 2023.
no code implementations • 4 Aug 2022 • Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl, Martin Gebser, Tuncay Tekle
ICLP is the premier international event for presenting research in logic programming.
no code implementations • 2 Mar 2022 • 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 Intelligence (AI).
no code implementations • 19 Feb 2022 • Mario Alviano, Carmine Dodaro, Arnel Zamayla
This paper formalizes the problem of data validation for ASP programs, introduces a language to specify data validation, and presents \textsc{valasp}, a tool to inject data validation in ordinary programs.
no code implementations • 15 Sep 2021 • Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Veronica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou
ICLP is the premier international event for presenting research in logic programming.
no code implementations • 5 Aug 2021 • Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro
The problem of scheduling chemotherapy treatments in oncology clinics is a complex problem, given that the solution has to satisfy (as much as possible) several requirements such as the cyclic nature of chemotherapy treatment plans, maintaining a constant number of patients, and the availability of resources, e. g., treatment time, nurses, and drugs.
no code implementations • 5 May 2021 • Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
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 planned surgery, operating room session durations, and the availability of beds for the entire length of stay both in the Intensive Care Unit and in the wards.
no code implementations • 2 Oct 2020 • Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
We validate the overall framework in the extended scenario, thereby confirming the applicability of ASP also in more realistic Robotics settings, and showing the usefulness of macro actions for the robot-based manipulation of articulated objects.
no code implementations • 7 Aug 2020 • Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin
In particular, we study the applicability of reinforcement learning to continuously assess the utility of learned constraints computed in previous invocations of the solving algorithm for the current one.
no code implementations • 24 Jul 2019 • Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
In this paper, we propose an extended architecture for ASP systems, in which parts of the input program are compiled into an ad-hoc evaluation algorithm (i. e., we obtain a specific binary for a given program), and might not be subject to the grounding step.
no code implementations • 24 Jul 2019 • Mario Alviano, Carmine Dodaro, Johannes K. Fichte, Markus Hecher, Tobias Philipp, Jakob Rath
Verifying whether a claimed answer set is formally a correct answer set of the program can be decided in polynomial time for (normal) programs.
no code implementations • 22 Jul 2019 • Giovanni Amendola, Carmine Dodaro, Marco Maratea
We show how to improve the current abstract solvers for cautious reasoning in ASP with new techniques borrowed from backbone computation in SAT, in order to design new solving algorithms.
no code implementations • 22 Jul 2019 • Giovanni Amendola, Carmine Dodaro, Francesco Ricca
Answer Set Programming (ASP) is a well-established formalism for logic programming.
no code implementations • 5 Nov 2018 • Carmine Dodaro, Francesco Ricca
Moreover, we review the applications of the interface witnessing it can be successfully used to extend WASP for solving effectively hard instances of both real-world and synthetic problems.
no code implementations • 1 Aug 2018 • Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
Answer Set Programming (ASP) is one of the major declarative programming paradigms in the area of logic programming and non-monotonic reasoning.
no code implementations • 21 Jul 2017 • Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
Answer Set Programming (ASP) is a well-established formalism for nonmonotonic reasoning.
no code implementations • 13 Jul 2017 • Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller
One of the successes of ASP is the availability of efficient systems.
no code implementations • 16 Nov 2016 • Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin
The CDCL algorithm is the leading solution adopted by state-of-the-art solvers for SAT, SMT, ASP, and others.
no code implementations • 15 Nov 2016 • Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
Furthermore, the debugging interface is integrated in ASPIDE, a rich IDE for answer set programs.
1 code implementation • 2 Aug 2016 • Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Kostyantyn Shchekotykhin
In this paper the combination of ASP and domain-specific heuristics is studied with the goal of effectively solving real-world problem instances of PUP and CCP.
no code implementations • 14 May 2014 • 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.
no code implementations • 28 Apr 2014 • Mario Alviano, Carmine Dodaro, Francesco Ricca
This paper reports on the recent improvements of the ASP solver WASP.