Temporal Reasoning in AI systems