Probabilistic sentential decision diagrams: Learning with massive logical constraints
Inference in Probabilistic Logic Programs using Weighted CNF's