Lifted First-Order Probabilistic Inference
Markov logic networks