Closed-Form Solutions in Learning Probabilistic Logic Programs by Exact Score Maximization
Inference and learning in probabilistic logic programs using weighted Boolean formulas