João Paulo Marques da Silva
AuthID: R-000-J0P
11
TÃTULO: ANTENNA: Visual Analytics of Mobility Derived from Cellphone Data
AUTORES: Silva, Pedro; Maçãs, Catarina; Correia, Joao; Machado, Penousal ; Polisciuc, Evgheni;
PUBLICAÇÃO: 2023, FONTE: 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
AUTORES: Silva, Pedro; Maçãs, Catarina; Correia, Joao; Machado, Penousal ; Polisciuc, Evgheni;
PUBLICAÇÃO: 2023, FONTE: 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
12
TÃTULO: Feature Necessity & Relevancy in ML Classifier Explanations
AUTORES: Xuanxiang Huang; Martin C Cooper; Morgado, António; Jordi Planes; Joao Marques-Silva;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science - Tools and Algorithms for the Construction and Analysis of Systems
AUTORES: Xuanxiang Huang; Martin C Cooper; Morgado, António; Jordi Planes; Joao Marques-Silva;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science - Tools and Algorithms for the Construction and Analysis of Systems
13
TÃTULO: Logic-Based Explainability in Machine Learning
AUTORES: Joao Marques-Silva;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science - Reasoning Web. Causality, Explanations and Declarative Knowledge
AUTORES: Joao Marques-Silva;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science - Reasoning Web. Causality, Explanations and Declarative Knowledge
14
TÃTULO: Certified Logic-Based Explainable AI – The Case of Monotonic Classifiers
AUTORES: Aurélie Hurault; Joao Marques-Silva;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science - Tests and Proofs
AUTORES: Aurélie Hurault; Joao Marques-Silva;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science - Tests and Proofs
15
TÃTULO: From Decision Trees to Explained Decision Sets
AUTORES: Xuanxiang Huang; Joao Marques-Silva;
PUBLICAÇÃO: 2023, FONTE: Frontiers in Artificial Intelligence and Applications - ECAI 2023
AUTORES: Xuanxiang Huang; Joao Marques-Silva;
PUBLICAÇÃO: 2023, FONTE: Frontiers in Artificial Intelligence and Applications - ECAI 2023
16
TÃTULO: Using MaxSAT for Efficient Explanations of Tree Ensembles
AUTORES: Alexey Ignatiev; Yacine Izza; Peter J Stuckey; Joao Marques Silva;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
AUTORES: Alexey Ignatiev; Yacine Izza; Peter J Stuckey; Joao Marques Silva;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
INDEXADO EM: 
Scopus
Scopus17
TÃTULO: Tractable Explanations for d-DNNF Classifiers
AUTORES: Xuanxiang Huang; Yacine Izza; Alexey Ignatiev; Martin Cooper; Nicholas Asher; Joao Marques Silva;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
AUTORES: Xuanxiang Huang; Yacine Izza; Alexey Ignatiev; Martin Cooper; Nicholas Asher; Joao Marques Silva;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
INDEXADO EM: Scopus
Scopus18
TÃTULO: On Tackling Explanation Redundancy in Decision Trees Full Text
AUTORES: Yacine Izza; Alexey Ignatiev; Joao Marques Silva;
PUBLICAÇÃO: 2022, FONTE: Journal of Artificial Intelligence Research, VOLUME: 75
AUTORES: Yacine Izza; Alexey Ignatiev; Joao Marques Silva;
PUBLICAÇÃO: 2022, FONTE: Journal of Artificial Intelligence Research, VOLUME: 75
19
TÃTULO: Constraint-Driven Explanations for Black Box ML Models
AUTORES: Aditya A Shrotri; Nina Narodytska; Alexey Ignatiev; Kuldeep S Meel; Joao Marques Silva; Moshe Y Vardi;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
AUTORES: Aditya A Shrotri; Nina Narodytska; Alexey Ignatiev; Kuldeep S Meel; Joao Marques Silva; Moshe Y Vardi;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
INDEXADO EM: Scopus
Scopus20
TÃTULO: Delivering Trustworthy AI through Formal XAI
AUTORES: Joao Marques Silva; Alexey Ignatiev;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
AUTORES: Joao Marques Silva; Alexey Ignatiev;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
INDEXADO EM: Scopus
Scopus