MARATEA, Marco
MARATEA, Marco
DIPARTIMENTO di matematica (attivo dal 01/01/1900 al 30/09/2014)
A formal approach for cautious reasoning in answer set programming (extended abstract)
2020-01-01 Amendola, G.; Dodaro, C.; Maratea, M.
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules
2022-01-01 Dodaro, C.; Maratea, M.; Riccio, F.
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling
2021-01-01 Cardellini, M.; De Nardi, P.; Dodaro, C.; Galata, G.; Giardini, A.; Maratea, M.; Porro, I.
Abstract Solvers for Computing Cautious Consequences of ASP programs
2019-01-01 Amendola, G.; Dodaro, C.; Maratea, M.
An advanced answer set programming encoding for nurse scheduling
2017-01-01 Alviano, Mario; Dodaro, Carmine; Maratea, Marco
An ASP based solution for operating room scheduling with surgical teams in hospital environments
2020-01-01 Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Porro, I.
An ASP-based framework for operating room scheduling
2019-01-01 Dodaro, C.; Galata, G.; Maratea, M.; Porro, I.
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots
2019-01-01 Bertolucci, Riccardo; Capitanelli, A.; Dodaro, C.; Leone, N.; Maratea, M.; Mastrogiovanni, F.; Vallati, M.
An ASP-based solution for operating room scheduling with beds management
2019-01-01 Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Porro, I.
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem
2021-01-01 Dodaro, C.; Galata, G.; Grioni, A.; Maratea, M.; Mochi, M.; Porro, I.
An overview of ASP applications in the health-care domain
2018-01-01 Dodaro, C.; Galata, G.; Maratea, M.; Porro, I.
Answer set programming in healthcare: Extended overview
2020-01-01 Alviano, M.; Bertolucci, R.; Cardellini, M.; Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Mochi, M.; Morozan, V.; Porro, I.; Schouten, M.
Cautious reasoning in ASP via minimal models and unsatisfiable cores
2018-01-01 Alviano, Mario; Dodaro, Carmine; Jarvisalo, Matti; Maratea, M; Previti, Alessandro
Chemotherapy treatment scheduling via answer set programming
2020-01-01 Dodaro, C.; Galata, G.; Maratea, M.; Mochi, M.; Porro, I.
Evaluation of Disjunctive Programs in WASP
2019-01-01 Alviano, M.; Amendola, G.; Dodaro, C.; Leone, N.; Maratea, M.; Ricca, F.
KR&R approaches for robot manipulation tasks with articulated objects
2018-01-01 Bertolucci, R.; Capitanelli, A.; Dodaro, C.; Maratea, M.; Mastrogiovanni, F.; Vallati, M.
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming
2021-01-01 Bertolucci, R.; Capitanelli, A.; Dodaro, C.; Leone, N.; Maratea, M. A. R. C. O.; Mastrogiovanni, F.; Vallati, M.
Nurse (Re)scheduling via answer set programming
2018-01-01 Alviano, M.; Dodaro, C.; Maratea, M.
Nurse scheduling via answer set programming
2017-01-01 Dodaro, C.; Maratea, M.
On the Configuration of More and Less Expressive Logic Programs
2023-01-01 Dodaro, C.; Maratea, M. A. R. C. O.; Vallati, M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A formal approach for cautious reasoning in answer set programming (extended abstract) | 1-gen-2020 | Amendola, G.; Dodaro, C.; Maratea, M. | |
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules | 1-gen-2022 | Dodaro, C.; Maratea, M.; Riccio, F. | |
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling | 1-gen-2021 | Cardellini, M.; De Nardi, P.; Dodaro, C.; Galata, G.; Giardini, A.; Maratea, M.; Porro, I. | |
Abstract Solvers for Computing Cautious Consequences of ASP programs | 1-gen-2019 | Amendola, G.; Dodaro, C.; Maratea, M. | |
An advanced answer set programming encoding for nurse scheduling | 1-gen-2017 | Alviano, Mario; Dodaro, Carmine; Maratea, Marco | |
An ASP based solution for operating room scheduling with surgical teams in hospital environments | 1-gen-2020 | Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Porro, I. | |
An ASP-based framework for operating room scheduling | 1-gen-2019 | Dodaro, C.; Galata, G.; Maratea, M.; Porro, I. | |
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots | 1-gen-2019 | Bertolucci, Riccardo; Capitanelli, A.; Dodaro, C.; Leone, N.; Maratea, M.; Mastrogiovanni, F.; Vallati, M. | |
An ASP-based solution for operating room scheduling with beds management | 1-gen-2019 | Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Porro, I. | |
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem | 1-gen-2021 | Dodaro, C.; Galata, G.; Grioni, A.; Maratea, M.; Mochi, M.; Porro, I. | |
An overview of ASP applications in the health-care domain | 1-gen-2018 | Dodaro, C.; Galata, G.; Maratea, M.; Porro, I. | |
Answer set programming in healthcare: Extended overview | 1-gen-2020 | Alviano, M.; Bertolucci, R.; Cardellini, M.; Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Mochi, M.; Morozan, V.; Porro, I.; Schouten, M. | |
Cautious reasoning in ASP via minimal models and unsatisfiable cores | 1-gen-2018 | Alviano, Mario; Dodaro, Carmine; Jarvisalo, Matti; Maratea, M; Previti, Alessandro | |
Chemotherapy treatment scheduling via answer set programming | 1-gen-2020 | Dodaro, C.; Galata, G.; Maratea, M.; Mochi, M.; Porro, I. | |
Evaluation of Disjunctive Programs in WASP | 1-gen-2019 | Alviano, M.; Amendola, G.; Dodaro, C.; Leone, N.; Maratea, M.; Ricca, F. | |
KR&R approaches for robot manipulation tasks with articulated objects | 1-gen-2018 | Bertolucci, R.; Capitanelli, A.; Dodaro, C.; Maratea, M.; Mastrogiovanni, F.; Vallati, M. | |
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming | 1-gen-2021 | Bertolucci, R.; Capitanelli, A.; Dodaro, C.; Leone, N.; Maratea, M. A. R. C. O.; Mastrogiovanni, F.; Vallati, M. | |
Nurse (Re)scheduling via answer set programming | 1-gen-2018 | Alviano, M.; Dodaro, C.; Maratea, M. | |
Nurse scheduling via answer set programming | 1-gen-2017 | Dodaro, C.; Maratea, M. | |
On the Configuration of More and Less Expressive Logic Programs | 1-gen-2023 | Dodaro, C.; Maratea, M. A. R. C. O.; Vallati, M. |