Bayesian Logic Programming: Theory and Tool
Inductive Logic Programming: Theory and Methods