Probabilistic inference in hybrid domains by weighted model integration
Lifted Probabilistic Inference by First-Order Knowledge Compilation