Yacine Izza
10 papers · 2018–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
🐝 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
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