1 code implementation • 15 Dec 2023 • Matteo Cardellini, Enrico Giunchiglia, Marco Maratea
In this paper, we propose a novel approach for solving linear numeric planning problems, called Symbolic Pattern Planning.
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 • 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 • 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 • 19 Sep 2020 • Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.
1 code implementation • 11 Nov 2019 • Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the exploitation in actual applications.
no code implementations • 2 Sep 2019 • Sarah A. Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Argumentation is a major topic in the study of Artificial Intelligence.
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 • 19 Apr 2019 • Martin Gebser, Marco Maratea, Francesco Ricca
Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning.
no code implementations • 12 Apr 2017 • Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily LeBlanc
CASP is an extension of ASP that allows for numerical constraints to be added in the rules.
no code implementations • 31 Aug 2016 • Marcello Balduccini, Daniele Magazzeni, Marco Maratea
PDDL+ is an extension of PDDL that enables modelling planning domains with mixed discrete-continuous dynamics.
no code implementations • 6 Oct 2015 • Remi Brochenin, Yuliya Lierler, Marco Maratea
A fundamental task in answer set programming is to compute stable models, i. e., solutions of logic programs.
no code implementations • 14 May 2014 • Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
Answer Set Programming (ASP) is a well-established paradigm of declarative programming that has been developed in the field of logic programming and nonmonotonic reasoning.
no code implementations • 5 May 2014 • Marco Maratea, Luca Pulina, Francesco Ricca
MEASP is a multi-engine solver for ground ASP programs.
no code implementations • 20 Jun 2013 • Marco Maratea, Luca Pulina, Francesco Ricca
Then, we apply classification methods that, given the features of the instances in a {\sl training} set and the solvers' performance on these instances, inductively learn algorithm selection strategies to be applied to a {\sl test} set.