Typed meta-interpretive learning for proof strategies - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Colin Farquhar' in GoogleThis author has not been identified. It may be one of the following persons:

Gudmund Grov

Look up 'Gudmund Grov' in GoogleThis author has not been identified. Look up 'Andrew Cropper' in GoogleThis author has not been identified. Look up 'Stephen Muggleton' in GoogleThis author has not been identified. Look up 'Alan Bundy' in Google

runs on WebDSL