Alexey Ignatiev
Supervisor's projects
| Project name Sort descending | Type |
|---|---|
| Efficient exploration of consistent worlds | Honours project |
| Efficient Incrementality in Learning Solvers | Research project |
| Formal Explainability in Artificial Intelligence | Research project |
| Improving Satisfiability Solving in Python | Honours project |
Co-supervising
| Project name Sort descending | Type | Primary supervisor |
|---|---|---|
| Building consistent world states for an autonomous agent | Honours project | Maria Garcia De La Banda |
| Explainable AI (XAI) as Model Reconciliation | Research project | Mor Vered |