Scholar
Alexey Ignatiev
Google Scholar ID: CkHZ6fMAAAAJ
Associate Professor, Monash University
Satisfiability
Computational Logic
Automated Reasoning
Artificial Intelligence
Explainability
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,750
H-index
30
i10-index
64
Publications
20
Co-authors
56
list available
Contact
Email
alexey.ignatiev@monash.edu
CV
Open ↗
GitHub
Open ↗
Publications
6 items
Rigorous Explanations for Tree Ensembles
2026
Cited
0
A Formal Framework for the Explanation of Finite Automata Decisions
2026
Cited
0
Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
2025
Cited
0
Efficient & Correct Predictive Equivalence for Decision Trees
2025
Cited
0
Most General Explanations of Tree Ensembles
2025
Cited
0
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation
International Conference on Principles of Knowledge Representation and Reasoning · 2024
Cited
4
Resume (English only)
Co-authors
56 total
Joao Marques-Silva
Research Professor, ICREA, University of Lleida
Co-author 2
Nina Narodytska
VMware Research
Peter Stuckey
Faculty of Information Technology, Monash University
Yacine IZZA
National University of Singapore
Martin Cooper
Professor of Computer Science, IRIT, University of Toulouse
Jinqiang Yu
Researcher, TikTok
Co-author 8
