Inference in Probabilistic Logic Programs using Weighted CNF's
Modeling and Reasoning with Bayesian Networks