Joao Marques-Silva
Scholar

Joao Marques-Silva

Google Scholar ID: 1b9hppwAAAAJ
Research Professor, ICREA, University of Lleida
Automated ReasoningSatisfiabilityConstraint ProgrammingComputational LogicExplainability
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
8,159
 
H-index
42
 
i10-index
156
 
Publications
20
 
Co-authors
79
list available
Contact
GitHubOpen ↗
Publications
5 items
Rigorous Explanations for Tree Ensembles
2026
Cited
0
Efficient & Correct Predictive Equivalence for Decision Trees
2025
Cited
0
Rigorous Feature Importance Scores based on Shapley Value and Banzhaf Index
2025
Cited
0
On Trustworthy Rule-Based Models and Explanations
2025
Cited
0
The Explanation Game -- Rekindled (Extended Version)
2025
Cited
0
Resume (English only)
Co-authors
79 total
Alexey Ignatiev
Alexey Ignatiev
Associate Professor, Monash University
Ines Lynce
Ines Lynce
INESC-ID, Instituto Superior Técnico (IST), Universidade de Lisboa
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Mikoláš Janota
Mikoláš Janota
CTU Prague
Vasco Manquinho
Vasco Manquinho
INESC-ID, Instituto Superior Técnico - Universidade de Lisboa
Nina Narodytska
Nina Narodytska
VMware Research
Co-author 8
Co-author 8