First-Order Bayesian Logic
MEBN: A Logic for Open-World Probabilistic Reasoning