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
Co-author 7
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up