Inference and Learning in Probabilistic Logic Programs Using Weighted Boolean Formulas

Theory and Practice of Logic Programming - United Kingdom
doi 10.1017/s1471068414000076