Seguir
Matthew J. McIlree
Matthew J. McIlree
PhD Student, University of Glasgow
Dirección de correo verificada de research.gla.ac.uk
Título
Citado por
Citado por
Año
Using small muses to explain how to solve pen and paper puzzles
J Espasa, IP Gent, R Hoffmann, C Jefferson, AM Lynch, A Salamon, ...
arXiv preprint arXiv:2104.15040, 2021
52021
Proof Logging for Smart Extensional Constraints
MJ McIlree, C McCreesh
29th International Conference on Principles and Practice of Constraint …, 2023
12023
Towards generic explanations for pen and paper puzzles with MUSes
JE Arxer, IP Gent, R Hoffmann, C Jefferson, MJ McIlree, AM Lynch
SICSA eXplainable Artifical Intelligence Workshop, 56-63, 2021
12021
Towards generic explanations for pen and paper puzzles with MUSes
J Espasa Arxer, IP Gent, R Hoffmann, C Jefferson, MJ McIlree, AM Lynch
Proceedings of the SICSA eXplainable Artifical Intelligence Workshop 2021, 2021
12021
Proof Logging for the Circuit Constraint
MJ McIlree, C Mccreesh, J Nordström
2024
Towards Generic Explanations for Pen and Paper Puzzles with MUSes
J Espasa, IP Gent, R Hoffmann, C Jefferson, M McIlree, AM Lynch
2021
Towards Generic Explanations for Pen and Paper Puzzles with MUSes
MJ McIlree, AM Lynch
2021
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–7