Volgen
Matthew J. McIlree
Matthew J. McIlree
PhD Student, University of Glasgow
Geverifieerd e-mailadres voor research.gla.ac.uk
Titel
Geciteerd door
Geciteerd door
Jaar
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
62021
Proof Logging for Smart Extensional Constraints
MJ McIlree, C McCreesh
29th International Conference on Principles and Practice of Constraint …, 2023
32023
Proof logging for the circuit constraint
MJ McIlree, C Mccreesh, J Nordström
22024
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
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–7