PhD thesis
Automated lazy metalearning in introspective reasoning systems
Curriculum vitae (CV)
Public technical CV [2022]