Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen Muggleton, Alan Bundy. Typed meta-interpretive learning for proof strategies. In Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto, editors, Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, Kyoto University, Kyoto, Japan, August 20th to 22nd, 2015. Volume 1636 of CEUR Workshop Proceedings, pages 17-32, CEUR-WS.org, 2015. [doi]
Abstract is missing.