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
2912018
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
2292019
Learning Optimal Decision Trees with SAT
N Narodytska, A Ignatiev, F Pereira, J Marques-Silva
IJCAI, 1362-1368, 2018
1502018
RC2: an efficient MaxSAT solver
A Ignatiev, A Morgado, J Marques-Silva
Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 53-64, 2019
1332019
On relating explanations and adversarial examples
A Ignatiev, N Narodytska, J Marques-Silva
Advances in neural information processing systems 32, 2019
1282019
Towards Trustable Explainable AI
A Ignatiev
IJCAI, 5154-5158, 2020
1212020
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
942015
On explaining decision trees
Y Izza, A Ignatiev, J Marques-Silva
arXiv preprint arXiv:2010.11034, 2020
922020
Delivering trustworthy AI through formal XAI
J Marques-Silva, A Ignatiev
Proceedings of the AAAI Conference on Artificial Intelligence 36 (11), 12342 …, 2022
902022
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
722018
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
692020
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
682020
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
682019
MSCG: Robust core-guided MaxSAT solving
A Morgado, A Ignatiev, J Marques-Silva
Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 129-134, 2014
582014
On validating, repairing and refining heuristic ML explanations
A Ignatiev, N Narodytska, J Marques-Silva
arXiv preprint arXiv:1907.02509, 2019
572019
Explanations for Monotonic Classifiers
J Marques-Silva, T Gerspacher, MC Cooper, A Ignatiev, N Narodytska
International Conference on Machine Learning, 7469-7479, 2021
552021
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
542015
On tackling explanation redundancy in decision trees
Y Izza, A Ignatiev, J Marques-Silva
Journal of Artificial Intelligence Research 75, 261-321, 2022
482022
On efficiently explaining graph-based classifiers
X Huang, Y Izza, A Ignatiev, J Marques-Silva
arXiv preprint arXiv:2106.01350, 2021
482021
On cryptographic attacks using backdoors for SAT
A Semenov, O Zaikin, I Otpuschennikov, S Kochemazov, A Ignatiev
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
472018
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