On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference

Probabilistic logics are receiving a lot of attention today because of their expressive power for knowledge representation and learning. However, this expressivity is detrimental to the tractability o