Typed meta-interpretive learning for proof strategies.

Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen H. Muggleton, Alan Bundy

Browse the full ILP paper archive.