Typed meta-interpretive learning of logic programs (European Conference on Logics in Artificial Intelligence, 2019)

(untitled) - Ong, C; Morel, R; Cropper, A