Sledovat
Matthew J. McIlree
Matthew J. McIlree
PhD Student, University of Glasgow
E-mailová adresa ověřena na: research.gla.ac.uk
Název
Citace
Citace
Rok
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–7