Alexey S. Ignatiev
AuthID: R-004-VTB
1
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
Scopus2
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
3
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
Scopus4
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
Scopus5
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
6
TÃTULO: From Contrastive to Abductive Explanations and Back Again
AUTORES: Ignatiev, A; Narodytska, N; Asher, N; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: AIXIA 2020 - ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 12414
AUTORES: Ignatiev, A; Narodytska, N; Asher, N; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: AIXIA 2020 - ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 12414
7
TÃTULO: SAT-Based Rigorous Explanations for Decision Lists
AUTORES: Ignatiev, A; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, VOLUME: 12831
AUTORES: Ignatiev, A; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, VOLUME: 12831
8
TÃTULO: Assessing Progress in SAT Solvers Through the Lens of Incremental SAT
AUTORES: Kochemazov, S; Ignatiev, A; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, VOLUME: 12831
AUTORES: Kochemazov, S; Ignatiev, A; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, VOLUME: 12831
9
TÃTULO: Reasoning-Based Learning of Interpretable ML Models
AUTORES: Alexey Ignatiev; Joao Marques Silva; Nina Narodytska; Peter J Stuckey;
PUBLICAÇÃO: 2021, FONTE: IJCAI International Joint Conference on Artificial Intelligence
AUTORES: Alexey Ignatiev; Joao Marques Silva; Nina Narodytska; Peter J Stuckey;
PUBLICAÇÃO: 2021, FONTE: IJCAI International Joint Conference on Artificial Intelligence
INDEXADO EM: Scopus
Scopus10
TÃTULO: A Scalable Two Stage Approach to Computing Optimal Decision Sets
AUTORES: Alexey Ignatiev; Edward Lam; Peter J Stuckey; Joao Marques Silva;
PUBLICAÇÃO: 2021, FONTE: 35th AAAI Conference on Artificial Intelligence, AAAI 2021, VOLUME: 5A
AUTORES: Alexey Ignatiev; Edward Lam; Peter J Stuckey; Joao Marques Silva;
PUBLICAÇÃO: 2021, FONTE: 35th AAAI Conference on Artificial Intelligence, AAAI 2021, VOLUME: 5A
INDEXADO EM: Scopus
Scopus