João Paulo Marques da Silva
AuthID: R-000-J0P
1
TITLE: Formal Explanations of Black-Box Ranking Functions
AUTHORS: Francesco Chiariello; Joao Marques-Silva;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science - Logics in Artificial Intelligence
AUTHORS: Francesco Chiariello; Joao Marques-Silva;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science - Logics in Artificial Intelligence
2
TITLE: Explanations of Unsatisfiability Beyond Minimal Subsets
AUTHORS: Pablo Martínez-Naredo; Raúl Mencía; Joao Marques-Silva; Carlos Mencía;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science - Logics in Artificial Intelligence
AUTHORS: Pablo Martínez-Naredo; Raúl Mencía; Joao Marques-Silva; Carlos Mencía;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science - Logics in Artificial Intelligence
3
TITLE: Efficient Computation of Short Sample-Based Explanations
AUTHORS: Jairo Lefebre-Lobaina; Maria Vanina Martinez; Joao Marques-Silva;
PUBLISHED: 2025, SOURCE: Frontiers in Artificial Intelligence and Applications - Artificial Intelligence Research and Development
AUTHORS: Jairo Lefebre-Lobaina; Maria Vanina Martinez; Joao Marques-Silva;
PUBLISHED: 2025, SOURCE: Frontiers in Artificial Intelligence and Applications - Artificial Intelligence Research and Development
4
TITLE: Towards Efficient Spark-Enabled Computation of Shapley Values
AUTHORS: Joao Marques-Silva; Ramon Bejar; Jordi Planes;
PUBLISHED: 2025, SOURCE: Frontiers in Artificial Intelligence and Applications - Artificial Intelligence Research and Development
AUTHORS: Joao Marques-Silva; Ramon Bejar; Jordi Planes;
PUBLISHED: 2025, SOURCE: Frontiers in Artificial Intelligence and Applications - Artificial Intelligence Research and Development
5
TITLE: On the failings of Shapley values for explainability
AUTHORS: Xuanxiang Huang; Joao Marques-Silva;
PUBLISHED: 2024, SOURCE: International Journal of Approximate Reasoning, VOLUME: 171
AUTHORS: Xuanxiang Huang; Joao Marques-Silva;
PUBLISHED: 2024, SOURCE: International Journal of Approximate Reasoning, VOLUME: 171
6
TITLE: Explainability Is
Not
a Game
AUTHORS: Joao Marques-Silva; Xuanxiang Huang;
PUBLISHED: 2024, SOURCE: Communications of the ACM, VOLUME: 67, ISSUE: 7
AUTHORS: Joao Marques-Silva; Xuanxiang Huang;
PUBLISHED: 2024, SOURCE: Communications of the ACM, VOLUME: 67, ISSUE: 7
7
TITLE: Logic-Based Explainability: Past, Present and Future
AUTHORS: Joao Marques-Silva;
PUBLISHED: 2024, SOURCE: Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
AUTHORS: Joao Marques-Silva;
PUBLISHED: 2024, SOURCE: Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
8
TITLE: Efficient Contrastive Explanations on Demand
AUTHORS: Yacine Izza; Joao Marques Silva;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2412.18262
AUTHORS: Yacine Izza; Joao Marques Silva;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2412.18262
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP9
TITLE: Tractability of explaining classifier decisions
AUTHORS: Cooper, MC; Marques Silva, J;
PUBLISHED: 2023, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 316
AUTHORS: Cooper, MC; Marques Silva, J;
PUBLISHED: 2023, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 316
10
TITLE: On Logic-Based Explainability with Partially Specified Inputs
AUTHORS: Ramón Béjar; Morgado, António; Jordi Planes; João Marques Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2306.15803
AUTHORS: Ramón Béjar; Morgado, António; Jordi Planes; João Marques Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2306.15803
INDEXED IN: DBLP
DBLP