Ignatiev, Alexey

24 publications

IJCAI 2025 Most General Explanations of Tree Ensembles Yacine Izza, Alexey Ignatiev, Sasha Rubin, João Marques-Silva, Peter J. Stuckey

AAAI 2024 Delivering Inflated Explanations Yacine Izza, Alexey Ignatiev, Peter J. Stuckey, João Marques-Silva

AAAI 2023 Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva

IJCAI 2023 On Tackling Explanation Redundancy in Decision Trees (Extended Abstract) Yacine Izza, Alexey Ignatiev, João Marques-Silva

AAAI 2022 Constraint-Driven Explanations for Black-Box ML Models Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi

AAAI 2022 Delivering Trustworthy AI Through Formal XAI João Marques-Silva, Alexey Ignatiev

JAIR 2022 On Tackling Explanation Redundancy in Decision Trees Yacine Izza, Alexey Ignatiev, João Marques-Silva

AAAI 2022 Tractable Explanations for D-DNNF Classifiers Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin C. Cooper, Nicholas Asher, João Marques-Silva

AAAI 2022 Using MaxSAT for Efficient Explanations of Tree Ensembles Alexey Ignatiev, Yacine Izza, Peter J. Stuckey, João Marques-Silva

AAAI 2021 A Scalable Two Stage Approach to Computing Optimal Decision Sets Alexey Ignatiev, Edward Lam, Peter J. Stuckey, João Marques-Silva

ICML 2021 Explanations for Monotonic Classifiers. Joao Marques-Silva, Thomas Gerspacher, Martin C Cooper, Alexey Ignatiev, Nina Narodytska

JAIR 2021 Learning Optimal Decision Sets and Lists with SAT Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic

IJCAI 2021 Reasoning-Based Learning of Interpretable ML Models Alexey Ignatiev, João Marques-Silva, Nina Narodytska, Peter J. Stuckey

NeurIPS 2020 Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay Joao Marques-Silva, Thomas Gerspacher, Martin Cooper, Alexey Ignatiev, Nina Narodytska

IJCAI 2020 Towards Trustable Explainable AI Alexey Ignatiev

AAAI 2019 Abduction-Based Explanations for Machine Learning Models Alexey Ignatiev, Nina Narodytska, João Marques-Silva

IJCAI 2019 Model-Based Diagnosis with Multiple Observations Alexey Ignatiev, António Morgado, Georg Weissenbacher, João Marques-Silva

NeurIPS 2019 On Relating Explanations and Adversarial Examples Alexey Ignatiev, Nina Narodytska, Joao Marques-Silva

IJCAI 2018 Learning Optimal Decision Trees with SAT Nina Narodytska, Alexey Ignatiev, Filipe Pereira, João Marques-Silva

AAAI 2018 MaxSAT Resolution with the Dual Rail Encoding Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, João Marques-Silva, António Morgado

AAAI 2018 On Cryptographic Attacks Using Backdoors for SAT Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev

IJCAI 2017 Cardinality Encodings for Graph Optimization Problems Alexey Ignatiev, António Morgado, João Marques-Silva

IJCAI 2015 Efficient Model Based Diagnosis with Maximum Satisfiability João Marques-Silva, Mikolás Janota, Alexey Ignatiev, António Morgado

IJCAI 2015 Prime Compilation of Non-Clausal Formulae Alessandro Previti, Alexey Ignatiev, António Morgado, João Marques-Silva