DODARO, Carmine
DODARO, Carmine
Dipartimento di Matematica e Informatica
A dual-stage Deep Learning framework for Breast Ultrasound Image Segmentation and Classification
2025-01-01 Bruno, Pierangela; Macrì, Megan; Dodaro, Carmine
A dual-stage Deep Learning framework for Breast Ultrasound Image Segmentation and Classification
2025-01-01 Bruno, Pierangela; Macrì, Megan; Dodaro, Carmine
A formal approach for cautious reasoning in answer set programming (extended abstract)
2020-01-01 Amendola, G.; Dodaro, C.; Maratea, M.
A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence
2023-01-01 Cardellini, M.; Dodaro, C.; Maratea, M.; Vallati, M.
A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms
2025-01-01 Caruso, S.; Dodaro, C.; Maratea, M.; Tarzariol, A.
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 Tool For Reasoning Over CNL Sentences With Temporal Constructs
2024-01-01 Bruno, Pierangela; Caruso, Simone; Dodaro, Carmine; Maratea, Marco
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.