Salvatore Fiorentino
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2022–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICLP | ASP and PDDL+ Applications in Urban Traffic Distribution and Control. | Mauro Vallati, Carmine Dodaro, Francesco Doria, Salvatore Fiorentino, Marco Maratea, Francesco Percassi, Alice Tarzariol |
| 2025 | KR | Model Checker for Recursive Aggregates. | Mario Alviano, Carmine Dodaro, Salvatore Fiorentino |
| 2024 | IJCAI | AMO-aware Aggregates in Answer Set Programming. | Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Marco Maratea |
| 2022 | LPNMR | Enumeration of Minimal Models and MUSes in WASP. | Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca |