João Paulo Marques da Silva
AuthID: R-000-J0P
1
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
2
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
3
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
INDEXED IN: CrossRef
4
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
5
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
6
TITLE: Feature Necessity & Relevancy in ML Classifier Explanations
AUTHORS: Xuanxiang Huang; Martin C Cooper; Morgado, António; Jordi Planes; Joao Marques-Silva;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Tools and Algorithms for the Construction and Analysis of Systems
AUTHORS: Xuanxiang Huang; Martin C Cooper; Morgado, António; Jordi Planes; Joao Marques-Silva;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Tools and Algorithms for the Construction and Analysis of Systems
7
TITLE: Logic-Based Explainability in Machine Learning
AUTHORS: Joao Marques-Silva;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Reasoning Web. Causality, Explanations and Declarative Knowledge
AUTHORS: Joao Marques-Silva;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Reasoning Web. Causality, Explanations and Declarative Knowledge
8
TITLE: Certified Logic-Based Explainable AI – The Case of Monotonic Classifiers
AUTHORS: Aurélie Hurault; Joao Marques-Silva;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Tests and Proofs
AUTHORS: Aurélie Hurault; Joao Marques-Silva;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Tests and Proofs
9
TITLE: From Decision Trees to Explained Decision Sets
AUTHORS: Xuanxiang Huang; Joao Marques-Silva;
PUBLISHED: 2023, SOURCE: Frontiers in Artificial Intelligence and Applications - ECAI 2023
AUTHORS: Xuanxiang Huang; Joao Marques-Silva;
PUBLISHED: 2023, SOURCE: Frontiers in Artificial Intelligence and Applications - ECAI 2023
10
TITLE: Field of Leaves An Interactive Installation Sprouting Leaves Out of Public Money
AUTHORS: Silva, Pedro; Lopes, Daniel; Martins, Pedro; Machado, Penousal;
PUBLISHED: 2022, SOURCE: PROCEEDINGS OF THE ACM ON COMPUTER GRAPHICS AND INTERACTIVE TECHNIQUES, VOLUME: 5, ISSUE: 4
AUTHORS: Silva, Pedro; Lopes, Daniel; Martins, Pedro; Machado, Penousal;
PUBLISHED: 2022, SOURCE: PROCEEDINGS OF THE ACM ON COMPUTER GRAPHICS AND INTERACTIVE TECHNIQUES, VOLUME: 5, ISSUE: 4
INDEXED IN: Scopus WOS