Підписатись
Matthew J. McIlree
Matthew J. McIlree
PhD Student, University of Glasgow
Підтверджена електронна адреса в research.gla.ac.uk
Назва
Посилання
Посилання
Рік
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
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–7