Semantics and Inference for Recursive Probability ModelsSPOOK: A system for probabilistic object-oriented knowledge representation
