Reasoning about Reasoning by Nested Conditioning: Modeling Theory of Mind with Probabilistic Programs
Church: a language for generative models