Probabilistic theorem proving. (2011)

by Vibhav Gogate, Pedro Domingos
Venue:In UAI,