An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming
Inference in Probabilistic Logic Programs using Weighted CNF's