Taisuke Sato Yoshitaka Kameya Kenichi Kurihara Variational Bayes via propositionalized probability computation in PRISM. 135-158 2008 54 Ann. Math. Artif. Intell. 1-3 http://dx.doi.org/10.1007/s10472-009-9135-8 db/journals/amai/amai54.html#SatoKK08