Projects per year
Personal profile
Biography
I am a Senior Lecturer at the Optimisation research group of the Faculty of Information Technology of Monash University.
Currently, my research is mainly focused on the development and improvement of highly efficient SAT- and SMT-based (satisfiability modulo theories) decision and optimization procedures targeting a variety of important practical applications in AI: from software package upgradability and Boolean formula minimization to model-based diagnosis (MBD), software fault localization and eXplainable AI (XAI).
Education/Academic qualification
Computer Science, Doctor of Philosophy, Irkutsk State University
Award Date: 19 Nov 2010
Applied Mathematics, Diploma (Honours Degree), Irkutsk State University
Award Date: 15 Jun 2006
Research area keywords
- Satisfiability
- Computational Logic
- Knowledge Representation and Reasoning
- Automated Reasoning
- Artificial Intelligence
- Combinatorial Optimisation
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Formal Explainability: Formal Explainability for Neuro-Symbolic Artificial Intelligence
Stuckey, P. (Primary Chief Investigator (PCI)) & Ignatiev , A. (Chief Investigator (CI))
ARC - Australian Research Council
12/02/25 → 11/02/28
Project: Research
-
HARNESS: Hierarchical Abstractions and Reasoning for Neuro-Symbolic Systems
Rezatofighi, H. (Primary Chief Investigator (PCI)), Garcia De La Banda Garcia, M. (Chief Investigator (CI)), Li, Y.-F. (Chief Investigator (CI)), Stuckey, P. (Chief Investigator (CI)), Gasevic, D. (Chief Investigator (CI)), Gutierrez, J. (Chief Investigator (CI)), Qu, L. (Chief Investigator (CI)), Ignatiev , A. (Chief Investigator (CI)), Swiecki, Z. (Chief Investigator (CI)), Vered, M. (Chief Investigator (CI)), Chen, G. (Chief Investigator (CI)), Haffari, R. (Chief Investigator (CI)) & Say, B. (Chief Investigator (CI))
20/06/23 → 20/02/27
Project: Research
-
NLCG: Huub: Next-Gen Lazy Clause Generation
Stuckey, P. (Primary Chief Investigator (PCI)), Ignatiev , A. (Chief Investigator (CI)), Dekker, J. (Associate Investigator (AI)) & Zhong, A. (Associate Investigator (AI))
14/04/25 → 13/04/26
Project: Research
-
Most General Explanations of Tree Ensembles
Izza, Y., Ignatiev, A., Rubin, S., Marques-Silva, J. & Stuckey, P. J., 2025, Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025. Kwok, J. (ed.). Marina del Rey CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 5463-5471 9 p. (IJCAI International Joint Conference on Artificial Intelligence).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open Access1 Link opens in a new tab Citation (Scopus) -
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions
Cai, Z., Cardenas, C. R., Leo, K., Zhang, C., Backman, K., Li, H., Li, B., Ghorbanali, M., Datta, S., Qu, L., Gutierrez, J., Ignatiev, A., Li, Y.-F., Vered, M., Stuckey, P. J., De La Banda, M. G. & Rezatofighi, H., Sept 2025, In: IEEE Robotics and Automation Letters. 10, 9, p. 9502-9509 8 p.Research output: Contribution to journal › Article › Research › peer-review
4 Link opens in a new tab Citations (Scopus) -
Towards Modern and Modular SAT for LCG
Dekker, J. J., Ignatiev, A., Stuckey, P. J. & Zhong, A. Z., 2025, 31st International Conference on Principles and Practice of Constraint Programming. de la Banda, M. G. (ed.). Saarbrücken/Wadern, Germany: Schloss Dagstuhl, 12 p. 42. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 340).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open AccessFile3 Link opens in a new tab Citations (Scopus) -
A Formal Explainer for Just-In-Time Defect Predictions
Yu, J., Fu, M., Ignatiev, A., Tantithamthavorn, C. & Stuckey, P., 26 Aug 2024, In: ACM Transactions on Software Engineering and Methodology. 33, 7, 31 p., 187.Research output: Contribution to journal › Article › Research › peer-review
Open Access9 Link opens in a new tab Citations (Scopus) -
Anytime Approximate Formal Feature Attribution
Yu, J., Farr, G., Ignatiev, A. & Stuckey, P. J., 2024, 27th International Conference on Theory and Applications of Satisfiability Testing. Chakraborty, S. & Jiang, J.-H. R. (eds.). Saarbrücken/Wadern Germany: Schloss Dagstuhl, 23 p. 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 305).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open AccessFile1 Link opens in a new tab Citation (Scopus)