Colin Farquhar
TitleCited byYear
Typed meta-interpretive learning for proof strategies.
C Farquhar, G Grov, A Cropper, S Muggleton, A Bundy
ILP (Late Breaking Papers), 17-32, 2015
72015
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
The system can't perform the operation now. Try again later.
Articles 1–3