Knowledge Compilation and Weighted Model Counting for Inference in Probabilistic Logic Programs

Open in new window