Temporal Reasoning About Uncertain Worlds | Read Paper on Bytez