Probabilistic theorem proving

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

Possibly Related Publications

The following publications are possibly variants of this publication: