Technical Perspective: Combining logic and probability


models that satisfy a formula. The former can be used to perform Maximum a Posteriori (MAP) inference , and the latter, called " weighted model counting, " to perform marginal inference or to compute the parti tion function. PTP provides the final step in unifying probabilistic, propositional, and first-order inference. PTP lifts a weighted version of DPLL… (More)
DOI: 10.1145/2936724