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