Obserwuj
Colin Farquhar
Tytuł
Cytowane przez
Cytowane przez
Rok
Typed meta-interpretive learning for proof strategies.
C Farquhar, G Grov, A Cropper, SH Muggleton, A Bundy
ILP (Late Breaking Papers), 17-32, 2015
112015
Tinkering by Theory Formation⇤
G Grov, C Farquhar, A Pease, S Colton
Proceedings of the AIFM workshop, 2014
12014
Structured proofs from a graphical proof strategy language
C Farquhar, G Grov
1
Meta-interpretive learning of proof strategies
CI Farquhar
Heriot-Watt University, 2022
2022
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–4