Joao Marques-Silva
28 papers
· 2013–2025
· 4 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(24)
π£
Hot Topic Early Bird
π
Conference Polyglot
(4)
π
Academic Marathon
(12)
π§
Keyword Pioneer
π
Renaissance Researcher
(6)
π
Cross-Pollinator
(15)
π¬
Deep Specialist
(13)
π€
Dynamic Duo
(18)
π
Keyword Champion
(4)
π₯
Unstoppable
(9)
ποΈ
Keyword Collector
(84)
π
Century Club
(28)
π
Conference Pioneer
Conferences
IJCAI (15)
AAAI (10)
NIPS (2)
ICML (1)
Top co-authors
Keywords
explainable ai
(7)
formal explanation
(5)
explainable artificial intelligence
(5)
decision tree
(4)
model explanation
(4)
model interpretability
(3)
black-box model
(3)
polynomial time
(3)
feature attribution
(3)
model-based diagnosis
(3)
model-agnostic explanation
(2)
interpretable machine learning
(2)
post-hoc explanation
(2)
sat solver
(2)
tree ensemble
(2)
abductive reasoning
(2)
formal methods
(2)
abductive explanation
(2)
algorithm design
(1)
branch and bound
(1)
Papers
Towards Trustable SHAP Scores
AAAI 2025
Most General Explanations of Tree Ensembles
IJCAI 2025
Updates on the Complexity of SHAP Scores
IJCAI 2024
Delivering Inflated Explanations
AAAI 2024
Explanations for Monotonic Classifiers.
ICML 2021
On Explaining Random Forests with SAT
IJCAI 2021
Reasoning About Inconsistent Formulas
IJCAI 2020
Learning Optimal Decision Trees with SAT
IJCAI 2018
Prime Compilation of Non-Clausal Formulae
IJCAI 2015
Literal-Based MCS Extraction
IJCAI 2015
Solving QBF by Clause Selection
IJCAI 2015
On Computing Minimal Correction Subsets
IJCAI 2013