Probabilistic Theorem Proving.

Vibhav Gogate, Pedro M. Domingos

Browse the full UAI paper archive.