Logical Bayesian Networks