Reasoning with Bayesian Networks