Theo dõi
Alexey Ignatiev
Alexey Ignatiev
Faculty of Information Technology, Monash University
Email được xác minh tại monash.edu - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
PySAT: A Python toolkit for prototyping with SAT oracles
A Ignatiev, A Morgado, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2018
3762018
Abduction-based explanations for machine learning models
A Ignatiev, N Narodytska, J Marques-Silva
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 1511-1519, 2019
2762019
RC2: an efficient MaxSAT solver
A Ignatiev, A Morgado, J Marques-Silva
Journal on Satisfiability, Boolean Modelling and Computation 11 (1), 53-64, 2019
1732019
Learning Optimal Decision Trees with SAT
N Narodytska, A Ignatiev, F Pereira, J Marques-Silva
IJCAI, 1362-1368, 2018
1732018
Towards Trustable Explainable AI
A Ignatiev
IJCAI, 5154-5158, 2020
1562020
On relating explanations and adversarial examples
A Ignatiev, N Narodytska, J Marques-Silva
Advances in neural information processing systems 32, 2019
1512019
Delivering trustworthy AI through formal XAI
J Marques-Silva, A Ignatiev
Proceedings of the AAAI Conference on Artificial Intelligence 36 (11), 12342 …, 2022
1422022
On explaining decision trees
Y Izza, A Ignatiev, J Marques-Silva
arXiv preprint arXiv:2010.11034, 2020
1182020
Smallest MUS extraction with minimal hitting set dualization
A Ignatiev, A Previti, M Liffiton, J Marques-Silva
International Conference on Principles and Practice of Constraint …, 2015
1042015
From contrastive to abductive explanations and back again
A Ignatiev, N Narodytska, N Asher, J Marques-Silva
International Conference of the Italian Association for Artificial …, 2020
952020
Explaining naive bayes and other linear classifiers with polynomial time and delay
J Marques-Silva, T Gerspacher, M Cooper, A Ignatiev, N Narodytska
Advances in Neural Information Processing Systems 33, 20590-20600, 2020
862020
Assessing heuristic machine learning explanations with model counting
N Narodytska, A Shrotri, KS Meel, A Ignatiev, J Marques-Silva
Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019
802019
On tackling explanation redundancy in decision trees
Y Izza, A Ignatiev, J Marques-Silva
Journal of Artificial Intelligence Research 75, 261-321, 2022
762022
A SAT-based approach to learn explainable decision sets
A Ignatiev, F Pereira, N Narodytska, J Marques-Silva
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
762018
Explanations for Monotonic Classifiers
J Marques-Silva, T Gerspacher, MC Cooper, A Ignatiev, N Narodytska
International Conference on Machine Learning, 7469-7479, 2021
692021
Mscg: Robust core-guided MaxSAT solving: System description
A Morgado, A Ignatiev, J Marques-Silva
Journal on Satisfiability, Boolean Modelling and Computation 9 (1), 129-134, 2014
692014
On efficiently explaining graph-based classifiers
X Huang, Y Izza, A Ignatiev, J Marques-Silva
arXiv preprint arXiv:2106.01350, 2021
642021
On validating, repairing and refining heuristic ML explanations
A Ignatiev, N Narodytska, J Marques-Silva
arXiv preprint arXiv:1907.02509, 2019
642019
Using MaxSAT for efficient explanations of tree ensembles
A Ignatiev, Y Izza, PJ Stuckey, J Marques-Silva
Proceedings of the AAAI Conference on Artificial Intelligence 36 (4), 3776-3785, 2022
632022
Efficient Model Based Diagnosis with Maximum Satisfiability
J Marques-Silva, M Janota, A Ignatiev, A Morgado
24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015
622015
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20