DODARO, Carmine
DODARO, Carmine
Dipartimento di Matematica e Informatica
A formal approach for cautious reasoning in answer set programming (extended abstract)
2020-01-01 Amendola, G.; Dodaro, C.; Maratea, M.
A Hybrid Approach to Optimization in Answer Set Programming
2018-01-01 Saikko, Paul; Dodaro, Carmine; Alviano, Mario; Jarvisalo, Matti
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size
2015-01-01 Alviano, Mario; Dodaro, C; Ricca, Francesco
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.
Advances in WASP
2015-01-01 Alviano, Mario; Dodaro, C; Leone, Nicola; Ricca, Francesco
Algorithm Selection for Paracoherent Answer Set Computation
2019-01-01 Amendola, G.; Dodaro, C.; Faber, W.; Pulina, Luca; Ricca, F.
Allotment Problem in Travel Industry: A Solution Based on ASP
2015-01-01 Dodaro, C; Leone, Nicola; Nardi, B; Ricca, Francesco
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 enumeration via assumption literals
2016-01-01 Alviano, Mario; Dodaro, C.
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.
Anytime answer set optimization via unsatisfiable core shrinking
2016-01-01 Alviano, Mario; Dodaro, C.
Anytime computation of cautious consequences in answer set programming
2014-01-01 Alviano, Mario; Dodaro, C; Ricca, Francesco
| 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 Hybrid Approach to Optimization in Answer Set Programming | 1-gen-2018 | Saikko, Paul; Dodaro, Carmine; Alviano, Mario; Jarvisalo, Matti | |
| A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size | 1-gen-2015 | Alviano, Mario; Dodaro, C; Ricca, Francesco | |
| 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. | |
| Advances in WASP | 1-gen-2015 | Alviano, Mario; Dodaro, C; Leone, Nicola; Ricca, Francesco | |
| Algorithm Selection for Paracoherent Answer Set Computation | 1-gen-2019 | Amendola, G.; Dodaro, C.; Faber, W.; Pulina, Luca; Ricca, F. | |
| Allotment Problem in Travel Industry: A Solution Based on ASP | 1-gen-2015 | Dodaro, C; Leone, Nicola; Nardi, B; Ricca, Francesco | |
| 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 enumeration via assumption literals | 1-gen-2016 | Alviano, Mario; Dodaro, C. | |
| 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. | |
| Anytime answer set optimization via unsatisfiable core shrinking | 1-gen-2016 | Alviano, Mario; Dodaro, C. | |
| Anytime computation of cautious consequences in answer set programming | 1-gen-2014 | Alviano, Mario; Dodaro, C; Ricca, Francesco |