João Paulo Marques da Silva
AuthID: R-000-J0P
11
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
12
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
Scopus WOS13
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
Scopus14
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
Scopus15
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
16
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
Scopus17
TITLE: Delivering Trustworthy AI through Formal XAI
AUTHORS: Joao Marques Silva; Alexey Ignatiev;
PUBLISHED: 2022, SOURCE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
AUTHORS: Joao Marques Silva; Alexey Ignatiev;
PUBLISHED: 2022, SOURCE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
INDEXED IN: Scopus
Scopus18
TITLE: Conflict-Driven Clause Learning SAT Solvers
AUTHORS: João Marques Silva; Inês Lynce ; Sharad Malik;
PUBLISHED: 2021, SOURCE: Handbook of Satisfiability - Second Edition, VOLUME: 336
AUTHORS: João Marques Silva; Inês Lynce ; Sharad Malik;
PUBLISHED: 2021, SOURCE: Handbook of Satisfiability - Second Edition, VOLUME: 336
INDEXED IN: Scopus 
DBLP
Scopus DBLP19
TITLE: Auditing static machine learning anti-Malware tools against metamorphic attacks Full Text
AUTHORS: Gibert, D; Mateu, C; Planes, J; Marques Silva, J;
PUBLISHED: 2021, SOURCE: COMPUTERS & SECURITY, VOLUME: 102
AUTHORS: Gibert, D; Mateu, C; Planes, J; Marques Silva, J;
PUBLISHED: 2021, SOURCE: COMPUTERS & SECURITY, VOLUME: 102
20
TITLE: Chapter 4: Conflict-driven clause learning SAT solvers
AUTHORS: Joao Marques Silva; Ines Lynce ; Sharad Malik;
PUBLISHED: 2021, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 336
AUTHORS: Joao Marques Silva; Ines Lynce ; Sharad Malik;
PUBLISHED: 2021, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 336
INDEXED IN: Scopus 
Unpaywall
Scopus Unpaywall