MARATEA, Marco

MARATEA, Marco  

DIPARTIMENTO di matematica (attivo dal 01/01/1900 al 30/09/2014)  

Mostra records
Risultati 1 - 20 di 27 (tempo di esecuzione: 0.024 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 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.
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 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.
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.
Evaluation of Disjunctive Programs in WASP 1-gen-2019 Alviano, M.; Amendola, G.; Dodaro, C.; Leone, N.; Maratea, M.; Ricca, F.
KR&R approaches for robot manipulation tasks with articulated objects 1-gen-2018 Bertolucci, R.; Capitanelli, A.; Dodaro, C.; Maratea, M.; Mastrogiovanni, F.; Vallati, M.
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming 1-gen-2021 Bertolucci, R.; Capitanelli, A.; Dodaro, C.; Leone, N.; Maratea, M. A. R. C. O.; Mastrogiovanni, F.; Vallati, M.
Nurse (Re)scheduling via answer set programming 1-gen-2018 Alviano, M.; Dodaro, C.; Maratea, M.
Nurse scheduling via answer set programming 1-gen-2017 Dodaro, C.; Maratea, M.
On the Configuration of More and Less Expressive Logic Programs 1-gen-2023 Dodaro, C.; Maratea, M. A. R. C. O.; Vallati, M.