Salvatore Fiorentino

According to our database, Salvatore Fiorentino authored at least 7 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Model Checker for Recursive Aggregates.

Mario Alviano, Carmine Dodaro, Salvatore Fiorentino

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

AI-Enabled Connected Autonomous Vehicles Sustainable Routing in Urban Areas.

Salvatore Fiorentino, Carmine Dodaro, Marco Maratea, Mauro Vallati

Proceedings of the 28th IEEE International Conference on Intelligent Transportation Systems, 2025

ASP and PDDL+ Applications in Urban Traffic Distribution and Control.

Mauro Vallati, Carmine Dodaro, Francesco Doria, Salvatore Fiorentino, Marco Maratea, Francesco Percassi, Alice Tarzariol

Proceedings of the Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), 2025

2024

AMO-aware Aggregates in Answer Set Programming.

Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Marco Maratea

Dataset, May, 2024

AMO-aware Aggregates in Answer Set Programming.

Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Marco Maratea

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023

ASP and subset minimality: Enumeration, cautious reasoning and MUSes.

Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca

Artif. Intell., July, 2023

2022

Enumeration of Minimal Models and MUSes in WASP.

Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022