Yacine Izza
10 papers · 2018–2025 · 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 ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🧬 Topic Evolution 💎 Century Club · Bronze
🔥
Unstoppable · Bronze
Top co-authors
Research topics
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)
post-hoc explanation
(1)
cooperative game theory
(1)
random forest
(1)
constraint programming
(1)
causal strength
(1)
pattern mining
(1)
minimal correction subset
(1)
propositional logic
(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
Tractable Explanations for d-DNNF Classifiers
AAAI 2022
Using MaxSAT for Efficient Explanations of Tree Ensembles
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