Alexey S. Ignatiev
AuthID: R-004-VTB
11
TITLE: Towards Formal Fairness in Machine Learning
AUTHORS: Alexey Ignatiev; Martin C Cooper; Mohamed Siala; Emmanuel Hebrard; Joao Marques Silva;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12333 LNCS
AUTHORS: Alexey Ignatiev; Martin C Cooper; Mohamed Siala; Emmanuel Hebrard; Joao Marques Silva;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12333 LNCS
12
TITLE: Branch Location Problems with Maximum Satisfiability
AUTHORS: Zaikin, O; Ignatiev, A; Marques Silva, J;
PUBLISHED: 2020, SOURCE: ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 325
AUTHORS: Zaikin, O; Ignatiev, A; Marques Silva, J;
PUBLISHED: 2020, SOURCE: ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 325
13
TITLE: Explaining naive bayes and other linear classifiers with polynomial time and delay
AUTHORS: Joao Marques Silva; Thomas Gerspacher; Martin C Cooper; Alexey Ignatiev; Nina Narodytska;
PUBLISHED: 2020, SOURCE: Advances in Neural Information Processing Systems, VOLUME: 2020-December
AUTHORS: Joao Marques Silva; Thomas Gerspacher; Martin C Cooper; Alexey Ignatiev; Nina Narodytska;
PUBLISHED: 2020, SOURCE: Advances in Neural Information Processing Systems, VOLUME: 2020-December
INDEXED IN: 
Scopus
Scopus14
TITLE: On Computing the Union of MUSes
AUTHORS: Mencía, C; Kullmann, O; Ignatiev, A; Marques Silva, J ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11628 LNCS
AUTHORS: Mencía, C; Kullmann, O; Ignatiev, A; Marques Silva, J ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11628 LNCS
15
TITLE: Assessing Heuristic Machine Learning Explanations with Model Counting
AUTHORS: Narodytska, N; Shrotri, A; Meel, KS; Ignatiev, A; Marques Silva, J ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
AUTHORS: Narodytska, N; Shrotri, A; Meel, KS; Ignatiev, A; Marques Silva, J ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
16
TITLE: On relating explanations and adversarial examples
AUTHORS: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLISHED: 2019, SOURCE: Advances in Neural Information Processing Systems, VOLUME: 32
AUTHORS: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLISHED: 2019, SOURCE: Advances in Neural Information Processing Systems, VOLUME: 32
INDEXED IN: Scopus
Scopus17
TITLE: A SAT-Based Approach to Learn Explainable Decision Sets
AUTHORS: Alexey Ignatiev; Filipe Pereira; Nina Narodytska; Joao Marques Silva ;
PUBLISHED: 2018, SOURCE: Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, VOLUME: 10900
AUTHORS: Alexey Ignatiev; Filipe Pereira; Nina Narodytska; Joao Marques Silva ;
PUBLISHED: 2018, SOURCE: Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, VOLUME: 10900
INDEXED IN: 
DBLP
DBLP18
TITLE: Learning Optimal Decision Trees with SAT
AUTHORS: Nina Narodytska; Alexey Ignatiev; Filipe Pereira; Joao Marques Silva ;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.
AUTHORS: Nina Narodytska; Alexey Ignatiev; Filipe Pereira; Joao Marques Silva ;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.
INDEXED IN: DBLP
DBLP19
TITLE: On Cryptographic Attacks Using Backdoors for SAT
AUTHORS: Alexander Semenov; Oleg Zaikin; Ilya Otpuschennikov; Stepan Kochemazov; Alexey Ignatiev;
PUBLISHED: 2018, SOURCE: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
AUTHORS: Alexander Semenov; Oleg Zaikin; Ilya Otpuschennikov; Stepan Kochemazov; Alexey Ignatiev;
PUBLISHED: 2018, SOURCE: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXED IN: 
WOS
WOS20
TITLE: Lean Kernels in Description Logics
AUTHORS: Rafael Peñaloza; Carlos Mencía; Alexey Ignatiev; Joao Marques Silva ;
PUBLISHED: 2017, SOURCE: 14th Extended Semantic Web Conference, ESWC 2017 in The Semantic Web - 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I, VOLUME: 10249
AUTHORS: Rafael Peñaloza; Carlos Mencía; Alexey Ignatiev; Joao Marques Silva ;
PUBLISHED: 2017, SOURCE: 14th Extended Semantic Web Conference, ESWC 2017 in The Semantic Web - 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I, VOLUME: 10249
