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.
A Simple Proof-theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments
2024-01-01 Gebser, Martin; Giunchiglia, Enrico; Maratea, Marco; Mochi, Marco
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
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 pre-operative assessment clinic with answer set programming
2024-01-01 Caruso, Simone; Galatà, Giuseppe; Maratea, Marco; Mochi, Marco; Porro, Ivan
Solving and Explaining Scheduling problems in Digital Health using Logic Programming
2025-02-04 Mochi, Marco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A simple proof-theoretic characterization of Stable Models | 1-gen-2023 | Giunchiglia, Enrico; Maratea, M.; Mochi, M. | |
| A Simple Proof-theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments | 1-gen-2024 | Gebser, Martin; Giunchiglia, Enrico; Maratea, Marco; Mochi, Marco | |
| 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 | |
| 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 pre-operative assessment clinic with answer set programming | 1-gen-2024 | Caruso, Simone; Galatà, Giuseppe; Maratea, Marco; Mochi, Marco; Porro, Ivan | |
| Solving and Explaining Scheduling problems in Digital Health using Logic Programming | 4-feb-2025 | Mochi, Marco |