DODARO, Carmine

DODARO, Carmine  

Dipartimento di Matematica e Informatica  

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