Managing Tasks Using an Interval-Based Temporal Logic

Subrata Kumar Das, Peter Hammond. Managing Tasks Using an Interval-Based Temporal Logic. Appl. Intell., 6(4):311-323, 1996.

Abstract

Abstract is missing.