MOCHI, MARCO
MOCHI, MARCO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.005 secondi).
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 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: Reduction to Difference Logic and Experiments | 1-gen-2024 | Gebser, Martin; Giunchiglia, Enrico; Maratea, Marco; Mochi, Marco | |
| 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 |