Bayesian inductive logic by J.W. Romeyn