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 (ISU)
Award Date: 19 Nov 2010
Applied Mathematics, Diploma (Honours Degree), Irkutsk State University (ISU)
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
Projects
- 3 Active
-
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
-
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
-
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
-
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 AccessFile -
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 Access3 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 AccessFile -
Delivering inflated explanations
Izza, Y., Ignatiev, A., Stuckey, P. J. & Marques-Silva, J., 2024, Thirty-Eighth AAAI Conference on Artificial Intelligence. Wooldridge, M., Dy, J. & Natarajan, S. (eds.). Washington DC USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 12744-12753 10 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 38, no. 11).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open AccessFile5 Citations (Scopus)