FIORENTINO, SALVATORE
FIORENTINO, SALVATORE
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
AMO-aware Aggregates in Answer Set Programming
2024-01-01 Alviano, M.; Dodaro, C.; Fiorentino, S.; Maratea, M.
ASP and subset minimality: Enumeration, cautious reasoning and MUSes
2023-01-01 Alviano, M.; Dodaro, C.; Fiorentino, S.; Previti, A.; Ricca, F.
Enumeration of Minimal Models and MUSes in WASP
2022-01-01 Alviano, M.; Dodaro, C.; Fiorentino, S.; Previti, A.; Ricca, F.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
AMO-aware Aggregates in Answer Set Programming | 1-gen-2024 | Alviano, M.; Dodaro, C.; Fiorentino, S.; Maratea, M. | |
ASP and subset minimality: Enumeration, cautious reasoning and MUSes | 1-gen-2023 | Alviano, M.; Dodaro, C.; Fiorentino, S.; Previti, A.; Ricca, F. | |
Enumeration of Minimal Models and MUSes in WASP | 1-gen-2022 | Alviano, M.; Dodaro, C.; Fiorentino, S.; Previti, A.; Ricca, F. |