MOCHI, MARCO
MOCHI, MARCO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A simple proof-theoretic characterization of Stable Models
2023-01-01 Giunchiglia, Enrico; Maratea, M.; Mochi, M.
An ASP-based Approach to Master Surgical Scheduling.
2022-01-01 Cadermatori, Linda; Galatà, Giuseppe; Lo Monaco, Carola; Maratea, Marco; Mochi, Marco; Schouten, Marco
An ASP-Based Approach to Scheduling Pre-operative Assessment Clinic
2022-01-01 Caruso, S.; Galata, G.; Maratea, M.; Mochi, M.; Porro, I.
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem
2021-01-01 Dodaro, C.; Galata, G.; Grioni, A.; Maratea, M.; Mochi, M.; Porro, I.
CNL2ASP: Converting Controlled Natural Language Sentences into ASP
2024-01-01 Caruso, Simone; Dodaro, Carmine; Maratea, Marco; Mochi, Marco; Riccio, Francesco
Scheduling pre-operative assessment clinic with answer set programming
2024-01-01 Caruso, Simone; Galatà, Giuseppe; Maratea, Marco; Mochi, Marco; Porro, Ivan
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A simple proof-theoretic characterization of Stable Models | 1-gen-2023 | Giunchiglia, Enrico; Maratea, M.; Mochi, M. | |
| An ASP-based Approach to Master Surgical Scheduling. | 1-gen-2022 | Cadermatori, Linda; Galatà, Giuseppe; Lo Monaco, Carola; Maratea, Marco; Mochi, Marco; Schouten, Marco | |
| An ASP-Based Approach to Scheduling Pre-operative Assessment Clinic | 1-gen-2022 | Caruso, S.; Galata, G.; Maratea, M.; Mochi, 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. | |
| CNL2ASP: Converting Controlled Natural Language Sentences into ASP | 1-gen-2024 | Caruso, Simone; Dodaro, Carmine; Maratea, Marco; Mochi, Marco; Riccio, Francesco | |
| Scheduling pre-operative assessment clinic with answer set programming | 1-gen-2024 | Caruso, Simone; Galatà, Giuseppe; Maratea, Marco; Mochi, Marco; Porro, Ivan |