Salvatore Fiorentino

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Reasoning Processes

Top Venues

Publications

Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
ASP and subset minimality: Enumeration, cautious reasoning and MUSes. Artif. Intell. 320 (2023)
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
Enumeration of Minimal Models and MUSes in WASP. LPNMR (2022)