Previti, Alessandro

7 publications

JAIR 2025 On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios Stylianos Loukas Vasileiou, William Yeoh, Alessandro Previti, Tran Cao Son

AAAI 2021 On Exploiting Hitting Sets for Model Reconciliation Stylianos Loukas Vasileiou, Alessandro Previti, William Yeoh

AAAI 2018 Premise Set Caching for Enumerating Minimal Correction Subsets Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva

IJCAI 2015 Literal-Based MCS Extraction Carlos Mencía, Alessandro Previti, João Marques-Silva

IJCAI 2015 Prime Compilation of Non-Clausal Formulae Alessandro Previti, Alexey Ignatiev, António Morgado, João Marques-Silva

IJCAI 2013 On Computing Minimal Correction Subsets João Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov

AAAI 2013 Partial MUS Enumeration Alessandro Previti, João Marques-Silva