CARUSO, SIMONE
CARUSO, SIMONE
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.009 secondi).
A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms
2025-01-01 Caruso, Simone; Dodaro, Carmine; Maratea, Marco; Tarzariol, Alice
A Tool For Reasoning Over CNL Sentences With Temporal Constructs
2024-01-01 Bruno, P.; Caruso, S.; Dodaro, C.; Maratea, M.
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health
2024-01-01 Cappanera, P.; Caruso, S.; Dodaro, C.; Galatà, G.; Gavanelli, M.; Maratea, M.; Marte, C.; Mochi, M.; Nonato, M.; Roma, M.
Scheduling Periodic Treatments via Answer Set Programming
2023-01-01 Caruso, S.; Dodaro, C.; Galata, G.; Maratea, M.
Specification languages and ASP-based solutions for scheduling problems in Healthcare
2024-01-01 Caruso, S.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms | 1-gen-2025 | Caruso, Simone; Dodaro, Carmine; Maratea, Marco; Tarzariol, Alice | |
| A Tool For Reasoning Over CNL Sentences With Temporal Constructs | 1-gen-2024 | Bruno, P.; Caruso, S.; Dodaro, C.; Maratea, M. | |
| Recent Answer Set Programming Applications to Scheduling Problems in Digital Health | 1-gen-2024 | Cappanera, P.; Caruso, S.; Dodaro, C.; Galatà, G.; Gavanelli, M.; Maratea, M.; Marte, C.; Mochi, M.; Nonato, M.; Roma, M. | |
| Scheduling Periodic Treatments via Answer Set Programming | 1-gen-2023 | Caruso, S.; Dodaro, C.; Galata, G.; Maratea, M. | |
| Specification languages and ASP-based solutions for scheduling problems in Healthcare | 1-gen-2024 | Caruso, S. |