FIORENTINO, SALVATORE
FIORENTINO, SALVATORE
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.009 secondi).
AMO-aware Aggregates in Answer Set Programming
2024-01-01 Alviano, M.; Dodaro, C.; Fiorentino, S.; Maratea, M.
ASP and PDDL+ Applications in Urban Traffic Distribution and Control
2025-01-01 Vallati, M.; Dodaro, C.; Doria, F.; Fiorentino, S.; Maratea, M.; Percassi, F.; Tarzariol, A.
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.
Model Checker For Recursive Aggregates
2025-01-01 Alviano, M.; Dodaro, C.; Fiorentino, S.
| 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 PDDL+ Applications in Urban Traffic Distribution and Control | 1-gen-2025 | Vallati, M.; Dodaro, C.; Doria, F.; Fiorentino, S.; Maratea, M.; Percassi, F.; Tarzariol, A. | |
| 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. | |
| Model Checker For Recursive Aggregates | 1-gen-2025 | Alviano, M.; Dodaro, C.; Fiorentino, S. |