DODARO, CARMINE
DODARO, CARMINE
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules.
2022-01-01 Dodaro, Carmine; Maratea, Marco; Riccio, Francesco
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.
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming
2021-01-01 Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Porro, I.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. | 1-gen-2022 | Dodaro, Carmine; Maratea, Marco; Riccio, Francesco | |
| 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. | |
| Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming | 1-gen-2021 | Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Porro, I. |