Joao Marques-Silva
28 papers · 2013–2025 · 4 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 ↓+9 more ↓ Show less ↑
🗺️ Taxonomy Completionist (23) 🏃 Academic Marathon · Half 🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Silver 🐣 Hot Topic Early Bird
🏆
Keyword Champion
(7)
🧭
Keyword Pioneer
🔬
Deep Specialist
(13)
🤝
Dynamic Duo
(18)
🔥
Unstoppable · Bronze
💎
Century Club · Bronze
🗃️
Keyword Collector
(84)
📈
Trend Setter
🚀
Conference Pioneer
Venues
Top co-authors
Research topics
Machine Learning
(18)
Artificial Intelligence
(14)
Core AI
(14)
Core Methods
(11)
Computer Science
(9)
Foundations
(6)
Application Areas
(5)
Optimization & Theory
(5)
Knowledge & Reasoning
(3)
Applications
(3)
Reasoning
(3)
Mathematics & Optimization
(2)
Learning Types
(2)
Optimization
(2)
Deep Learning
(1)
Keywords
explainable ai
(7)
formal explanation
(5)
explainable artificial intelligence
(5)
model explanation
(4)
decision tree
(4)
model interpretability
(3)
black-box model
(3)
feature attribution
(3)
polynomial time
(3)
model-based diagnosis
(3)
model-agnostic explanation
(2)
interpretable machine learning
(2)
abductive reasoning
(2)
tree ensemble
(2)
post-hoc explanation
(2)
abductive explanation
(2)
formal methods
(2)
sat solver
(2)
algorithm design
(1)
branch and bound
(1)
Papers
Efficient and Rigorous Model-Agnostic Explanations
IJCAI 2025
Most General Explanations of Tree Ensembles
IJCAI 2025
Towards Trustable SHAP Scores
AAAI 2025
Delivering Inflated Explanations
AAAI 2024
Updates on the Complexity of SHAP Scores
IJCAI 2024
Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations
AAAI 2023
On Tackling Explanation Redundancy in Decision Trees (Extended Abstract)
IJCAI 2023
Solving Explainability Queries with Quantification: The Case of Feature Relevancy
AAAI 2023
Constraint-Driven Explanations for Black-Box ML Models
AAAI 2022
Delivering Trustworthy AI through Formal XAI
AAAI 2022
Tractable Explanations for d-DNNF Classifiers
AAAI 2022
Using MaxSAT for Efficient Explanations of Tree Ensembles
AAAI 2022
A Scalable Two Stage Approach to Computing Optimal Decision Sets
AAAI 2021
Explanations for Monotonic Classifiers.
ICML 2021
On Explaining Random Forests with SAT
IJCAI 2021
Reasoning-Based Learning of Interpretable ML Models
IJCAI 2021
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay
NeurIPS 2020
Reasoning About Inconsistent Formulas
IJCAI 2020
Abduction-Based Explanations for Machine Learning Models
AAAI 2019
Model-Based Diagnosis with Multiple Observations
IJCAI 2019
On Relating Explanations and Adversarial Examples
NeurIPS 2019
Learning Optimal Decision Trees with SAT
IJCAI 2018
Cardinality Encodings for Graph Optimization Problems
IJCAI 2017
Efficient Model Based Diagnosis with Maximum Satisfiability
IJCAI 2015
Literal-Based MCS Extraction
IJCAI 2015
Prime Compilation of Non-Clausal Formulae
IJCAI 2015
Solving QBF by Clause Selection
IJCAI 2015
On Computing Minimal Correction Subsets
IJCAI 2013