Typed meta−interpretive learning for proof strategies
Colin Farquhar‚ Gudmund Grov‚ Andrew Cropper‚ Stephen Muggleton and Alan Bundy
Book Title
Late Breaking Papers of the 25th International Conference on Inductive Logic Programming‚ Kyoto University‚ Kyoto‚ Japan‚ August 20th to 22nd‚ 2015.
Editor
Katsumi Inoue and Hayato Ohwada and Akihiro Yamamoto
Pages
17–32
Publisher
CEUR−WS.org
Series
CEUR Workshop Proceedings
Volume
1636
Year
2015