1: \begin{thebibliography}{}
2:
3: \bibitem[\protect\citeauthoryear{Agrawal and Srikant}{Agrawal and
4: Srikant}{1995}]{AS95}
5: {\sc Agrawal, R.} {\sc and} {\sc Srikant, R.} 1995.
6: \newblock Mining sequential patterns.
7: \newblock In {\em Proceedings of the International Conference on Data
8: Engineering}. IEEE Computer Society Press, 3--14.
9:
10: \bibitem[\protect\citeauthoryear{Bettini, Brodsky, Jajodia, and Wang}{Bettini
11: et~al\mbox{.}}{1997}]{BBJW97}
12: {\sc Bettini, C.}, {\sc Brodsky, A.}, {\sc Jajodia, S.}, {\sc and} {\sc Wang,
13: X.~S.} 1997.
14: \newblock Logical design for temporal databases with multiple granularities.
15: \newblock {\em {ACM} Transactions on Database Systems\/}~{\em 22,\/}~2,
16: 115--170.
17:
18: \bibitem[\protect\citeauthoryear{Bettini, Jajodia, Lin, and Wang}{Bettini
19: et~al\mbox{.}}{1998}]{BJLW98}
20: {\sc Bettini, C.}, {\sc Jajodia, S.}, {\sc Lin, J.}, {\sc and} {\sc Wang,
21: X.~S.} 1998.
22: \newblock Discovering frequent event patterns with multiple granularities in
23: time sequences.
24: \newblock {\em {IEEE} Transactions on Knowledge and Data Engineering\/}~{\em
25: 10,\/}~2, 222--237.
26:
27: \bibitem[\protect\citeauthoryear{Bettini, Jajodia, and Wang}{Bettini
28: et~al\mbox{.}}{1996a}]{BWJ96a}
29: {\sc Bettini, C.}, {\sc Jajodia, S.}, {\sc and} {\sc Wang, X.} 1996a.
30: \newblock A general framework and reasoning models for time granularity.
31: \newblock In {\em Proceedings of the International Workshop on Temporal
32: Representation and Reasoning}. IEEE Computer Society Press, 104--111.
33:
34: \bibitem[\protect\citeauthoryear{Bettini, Jajodia, and Wang}{Bettini
35: et~al\mbox{.}}{1996b}]{BJW96b}
36: {\sc Bettini, C.}, {\sc Jajodia, S.}, {\sc and} {\sc Wang, X.~S.} 1996b.
37: \newblock Testing complex temporal relationships involving multiple
38: granularities and its application to data mining.
39: \newblock In {\em Proceedings of the {ACM} {SIGACT}-{SIGMOD}-{SIGART} Symposium
40: on Principles of Database Systems}. Vol.~15. ACM Press, 68--78.
41:
42: \bibitem[\protect\citeauthoryear{Blackburn and Bos}{Blackburn and
43: Bos}{2003}]{BB03}
44: {\sc Blackburn, P.} {\sc and} {\sc Bos, J.} 2003.
45: \newblock {\em Representation and Inference for Natural Language}.
46: \newblock Studies in Logic, Language, and Information. CSLI Press.
47: \newblock Forthcoming.
48:
49: \bibitem[\protect\citeauthoryear{Chandra, Segev, and Stonebraker}{Chandra
50: et~al\mbox{.}}{1994}]{CSS93}
51: {\sc Chandra, R.}, {\sc Segev, A.}, {\sc and} {\sc Stonebraker, M.} 1994.
52: \newblock Implementing calendars and temporal rules in next generation
53: databases.
54: \newblock In {\em Proceedings of the International Conference on Data
55: Engineering}. IEEE Computer Society Press, Houston, TX, 264--273.
56:
57: \bibitem[\protect\citeauthoryear{Ciapessoni, Corsetti, Montanari, and
58: San~Pietro}{Ciapessoni et~al\mbox{.}}{1993}]{CCMSP93}
59: {\sc Ciapessoni, E.}, {\sc Corsetti, E.}, {\sc Montanari, A.}, {\sc and} {\sc
60: San~Pietro, P.} 1993.
61: \newblock Embedding time granularity in a logical specification language for
62: synchronous real-time systems.
63: \newblock {\em Science of Computer Programming\/}~{\em 20}, 141--171.
64:
65: \bibitem[\protect\citeauthoryear{Combi, Franceschet, and Peron}{Combi
66: et~al\mbox{.}}{2002}]{CFP02}
67: {\sc Combi, C.}, {\sc Franceschet, M.}, {\sc and} {\sc Peron, A.} 2002.
68: \newblock A logical approach to represent and reason about calendars.
69: \newblock In {\em Proceedings of the International Symposium on Temporal
70: Representation and Reasoning}. IEEE Computer Society Press, 134--140.
71:
72: \bibitem[\protect\citeauthoryear{Combi and Pozzi}{Combi and Pozzi}{2001}]{CP01}
73: {\sc Combi, C.} {\sc and} {\sc Pozzi, G.} 2001.
74: \newblock {A temporal data model managing intervals with different
75: granularities and indeterminacy from natural language sentences}.
76: \newblock {\em The {VLDB} Journal\/}~{\em 9}, 294--311.
77:
78: \bibitem[\protect\citeauthoryear{Corsetti, Crivelli, Mandrioli, Montanari,
79: Morzenti, Pietro, and Ratto}{Corsetti et~al\mbox{.}}{1991}]{CCMMMPR91}
80: {\sc Corsetti, E.}, {\sc Crivelli, E.}, {\sc Mandrioli, D.}, {\sc Montanari,
81: A.}, {\sc Morzenti, A.}, {\sc Pietro, P.~S.}, {\sc and} {\sc Ratto, E.} 1991.
82: \newblock Dealing with different time scales in formal specifications.
83: \newblock In {\em Proceedings of the International Workshop on Software
84: Specification and Design}. IEEE Computer Society Press, 92--101.
85:
86: \bibitem[\protect\citeauthoryear{Corsetti, Montanari, and Ratto}{Corsetti
87: et~al\mbox{.}}{1991}]{CMR91b}
88: {\sc Corsetti, E.}, {\sc Montanari, A.}, {\sc and} {\sc Ratto, E.} 1991.
89: \newblock Dealing with different time granularities in formal specifications of
90: real-time systems.
91: \newblock {\em The Journal of Real-Time Systems\/}~{\em 3}, 191--215.
92:
93: \bibitem[\protect\citeauthoryear{Courcoubetis, Vardi, Wolper, and
94: Yannakakis}{Courcoubetis et~al\mbox{.}}{1991}]{CVWY91}
95: {\sc Courcoubetis, C.}, {\sc Vardi, M.}, {\sc Wolper, P.}, {\sc and} {\sc
96: Yannakakis, M.} 1991.
97: \newblock Memory efficient algorithms for the verification of temporal
98: properties.
99: \newblock In {\em Proceedings of Computer-Aided Verification}. Lecture Notes in
100: Computer Science, vol. 531. Springer, Berlin, Germany, 233--242.
101:
102: \bibitem[\protect\citeauthoryear{Cukierman and Delgrande}{Cukierman and
103: Delgrande}{1998}]{CD98}
104: {\sc Cukierman, D.} {\sc and} {\sc Delgrande, J.} 1998.
105: \newblock Expressing time intervals and repetition within a formalization of
106: calendars.
107: \newblock {\em Computational Intelligence\/}~{\em 14,\/}~4, 563--597.
108:
109: \bibitem[\protect\citeauthoryear{Dam}{Dam}{1994}]{Da94}
110: {\sc Dam, M.} 1994.
111: \newblock {CTL}$^*$ and {ECTL}$^*$ as fragments of the modal $\mu$-calculus.
112: \newblock {\em Theoretical Computer Science\/}~{\em 126}, 77--96.
113:
114: \bibitem[\protect\citeauthoryear{Dreyer, Dittrich, and Schmidt}{Dreyer
115: et~al\mbox{.}}{1994}]{DDS94}
116: {\sc Dreyer, W.}, {\sc Dittrich, A.~K.}, {\sc and} {\sc Schmidt, D.} 1994.
117: \newblock Research perspectives for time series management systems.
118: \newblock {\em {SIGMOD} Record\/}~{\em 23,\/}~1, 10--15.
119:
120: \bibitem[\protect\citeauthoryear{Dyreson and Snodgrass}{Dyreson and
121: Snodgrass}{1995}]{DS95}
122: {\sc Dyreson, C.~E.} {\sc and} {\sc Snodgrass, R.~T.} 1995.
123: \newblock Temporal granularity.
124: \newblock In {\em The {TSQL2} Temporal Query Language}, {R.~T. Snodgrass}, Ed.
125: Kluwer Academic Press, 347--385.
126:
127: \bibitem[\protect\citeauthoryear{Emerson}{Emerson}{1990}]{E90}
128: {\sc Emerson, E.} 1990.
129: \newblock Temporal and modal logic.
130: \newblock In {\em Handbook of Theoretical Computer Science, Vol. B}, {J.~van
131: Leeuwen}, Ed. Elsevier Science Publishers B.V., 995--1072.
132:
133: \bibitem[\protect\citeauthoryear{Euzenat}{Euzenat}{1995}]{E95}
134: {\sc Euzenat, J.} 1995.
135: \newblock An algebraic approach for granularity in qualitative space and time
136: representation.
137: \newblock In {\em Proceedings of the International Joint Conference on
138: Artificial Intelligence}. Morgan Kaufmann, 894--900.
139:
140: \bibitem[\protect\citeauthoryear{Fiadeiro and Maibaum}{Fiadeiro and
141: Maibaum}{1994}]{FiMa94}
142: {\sc Fiadeiro, J.~L.} {\sc and} {\sc Maibaum, T.} 1994.
143: \newblock Sometimes {"}tomorrow{"} is {"}sometime{"}: Action refinement in a
144: temporal logic of objects.
145: \newblock In {\em Proceedings of the International Conference on Temporal
146: Logic}. Lectures Notes on Artificial Intelligence, vol. 827. Springer,
147: 48--66.
148:
149: \bibitem[\protect\citeauthoryear{Finger and Gabbay}{Finger and
150: Gabbay}{1992}]{FG92}
151: {\sc Finger, M.} {\sc and} {\sc Gabbay, D.~M.} 1992.
152: \newblock Adding a temporal dimension to a logic system.
153: \newblock {\em Journal of Logic Language and Information\/}~{\em 1}, 203--233.
154:
155: \bibitem[\protect\citeauthoryear{Foster, Leban, and McDonald}{Foster
156: et~al\mbox{.}}{1986}]{FLM86}
157: {\sc Foster, D.}, {\sc Leban, B.}, {\sc and} {\sc McDonald, D.} 1986.
158: \newblock A representation for collections of temporal intervals.
159: \newblock In {\em Proceedings of the National Conference on Artificial
160: Intelligence}. 367--371.
161:
162: \bibitem[\protect\citeauthoryear{Franceschet}{Franceschet}{2002}]{F01}
163: {\sc Franceschet, M.} 2002.
164: \newblock Dividing and conquering the layered land.
165: \newblock Ph.D. thesis, Department of Mathematics and Computer Science,
166: University of Udine.
167:
168: \bibitem[\protect\citeauthoryear{Franceschet and Montanari}{Franceschet and
169: Montanari}{2001a}]{FM01b}
170: {\sc Franceschet, M.} {\sc and} {\sc Montanari, A.} 2001a.
171: \newblock A combined approach to temporal logics for time granularity.
172: \newblock In {\em Proceedings of the International Workshop on Methods for
173: Modalities (M4M)}.
174:
175: \bibitem[\protect\citeauthoryear{Franceschet and Montanari}{Franceschet and
176: Montanari}{2001b}]{FM01a}
177: {\sc Franceschet, M.} {\sc and} {\sc Montanari, A.} 2001b.
178: \newblock Towards an automata-theoretic counterpart of combined temporal
179: logics.
180: \newblock In {\em Proceedings of the International Workshop on Verification and
181: Computational Logic}. 55--74.
182:
183: \bibitem[\protect\citeauthoryear{Franceschet and Montanari}{Franceschet and
184: Montanari}{2002}]{FM02b}
185: {\sc Franceschet, M.} {\sc and} {\sc Montanari, A.} 2002.
186: \newblock Time granularities in databases, data mining, and temporal reasoning,
187: by {B}ettini, {J}ajodia, and {W}ang (book review).
188: \newblock {\em The Computer Journal\/}~{\em 45,\/}~6, 683--685.
189:
190: \bibitem[\protect\citeauthoryear{Franceschet and Montanari}{Franceschet and
191: Montanari}{2003}]{FM03}
192: {\sc Franceschet, M.} {\sc and} {\sc Montanari, A.} 2003.
193: \newblock Branching within time: an expressively complete and elementarily
194: decidable temporal logic for time granularity.
195: \newblock {\em Research on Language and Computation\/}~{\em 1,\/}~3-4,
196: 229--263.
197:
198: \bibitem[\protect\citeauthoryear{Franceschet, Montanari, and
199: de~Rijke}{Franceschet et~al\mbox{.}}{2000}]{FMdeR00}
200: {\sc Franceschet, M.}, {\sc Montanari, A.}, {\sc and} {\sc de~Rijke, M.} 2000.
201: \newblock Model checking for combined logics.
202: \newblock In {\em Proceedings of the International Conference on Temporal
203: Logic}. 65--73.
204:
205: \bibitem[\protect\citeauthoryear{Fum, Guida, Montanari, and Tasso}{Fum
206: et~al\mbox{.}}{1989}]{FGMT89}
207: {\sc Fum, D.}, {\sc Guida, G.}, {\sc Montanari, A.}, {\sc and} {\sc Tasso, C.}
208: 1989.
209: \newblock Using levels and viewpoints in text representation.
210: \newblock In {\em Proceedings of the International Conference on Artificial
211: Intelligence and Information-Control Systems of Robots}. 37--44.
212:
213: \bibitem[\protect\citeauthoryear{Gabbay, Kurucz, Wolter, and
214: Zakharyaschev}{Gabbay et~al\mbox{.}}{2003}]{GKWZ03}
215: {\sc Gabbay, D.}, {\sc Kurucz, A.}, {\sc Wolter, F.}, {\sc and} {\sc
216: Zakharyaschev, M.} 2003.
217: \newblock {\em Many-dimensional modal logics: theory and applications}. Studies
218: in Logic and the Foundations of Mathematics, vol. 148.
219: \newblock Elsevier.
220:
221: \bibitem[\protect\citeauthoryear{Gabbay and de~Rijke}{Gabbay and
222: de~Rijke}{2000}]{GdR00}
223: {\sc Gabbay, D.~M.} {\sc and} {\sc de~Rijke, M.}, Eds. 2000.
224: \newblock {\em Frontiers of Combining Systems 2}. Studies in Logic and
225: Computation, vol.~7.
226: \newblock Research Studies Press/Wiley.
227:
228: \bibitem[\protect\citeauthoryear{Hafer and Thomas}{Hafer and
229: Thomas}{1987}]{HT87}
230: {\sc Hafer, T.} {\sc and} {\sc Thomas, W.} 1987.
231: \newblock Computation tree logic {CTL*} and path quantifiers in the monadic
232: theory of the binary tree.
233: \newblock In {\em Proceedings of the International Colloquium on Automata,
234: Languages and Programming}. Lecture Notes in Computer Science, vol. 267.
235: Springer, Karlsruhe, Germany, 269--279.
236:
237: \bibitem[\protect\citeauthoryear{Halpern and Shoham}{Halpern and
238: Shoham}{1991}]{HS91}
239: {\sc Halpern, J.~Y.} {\sc and} {\sc Shoham, Y.} 1991.
240: \newblock A propositional modal logic of time intervals.
241: \newblock {\em Journal of the {ACM}\/}~{\em 38,\/}~4, 935--962.
242:
243: \bibitem[\protect\citeauthoryear{Immerman and Kozen}{Immerman and
244: Kozen}{1989}]{IK89}
245: {\sc Immerman, N.} {\sc and} {\sc Kozen, D.} 1989.
246: \newblock Definability with bounded number of bound variables.
247: \newblock {\em Information and Computation\/}~{\em 83,\/}~2, 121--139.
248:
249: \bibitem[\protect\citeauthoryear{Jajodia, Litwin, and Wiederhold}{Jajodia
250: et~al\mbox{.}}{1993}]{JLW93}
251: {\sc Jajodia, S.}, {\sc Litwin, W.}, {\sc and} {\sc Wiederhold, G.} 1993.
252: \newblock Integrating temporal data in a heterogeneous environment.
253: \newblock In {\em Temporal Databases: Theory, Design and Implementation}, {{A.
254: Tansel et al.}}, Ed. Database Systems and Applications Series,
255: Benjamin/Cummings Pub. Co., Redwood City, CA, 563--579.
256:
257: \bibitem[\protect\citeauthoryear{Jajodia, Subrahmanian, and Wang}{Jajodia
258: et~al\mbox{.}}{1995}]{JSW95}
259: {\sc Jajodia, S.}, {\sc Subrahmanian, V.~S.}, {\sc and} {\sc Wang, X.~S.} 1995.
260: \newblock Temporal modules: An approach toward federated temporal databases.
261: \newblock {\em Information Sciences\/}~{\em 82}, 103--128.
262:
263: \bibitem[\protect\citeauthoryear{Jard and Jeron}{Jard and Jeron}{1989}]{JJ89}
264: {\sc Jard, C.} {\sc and} {\sc Jeron, T.} 1989.
265: \newblock On-line model checking for finite linear temporal logic
266: specifications.
267: \newblock In {\em Proceedings of the Workshop on Automatic Verification Methods
268: for Finite State Systems}. Lecture Notes in Computer Science, vol. 407.
269: Springer, 189--196.
270:
271: \bibitem[\protect\citeauthoryear{Kamp and Schiehlen}{Kamp and
272: Schiehlen}{2001}]{KS01}
273: {\sc Kamp, H.} {\sc and} {\sc Schiehlen, M.} 2001.
274: \newblock Temporal location in natural language.
275: \newblock In {\em How to say when it happens}, {H.~Kamp} {and} {U.~Reyle}, Eds.
276: Max Niemeyer Verlag.
277:
278: \bibitem[\protect\citeauthoryear{Kupferman, Vardi, and Wolper}{Kupferman
279: et~al\mbox{.}}{2000}]{KVW00}
280: {\sc Kupferman, O.}, {\sc Vardi, M.~Y.}, {\sc and} {\sc Wolper, P.} 2000.
281: \newblock An automata-theoretic approach to branching-time model checking.
282: \newblock {\em Journal of the ACM\/}~{\em 47,\/}~2, 312--360.
283:
284: \bibitem[\protect\citeauthoryear{Ladkin}{Ladkin}{1987}]{L87}
285: {\sc Ladkin, P.} 1987.
286: \newblock The completeness of a natural system for reasoning with time
287: intervals.
288: \newblock In {\em Proceedings of the International Joint Conference on
289: Artificial Intelligence}. Morgan Kaufmann, 462--467.
290:
291: \bibitem[\protect\citeauthoryear{Lamport}{Lamport}{1985}]{Lam85}
292: {\sc Lamport, L.} 1985.
293: \newblock On interprocess communication.
294: \newblock Tech. Rep.~8, SRC, Palo Alto, CA.
295:
296: \bibitem[\protect\citeauthoryear{Mannila, Toivonen, and Verkamo}{Mannila
297: et~al\mbox{.}}{1995}]{MTV95}
298: {\sc Mannila, H.}, {\sc Toivonen, H.}, {\sc and} {\sc Verkamo, A.~I.} 1995.
299: \newblock {Discovering Frequent Episodes in Sequences}.
300: \newblock In {\em Proceedings of the International Conference on Knowledge
301: Discovery and Data Mining}. AAAI Press, Montreal, Canada.
302:
303: \bibitem[\protect\citeauthoryear{Montanari}{Montanari}{1996}]{M96}
304: {\sc Montanari, A.} 1996.
305: \newblock {\em Metric and Layered Temporal Logic for Time Granularity}.
306: \newblock ILLC Dissertation Series 1996-02, ILLC, University of Amsterdam, The
307: Netherlands.
308:
309: \bibitem[\protect\citeauthoryear{Montanari, Maim, Ciapessoni, and
310: Ratto}{Montanari et~al\mbox{.}}{1992}]{MMCR92}
311: {\sc Montanari, A.}, {\sc Maim, E.}, {\sc Ciapessoni, E.}, {\sc and} {\sc
312: Ratto, E.} 1992.
313: \newblock Dealing with time granularity in the event calculus.
314: \newblock In {\em Proceedings of the International Conference on fifth
315: Generation Computer Systems}. 702--712.
316:
317: \bibitem[\protect\citeauthoryear{Montanari and Pernici}{Montanari and
318: Pernici}{1993}]{MP93}
319: {\sc Montanari, A.} {\sc and} {\sc Pernici, B.} 1993.
320: \newblock Temporal reasoning.
321: \newblock In {\em Temporal Databases}, {{A. Tansel et al.}}, Ed. Database
322: Systems and Applications Series. Benjamin/Cummings Pub. Co., Redwood City,
323: CA, 534--562.
324:
325: \bibitem[\protect\citeauthoryear{Montanari, Peron, and Policriti}{Montanari
326: et~al\mbox{.}}{1999}]{MPP99}
327: {\sc Montanari, A.}, {\sc Peron, A.}, {\sc and} {\sc Policriti, A.} 1999.
328: \newblock Decidable theories of $\omega$-layered metric temporal structures.
329: \newblock {\em Logic Journal of the {IGPL}\/}~{\em 7,\/}~1, 79--102.
330:
331: \bibitem[\protect\citeauthoryear{Montanari, Peron, and Policriti}{Montanari
332: et~al\mbox{.}}{2000}]{MPP00}
333: {\sc Montanari, A.}, {\sc Peron, A.}, {\sc and} {\sc Policriti, A.} 2000.
334: \newblock The taming (timing) of the states.
335: \newblock {\em Logic Journal of the {IGPL}\/}~{\em 8,\/}~5, 681--699.
336:
337: \bibitem[\protect\citeauthoryear{Montanari, Peron, and Policriti}{Montanari
338: et~al\mbox{.}}{2002}]{MPP02}
339: {\sc Montanari, A.}, {\sc Peron, A.}, {\sc and} {\sc Policriti, A.} 2002.
340: \newblock Extending {K}amp's theorem to model time granularity.
341: \newblock {\em Journal of Logic and Computation\/}~{\em 12}, 641--677.
342:
343: \bibitem[\protect\citeauthoryear{Montanari and Policriti}{Montanari and
344: Policriti}{1996}]{MP96}
345: {\sc Montanari, A.} {\sc and} {\sc Policriti, A.} 1996.
346: \newblock Decidability results for metric and layered temporal logics.
347: \newblock {\em Notre Dame Journal of Formal Logic\/}~{\em 37}, 260--282.
348:
349: \bibitem[\protect\citeauthoryear{Montanari, Sciavicco, and
350: Vitacolonna}{Montanari et~al\mbox{.}}{2002}]{MSV02}
351: {\sc Montanari, A.}, {\sc Sciavicco, G.}, {\sc and} {\sc Vitacolonna, N.} 2002.
352: \newblock Decidability of interval temporal logics over split-frames via
353: granularity.
354: \newblock In {\em Proceedings of the European Conference on Logic in Artificial
355: Intelligence}. Lectures Notes on Artificial Intelligence, vol. 2424.
356: Springer, Berlin, 259--270.
357:
358: \bibitem[\protect\citeauthoryear{Moszkowski}{Moszkowski}{1983}]{M83}
359: {\sc Moszkowski, B.} 1983.
360: \newblock Reasoning about digital circuits.
361: \newblock Ph.D. thesis, Department of Computer Science, University of Stanford.
362:
363: \bibitem[\protect\citeauthoryear{Mota and Robertson}{Mota and
364: Robertson}{1996}]{MR96}
365: {\sc Mota, E.} {\sc and} {\sc Robertson, D.} 1996.
366: \newblock Representing interaction of agents at different time granularities.
367: \newblock In {\em Proceedings of the International Workshop on Temporal
368: Representation and Reasoning}. IEEE Computer Society Press, 72--79.
369:
370: \bibitem[\protect\citeauthoryear{Niezette and Stevenne}{Niezette and
371: Stevenne}{1993}]{NS93}
372: {\sc Niezette, M.} {\sc and} {\sc Stevenne, J.} 1993.
373: \newblock An efficient symbolic representation of periodic time.
374: \newblock In {\em Proceeding of the International Conference on Information and
375: Knowledge Management}. Lecture Notes in Computer Science, vol. 752. Springer,
376: 161--168.
377:
378: \bibitem[\protect\citeauthoryear{Ning, Jajodia, and Wang}{Ning
379: et~al\mbox{.}}{2002}]{NJW02}
380: {\sc Ning, P.}, {\sc Jajodia, S.}, {\sc and} {\sc Wang, X.~S.} 2002.
381: \newblock An algebraic representation of calendars.
382: \newblock {\em Annals of Mathematics and Artificial Intelligence\/}~{\em 36},
383: 5--38.
384:
385: \bibitem[\protect\citeauthoryear{Poesio and Brachman}{Poesio and
386: Brachman}{1991}]{PB91}
387: {\sc Poesio, M.} {\sc and} {\sc Brachman, R.~J.} 1991.
388: \newblock Metric constraints for maintaining appointments: Dates and repeated
389: activities.
390: \newblock In {\em Proceedings of the National Conference on Artificial
391: Intelligence}. MIT Press, 253--259.
392:
393: \bibitem[\protect\citeauthoryear{Segev and Chandra}{Segev and
394: Chandra}{1993}]{SC93}
395: {\sc Segev, A.} {\sc and} {\sc Chandra, R.} 1993.
396: \newblock A data model for time-series analysis.
397: \newblock In Advanced Database Systems. {\em Lecture Notes in Computer
398: Science\/}~{\em 759}, 191--212.
399:
400: \bibitem[\protect\citeauthoryear{Shahar}{Shahar}{1996}]{S96}
401: {\sc Shahar, Y.} 1996.
402: \newblock Dynamic temporal interpretation contexts for temporal abstraction.
403: \newblock In {\em Proceedings of the International Workshop on Temporal
404: Representation and Reasoning}. IEEE Computer Society Press, 64--71.
405:
406: \bibitem[\protect\citeauthoryear{Thomas}{Thomas}{1990}]{T90}
407: {\sc Thomas, W.} 1990.
408: \newblock Automata on infinite objects.
409: \newblock In {\em Handbook of Theoretical Computer Science, Vol. B}, {J.~van
410: Leeuwen}, Ed. Elsevier Science Publishers, 133--191.
411:
412: \bibitem[\protect\citeauthoryear{Vardi and Wolper}{Vardi and
413: Wolper}{1986}]{VW86}
414: {\sc Vardi, M.~Y.} {\sc and} {\sc Wolper, P.} 1986.
415: \newblock An automata-theoretic approach to automatic program verification.
416: \newblock In {\em Proceedings of the Symposium on Logic in Computer Science}.
417: IEEE Computer Society Press, Washington, D.C., USA, 332--345.
418:
419: \bibitem[\protect\citeauthoryear{Vardi and Wolper}{Vardi and
420: Wolper}{1994}]{VW94}
421: {\sc Vardi, M.~Y.} {\sc and} {\sc Wolper, P.} 1994.
422: \newblock Reasoning about infinite computations.
423: \newblock {\em Information and Computation\/}~{\em 115,\/}~1, 1--37.
424:
425: \bibitem[\protect\citeauthoryear{Venema}{Venema}{1991}]{V91}
426: {\sc Venema, Y.} 1991.
427: \newblock A modal logic for chopping intervals.
428: \newblock {\em Journal of Logic and Computation\/}~{\em 1,\/}~4, 453--476.
429:
430: \bibitem[\protect\citeauthoryear{Wijsen}{Wijsen}{1998}]{Wi98}
431: {\sc Wijsen, J.} 1998.
432: \newblock Reasoning about qualitative trends in databases.
433: \newblock {\em Information Systems\/}~{\em 23,\/}~7, 469--493.
434:
435: \bibitem[\protect\citeauthoryear{Wijsen}{Wijsen}{1999}]{W99}
436: {\sc Wijsen, J.} 1999.
437: \newblock Temporal {FDs} on complex objects.
438: \newblock {\em {ACM} Transactions on Database Systems\/}~{\em 24,\/}~1,
439: 127--176.
440:
441: \bibitem[\protect\citeauthoryear{Wolper}{Wolper}{1983}]{W83}
442: {\sc Wolper, P.} 1983.
443: \newblock Temporal logic can be more expressive.
444: \newblock {\em Information and Control\/}~{\em 56,\/}~1/2, 72--99.
445:
446: \bibitem[\protect\citeauthoryear{Zhou and Hansen}{Zhou and Hansen}{1998}]{CH98}
447: {\sc Zhou, C.} {\sc and} {\sc Hansen, M.~R.} 1998.
448: \newblock An adequate first order interval logic.
449: \newblock In {\em Compositionality: the Significant Difference}, {W.~{de
450: Roever}}, {H.~Langmaak}, {and} {A.~Pnueli}, Eds. Lecture Notes in Computer
451: Science, vol. 1536. 584--608.
452:
453: \end{thebibliography}
454: