Title :
A general framework and reasoning models for time granularity
Author :
Bettini, Claudio ; Wang, X. Sean ; Jajodia, Sushil
Author_Institution :
Dept. of Inf. Sci., Milan Univ., Italy
Abstract :
This paper presents a general framework to define time granularity systems. We identify the main choices differentiating the systems and investigate the formal relationships among granularities in these systems. The paper also introduces the notion of a network of temporal constraints with granularities emphasizing the semantical and computational differences from constraint networks with a single granularity. Consistency is shown to be NP-hard and an approximate algorithm proposed
Keywords :
constraint handling; temporal logic; temporal reasoning; NP-hard; general framework; reasoning models; temporal constraints; time granularity; Acoustic propagation; Calendars; Clocks; Computer networks; Data conversion; Humans; Information science; Software systems;
Conference_Titel :
Temporal Representation and Reasoning, 1996. (TIME '96), Proceedings., Third International Workshop on
Conference_Location :
Key West, FL
Print_ISBN :
0-8186-7528-4
DOI :
10.1109/TIME.1996.555688