Joao Marques-Silva
Joao Marques-Silva
Affiliation: ICREA & University of Lleida
Affiliation: ICREA (Catalan Institution for Research and Advanced Studies)
Affiliation: ICREA & Univ. Lleida
Affiliation: ICREA and Lleida University
Affiliation: ICREA, University of Lleida
Talks
(RCRA)
Efficient Interpretability Reasoning for Decision Trees · AI Reasoning, Explainability e LLMs
(CP)
Efficient Explanations for Rule Ensembles · SAT, MAXSAT, CP-SAT
(SAT)
Shapley-Shubik Attribution from Minimal Subsets · Session C: Solver Tools & Explanations
(SAT)
Trustable Explainable AI: SAT to the Rescue · Invited Talk 1
(KR)
Precise and Efficient Model-Agnostic Explanations · Explanation
(KR)
Session Chair — SAT encoding
(KR)
Rigorous Explainability by Feature Attribution: From SHAP to nuSHAP · KR Invited: Joao Marques-Silva
(XLoKR-ExCoS)
Towards Interactive Sample-Based Formal Explanations via Constraint Reasoning · Constraints
(PCCR)
Logic-Based Explainable AI · Joao Marques-Silva
Pages in this Program
Program
Program on Saturday, 18 July 2026
RCRA on Saturday, 18 July 2026
RCRA Program
Program on Monday, 20 July 2026
CP on Monday, 20 July 2026
CP Program
SAT on Monday, 20 July 2026
SAT Program
Program on Tuesday, 21 July 2026
SAT on Tuesday, 21 July 2026
KR on Tuesday, 21 July 2026
KR Program
Program on Wednesday, 22 July 2026
KR on Wednesday, 22 July 2026
Program on Thursday, 23 July 2026
KR on Thursday, 23 July 2026
Program on Friday, 24 July 2026
XLoKR-ExCoS on Friday, 24 July 2026
XLoKR-ExCoS Program
Program on Saturday, 25 July 2026
PCCR on Saturday, 25 July 2026
PCCR Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑