A Strong Correspondance Between Bayesian Networks and Linear Logic Proof-Nets
arxiv.org