conftrace_

Alessandro Previti

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

Achievements

Jump to papers ↓

+1 more ↓

🌍 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