Modeling Probabilistic Worlds Notes and worked examples The notes are published in a human-readable format here.