Friday, February 24, 2012
3:30 PM
CSB 703
SKIL
Department of Computer Science, University of Rochester
Gogate & Domingos: Probabilistic Theorem Proving (continued)
We'll resume discussion of Gogate & Domingos: 'Probabilistic Theorem Proving', and we'll also spend a little time on one of its references, Chavira & Darwiche: 'On probabilistic inference by weighted model counting'.