Probabilistic theorem proving

Vibhav Gogate, Pedro M. Domingos. Probabilistic theorem proving. Communications of the ACM, 59(7):107-115, 2016. [doi]

Abstract

Abstract is missing.