Alexey S. Ignatiev
AuthID: R-004-VTB
11
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
Scopus12
TÃTULO: Towards Formal Fairness in Machine Learning
AUTORES: Alexey Ignatiev; Martin C Cooper; Mohamed Siala; Emmanuel Hebrard; Joao Marques Silva;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12333 LNCS
AUTORES: Alexey Ignatiev; Martin C Cooper; Mohamed Siala; Emmanuel Hebrard; Joao Marques Silva;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12333 LNCS
13
TÃTULO: Branch Location Problems with Maximum Satisfiability
AUTORES: Zaikin, O; Ignatiev, A; Marques Silva, J;
PUBLICAÇÃO: 2020, FONTE: ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 325
AUTORES: Zaikin, O; Ignatiev, A; Marques Silva, J;
PUBLICAÇÃO: 2020, FONTE: ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 325
INDEXADO EM: Scopus 
WOS
Scopus WOS14
TÃTULO: Explaining naive bayes and other linear classifiers with polynomial time and delay
AUTORES: Joao Marques Silva; Thomas Gerspacher; Martin C Cooper; Alexey Ignatiev; Nina Narodytska;
PUBLICAÇÃO: 2020, FONTE: Advances in Neural Information Processing Systems, VOLUME: 2020-December
AUTORES: Joao Marques Silva; Thomas Gerspacher; Martin C Cooper; Alexey Ignatiev; Nina Narodytska;
PUBLICAÇÃO: 2020, FONTE: Advances in Neural Information Processing Systems, VOLUME: 2020-December
INDEXADO EM: Scopus
Scopus15
TÃTULO: Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference
AUTORES: Ilya Zakirzyanov; Morgado, António ; Alexey Ignatiev; Vladimir Ulyantsev; João Marques Silva ;
PUBLICAÇÃO: 2019, FONTE: 13th International Conference on Language and Automata Theory and Applications, LATA 2019 in Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, VOLUME: 11417
AUTORES: Ilya Zakirzyanov; Morgado, António ; Alexey Ignatiev; Vladimir Ulyantsev; João Marques Silva ;
PUBLICAÇÃO: 2019, FONTE: 13th International Conference on Language and Automata Theory and Applications, LATA 2019 in Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, VOLUME: 11417
16
TÃTULO: On Computing the Union of MUSes
AUTORES: Mencía, C; Kullmann, O; Ignatiev, A; Marques Silva, J ;
PUBLICAÇÃO: 2019, FONTE: 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
AUTORES: Mencía, C; Kullmann, O; Ignatiev, A; Marques Silva, J ;
PUBLICAÇÃO: 2019, FONTE: 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
17
TÃTULO: DRMaxSAT with MaxHS: First Contact
AUTORES: Morgado, António ; Ignatiev, A; Bonet, ML; Marques Silva, J ; Buss, S;
PUBLICAÇÃO: 2019, FONTE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
AUTORES: Morgado, António ; Ignatiev, A; Bonet, ML; Marques Silva, J ; Buss, S;
PUBLICAÇÃO: 2019, FONTE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
18
TÃTULO: Assessing Heuristic Machine Learning Explanations with Model Counting
AUTORES: Narodytska, N; Shrotri, A; Meel, KS; Ignatiev, A; Marques Silva, J ;
PUBLICAÇÃO: 2019, FONTE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
AUTORES: Narodytska, N; Shrotri, A; Meel, KS; Ignatiev, A; Marques Silva, J ;
PUBLICAÇÃO: 2019, FONTE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
19
TÃTULO: Model-Based Diagnosis with Multiple Observations
AUTORES: Alexey Ignatiev; Morgado, António ; Georg Weissenbacher; João Marques Silva ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019, VOLUME: 2019-August
AUTORES: Alexey Ignatiev; Morgado, António ; Georg Weissenbacher; João Marques Silva ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019, VOLUME: 2019-August
20
TÃTULO: DRMaxSAT with MaxHS: First Contact
AUTORES: Morgado, António ; Alexey Ignatiev; Maria Luisa Bonet; João Marques Silva; Sam Buss;
PUBLICAÇÃO: 2019, FONTE: Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings, VOLUME: 11628
AUTORES: Morgado, António ; Alexey Ignatiev; Maria Luisa Bonet; João Marques Silva; Sam Buss;
PUBLICAÇÃO: 2019, FONTE: Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings, VOLUME: 11628
INDEXADO EM: 
DBLP
DBLP