Folgen
Matthew J. McIlree
Matthew J. McIlree
PhD Student, University of Glasgow
Bestätigte E-Mail-Adresse bei research.gla.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
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
22023
Proof Logging for the Circuit Constraint
MJ McIlree, C Mccreesh, J Nordström
12024
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–7