Lifted First-Order Probabilistic Inference
First-Order Bayesian Logic