Παρακολούθηση
Colin Farquhar
Colin Farquhar
PhD Student, Heriot-Watt University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα hw.ac.uk
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Typed meta-interpretive learning for proof strategies
C Farquhar, G Grov, A Cropper, S Muggleton, A Bundy
Late-breaking papers proceedings of ILP 2015 (LBP-ILP 2015), 1-16, 2016
112016
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–4