Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting (Special Topic on Inductive Programming)
Luc De Raedt and Andrea Passerini and Paolo Frasconi