Yacine Izza

10 papers · 2018–2025 · 2 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (14) 🌍 Conference Polyglot (2) 🏃 Academic Marathon (7) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🧬 Topic Evolution 🔥 Unstoppable (6) 💎 Century Club (10)

Conferences

AAAI (5) IJCAI (5)

Top co-authors

Joao Marques-Silva (7) Alexey Ignatiev (4) Peter J. Stuckey (3) Xuanxiang Huang (2) Yair Zick (1) Jean-Marie Lagniez (1) Sasha Rubin (1) Nicholas Asher (1) Martin Cooper (1) Elita Lobo (1)

Keywords

formal explanation (3) abductive explanation (2) explainable ai (2) tree ensemble (2) abductive reasoning (1) parallel algorithm (1) feature attribution (1) model explanation (1) polynomial time (1) sat solver (1) interpretable model (1) cooperative game theory (1) random forest (1) causal strength (1) pattern mining (1) constraint programming (1) minimal correction subset (1) propositional logic (1) quantified boolean formula (1) decision tree (1)

Papers

Most General Explanations of Tree Ensembles IJCAI 2025

Axiomatic Aggregations of Abductive Explanations AAAI 2024

Delivering Inflated Explanations AAAI 2024

On Tackling Explanation Redundancy in Decision Trees (Extended Abstract) IJCAI 2023

Solving Explainability Queries with Quantification: The Case of Feature Relevancy AAAI 2023

Using MaxSAT for Efficient Explanations of Tree Ensembles AAAI 2022

Tractable Explanations for d-DNNF Classifiers AAAI 2022

On Explaining Random Forests with SAT IJCAI 2021

On the Enumeration of Association Rules: A Decomposition-based Approach IJCAI 2020

Boosting MCSes Enumeration IJCAI 2018