Alexey S. Ignatiev
AuthID: R-004-VTB
1
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
Scopus2
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
3
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
Scopus4
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
Scopus5
TITLE: Propositional proof systems based on maximum satisfiability Full Text
AUTHORS: Bonet, ML; Buss, S; Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2021, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 300
AUTHORS: Bonet, ML; Buss, S; Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2021, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 300
6
TITLE: Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification
AUTHORS: Gianpiero Cabodi; Paolo E Camurati; Alexey Ignatiev; Joao Marques Silva; Marco Palena; Paolo Pasini;
PUBLISHED: 2021, SOURCE: Proceedings -Design, Automation and Test in Europe, DATE, VOLUME: 2021-February
AUTHORS: Gianpiero Cabodi; Paolo E Camurati; Alexey Ignatiev; Joao Marques Silva; Marco Palena; Paolo Pasini;
PUBLISHED: 2021, SOURCE: Proceedings -Design, Automation and Test in Europe, DATE, VOLUME: 2021-February
7
TITLE: From Contrastive to Abductive Explanations and Back Again
AUTHORS: Ignatiev, A; Narodytska, N; Asher, N; Marques Silva, J;
PUBLISHED: 2021, SOURCE: AIXIA 2020 - ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 12414
AUTHORS: Ignatiev, A; Narodytska, N; Asher, N; Marques Silva, J;
PUBLISHED: 2021, SOURCE: AIXIA 2020 - ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 12414
8
TITLE: SAT-Based Rigorous Explanations for Decision Lists
AUTHORS: Ignatiev, A; Marques Silva, J;
PUBLISHED: 2021, SOURCE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, VOLUME: 12831
AUTHORS: Ignatiev, A; Marques Silva, J;
PUBLISHED: 2021, SOURCE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, VOLUME: 12831
9
TITLE: Assessing Progress in SAT Solvers Through the Lens of Incremental SAT
AUTHORS: Kochemazov, S; Ignatiev, A; Marques Silva, J;
PUBLISHED: 2021, SOURCE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, VOLUME: 12831
AUTHORS: Kochemazov, S; Ignatiev, A; Marques Silva, J;
PUBLISHED: 2021, SOURCE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, VOLUME: 12831
10
TITLE: Reasoning-Based Learning of Interpretable ML Models
AUTHORS: Alexey Ignatiev; Joao Marques Silva; Nina Narodytska; Peter J Stuckey;
PUBLISHED: 2021, SOURCE: IJCAI International Joint Conference on Artificial Intelligence
AUTHORS: Alexey Ignatiev; Joao Marques Silva; Nina Narodytska; Peter J Stuckey;
PUBLISHED: 2021, SOURCE: IJCAI International Joint Conference on Artificial Intelligence
INDEXED IN: Scopus
Scopus