Lifted First-Order Probabilistic Inference
SPOOK: A System for Probabilistic Object-Oriented Knowledge Representation