DODARO, Carmine

DODARO, Carmine  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 70 (tempo di esecuzione: 0.03 secondi).
Titolo Data di pubblicazione Autore(i) File
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
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
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
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.
The ASP System DLV2 1-gen-2017 Alviano, Mario; Calimeri, Francesco; Dodaro, C; Fuscà, D; Leone, Nicola; Perri, Simona; Ricca, F; Veltri, P; Zangari, J.
The ASP System DLV: Advancements and Applications 1-gen-2018 Adrian, Weronika T.; Alviano, Mario; Calimeri, Francesco; Cuteri, Bernardo; Dodaro, Carmine; Faber, Wolfgang; Fusca', Davide; Leone, Nicola; Manna, Marco; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
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.
ASPQ: An ASP-based 2QBF solver 1-gen-2016 Amendola, Giovanni; Dodaro, Carmine; Ricca, Francesco
Better Paracoherent Answer Sets with Less Resources 1-gen-2019 Amendola, G.; Dodaro, C.; Ricca, F.
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.