Constraint-Based Inference in Probabilistic Logic Programs

Arun Nampally, Timothy Zhang, C. R. Ramakrishnan

Probabilistic Logic Programs (PLPs) generalize traditional logic programs and allow the encoding of models combining logical structure and uncertainty. In PLP, inference is perform…