Conditioning in first-order knowledge compilation and lifted probabilistic inference
Markov logic networks