The Logical Approach to Temporal Reasoning

Juan Carlos Augusto. The Logical Approach to Temporal Reasoning. Artif. Intell. Rev., 16(4):301-333, 2001.

Abstract

Abstract is missing.