DODARO, CARMINE

DODARO, CARMINE  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.012 secondi).
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