First-Order Bayesian Logic
Probabilistic Logic Learning