Construction of a Bayesian network as an extension of propositional logic | IEEE Conference Publication | IEEE Xplore