MOCHI, MARCO
MOCHI, MARCO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 secondi).
A simple proof-theoretic characterization of Stable Models
2023-01-01 Giunchiglia, Enrico; Maratea, M.; Mochi, 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.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A simple proof-theoretic characterization of Stable Models | 1-gen-2023 | Giunchiglia, Enrico; Maratea, M.; Mochi, 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. |