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
AMO-aware Aggregates in Answer Set Programming
2024-01-01 Alviano, M.; Dodaro, C.; Fiorentino, S.; 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 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.
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 | |
AMO-aware Aggregates in Answer Set Programming | 1-gen-2024 | Alviano, M.; Dodaro, C.; Fiorentino, S.; 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 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. |