Alessandro Previti

5 papers · 2013–2026 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🏃 Academic Marathon (8) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (14) 🚀 Conference Pioneer

Conferences

IJCAI (3) AAAI (2)

Top co-authors

Joao Marques-Silva (3) William Yeoh (2) Stylianos Loukas Vasileiou (2) Federico Heras (1) Alexey Ignatiev (1) Anton Belov (1) Mikoláš Janota (1) Tran Cao Son (1) Carlos Mencía (1) Antonio Morgado (1)

Keywords

model reconciliation (2) automated planning (1) explanation generation (1) knowledge base (1) automated reasoning (1) minimal correction set (1) logic-based reasoning (1) hitting set (1) minimal unsatisfiable set (1) probabilistic logic (1) explanatory gain (1)

Papers

On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios (Abstract Reprint) AAAI 2026

On Exploiting Hitting Sets for Model Reconciliation AAAI 2021

Literal-Based MCS Extraction IJCAI 2015

Prime Compilation of Non-Clausal Formulae IJCAI 2015

On Computing Minimal Correction Subsets IJCAI 2013