Temporal Representation and Reasoning