Anytime Exact Belief Propagation

Gabriel Azevedo Ferreira, Quentin Bertrand, Charles Maussion +1

Statistical Relational Models and, more recently, Probabilistic Programming, have been making strides towards an integration of logic and probabilistic reasoning. A natural expecta…