DODARO, CARMINE
DODARO, CARMINE
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
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.
Anytime answer set optimization via unsatisfiable core shrinking
2016-01-01 Alviano, Mario; Dodaro, Carmine
Anytime computation of cautious consequences in answer set programming
2014-01-01 Alviano, Mario; Dodaro, Carmine; Ricca, Francesco
Cautious reasoning in ASP via minimal models and unsatisfiable cores
2018-01-01 Mario, Alviano; Dodaro, Carmine; Matti, Järvisalo; Maratea, Marco; Alessandro, Previti
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
2016-01-01 Dodaro, Carmine; Gasteiger, Philip; Leone, Nicola; Musitsch, Benjamin; Ricca, Francesco; Shchekotykhin, Kostyantyn
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis
2017-01-01 Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter
On the Configuration of More and Less Expressive Logic Programs
2022-01-01 Dodaro, Carmine; Maratea, Marco; Vallati, Mauro
Operating Room (Re)Scheduling with Bed Management via ASP
2022-01-01 Dodaro, C.; Galata, G.; Kamran Khan, M.; Maratea, M.; Porro, I.
Optimal Stable Model Search: Algorithms and Implementation.
2015-01-01 Alviano, Mario; Dodaro, Carmine; Marques-Silva, Joao; Ricca, Francesco
Shared aggregate sets in answer set programming
2018-01-01 Alviano, Mario; Dodaro, Carmine; Maratea, Marco
The ASP System DLV: Advancements and Applications
2018-01-01 Adrian, Weronika T.; Alviano, Mario; Calimeri, Francesco; Cuteri, Bernardo; Dodaro, Carmine; Faber, Wolfgang; Fuscà, Davide; Leone, Nicola; Manna, Marco; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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. | |
Anytime answer set optimization via unsatisfiable core shrinking | 1-gen-2016 | Alviano, Mario; Dodaro, Carmine | |
Anytime computation of cautious consequences in answer set programming | 1-gen-2014 | Alviano, Mario; Dodaro, Carmine; Ricca, Francesco | |
Cautious reasoning in ASP via minimal models and unsatisfiable cores | 1-gen-2018 | Mario, Alviano; Dodaro, Carmine; Matti, Järvisalo; Maratea, Marco; Alessandro, Previti | |
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) | 1-gen-2016 | Dodaro, Carmine; Gasteiger, Philip; Leone, Nicola; Musitsch, Benjamin; Ricca, Francesco; Shchekotykhin, Kostyantyn | |
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis | 1-gen-2017 | Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter | |
On the Configuration of More and Less Expressive Logic Programs | 1-gen-2022 | Dodaro, Carmine; Maratea, Marco; Vallati, Mauro | |
Operating Room (Re)Scheduling with Bed Management via ASP | 1-gen-2022 | Dodaro, C.; Galata, G.; Kamran Khan, M.; Maratea, M.; Porro, I. | |
Optimal Stable Model Search: Algorithms and Implementation. | 1-gen-2015 | Alviano, Mario; Dodaro, Carmine; Marques-Silva, Joao; Ricca, Francesco | |
Shared aggregate sets in answer set programming | 1-gen-2018 | Alviano, Mario; Dodaro, Carmine; Maratea, Marco | |
The ASP System DLV: Advancements and Applications | 1-gen-2018 | Adrian, Weronika T.; Alviano, Mario; Calimeri, Francesco; Cuteri, Bernardo; Dodaro, Carmine; Faber, Wolfgang; Fuscà, Davide; Leone, Nicola; Manna, Marco; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica |