Inference in Probabilistic Logic Programs using Weighted CNF's

Open in new window