João Paulo Marques da Silva
AuthID: R-000-J0P
11
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
DBLP12
TITLE: ANTENNA: Visual Analytics of Mobility Derived from Cellphone Data
AUTHORS: Silva, Pedro; Maçãs, Catarina; Correia, Joao; Machado, Penousal ; Polisciuc, Evgheni;
PUBLISHED: 2023, SOURCE: 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP) / 17th International Conference on Computer Vision Theory and Applications (VISAPP) in COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS, VISIGRAPP 2022, VOLUME: 1815
AUTHORS: Silva, Pedro; Maçãs, Catarina; Correia, Joao; Machado, Penousal ; Polisciuc, Evgheni;
PUBLISHED: 2023, SOURCE: 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP) / 17th International Conference on Computer Vision Theory and Applications (VISAPP) in COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS, VISIGRAPP 2022, VOLUME: 1815
13
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
14
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
15
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
16
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
17
TITLE: Using MaxSAT for Efficient Explanations of Tree Ensembles
AUTHORS: Alexey Ignatiev; Yacine Izza; Peter J Stuckey; Joao Marques Silva;
PUBLISHED: 2022, SOURCE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
AUTHORS: Alexey Ignatiev; Yacine Izza; Peter J Stuckey; Joao Marques Silva;
PUBLISHED: 2022, SOURCE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
INDEXED IN: 
Scopus
Scopus18
TITLE: Tractable Explanations for d-DNNF Classifiers
AUTHORS: Xuanxiang Huang; Yacine Izza; Alexey Ignatiev; Martin Cooper; Nicholas Asher; Joao Marques Silva;
PUBLISHED: 2022, SOURCE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
AUTHORS: Xuanxiang Huang; Yacine Izza; Alexey Ignatiev; Martin Cooper; Nicholas Asher; Joao Marques Silva;
PUBLISHED: 2022, SOURCE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
INDEXED IN: Scopus
Scopus19
TITLE: On Tackling Explanation Redundancy in Decision Trees Full Text
AUTHORS: Yacine Izza; Alexey Ignatiev; Joao Marques Silva;
PUBLISHED: 2022, SOURCE: Journal of Artificial Intelligence Research, VOLUME: 75
AUTHORS: Yacine Izza; Alexey Ignatiev; Joao Marques Silva;
PUBLISHED: 2022, SOURCE: Journal of Artificial Intelligence Research, VOLUME: 75
20
TITLE: Constraint-Driven Explanations for Black Box ML Models
AUTHORS: Aditya A Shrotri; Nina Narodytska; Alexey Ignatiev; Kuldeep S Meel; Joao Marques Silva; Moshe Y Vardi;
PUBLISHED: 2022, SOURCE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
AUTHORS: Aditya A Shrotri; Nina Narodytska; Alexey Ignatiev; Kuldeep S Meel; Joao Marques Silva; Moshe Y Vardi;
PUBLISHED: 2022, SOURCE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
INDEXED IN: Scopus
Scopus