Alessandro Previti

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

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Bronze 🚀 Conference Pioneer

Venues

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)

Research topics

Artificial Intelligence (2) Core AI (2) Knowledge & Reasoning (1) Reasoning (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