Reasoning about Reasoning by Nested Conditioning: Modeling Theory of Mind with Probabilistic Programs
IBAL: A Probabilistic Rational Programming Language