Spatio-Termporal Reasoning About Agent Behavior