MEBN: A Logic for Open-World Probabilistic Reasoning
IBAL: A Probabilistic Rational Programming Language