João Paulo Marques da Silva
AuthID: R-000-J0P
11
TÃTULO: Field of Leaves An Interactive Installation Sprouting Leaves Out of Public Money
AUTORES: Silva, Pedro; Lopes, Daniel; Martins, Pedro; Machado, Penousal;
PUBLICAÇÃO: 2022, FONTE: PROCEEDINGS OF THE ACM ON COMPUTER GRAPHICS AND INTERACTIVE TECHNIQUES, VOLUME: 5, NÚMERO: 4
AUTORES: Silva, Pedro; Lopes, Daniel; Martins, Pedro; Machado, Penousal;
PUBLICAÇÃO: 2022, FONTE: PROCEEDINGS OF THE ACM ON COMPUTER GRAPHICS AND INTERACTIVE TECHNIQUES, VOLUME: 5, NÚMERO: 4
INDEXADO EM: 
Scopus 
WOS
Scopus WOS12
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
Scopus13
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
Scopus14
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
15
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
Scopus16
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
Scopus17
TÃTULO: Conflict-Driven Clause Learning SAT Solvers
AUTORES: João Marques Silva; Inês Lynce ; Sharad Malik;
PUBLICAÇÃO: 2021, FONTE: Handbook of Satisfiability - Second Edition, VOLUME: 336
AUTORES: João Marques Silva; Inês Lynce ; Sharad Malik;
PUBLICAÇÃO: 2021, FONTE: Handbook of Satisfiability - Second Edition, VOLUME: 336
INDEXADO EM: Scopus 
DBLP
Scopus DBLP18
TÃTULO: Auditing static machine learning anti-Malware tools against metamorphic attacks Full Text
AUTORES: Gibert, D; Mateu, C; Planes, J; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: COMPUTERS & SECURITY, VOLUME: 102
AUTORES: Gibert, D; Mateu, C; Planes, J; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: COMPUTERS & SECURITY, VOLUME: 102
19
TÃTULO: Chapter 4: Conflict-driven clause learning SAT solvers
AUTORES: Joao Marques Silva; Ines Lynce ; Sharad Malik;
PUBLICAÇÃO: 2021, FONTE: Frontiers in Artificial Intelligence and Applications, VOLUME: 336
AUTORES: Joao Marques Silva; Ines Lynce ; Sharad Malik;
PUBLICAÇÃO: 2021, FONTE: Frontiers in Artificial Intelligence and Applications, VOLUME: 336
INDEXADO EM: Scopus 
Unpaywall
Scopus Unpaywall20
TÃTULO: Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification
AUTORES: Gianpiero Cabodi; Paolo E Camurati; Alexey Ignatiev; Joao Marques Silva; Marco Palena; Paolo Pasini;
PUBLICAÇÃO: 2021, FONTE: Proceedings -Design, Automation and Test in Europe, DATE, VOLUME: 2021-February
AUTORES: Gianpiero Cabodi; Paolo E Camurati; Alexey Ignatiev; Joao Marques Silva; Marco Palena; Paolo Pasini;
PUBLICAÇÃO: 2021, FONTE: Proceedings -Design, Automation and Test in Europe, DATE, VOLUME: 2021-February
