Formal Aspects of Computing · 1997 · 146 citations · 34 references
HumanitiesMathematicsFormal MethodsDuration AnalysisTemporal Knowledge RepresentationTemporal LogicTemporalityInterval Temporal Logic
Abstract The Duration Calculus (abbreviated DC) represents a logical approach for formal design of real-time systems, where real numbers are used to model time and Boolean valued functions over time are used to model states and events of real-time systems. Since its introduction, DC has been applied to many case studies and it has been extended in several directions. The aim of this paper is to provide a thorough presentation of the logic.
34
Maintaining knowledge about temporal intervals
James F. Allen · Communications of the ACM · 1983 · 7.5K citations · Full text
Computation: Finite and Infinite Machines.
D. A. Clarke, Marvin Minsky · American Mathematical Monthly · 1968 · 2.6K citations
Towards a general theory of action and time
James F. Allen · Artificial Intelligence · 1984 · 2.6K citations