{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T04:40:00Z","timestamp":1752381600943,"version":"3.41.2"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[1998,6]]},"DOI":"10.1023\/a:1009725727148","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T17:50:41Z","timestamp":1040579441000},"page":"191-202","source":"Crossref","is-referenced-by-count":1,"title":["Using Constraint Propagation to Reason about Unsynchronized Clocks"],"prefix":"10.1007","volume":"3","author":[{"given":"Rita V.","family":"Rodriguez","sequence":"first","affiliation":[]},{"given":"Frank D.","family":"Anger","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"163068_CR1","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J. Allen","year":"1984","unstructured":"J. Allen. (1984). Towards a general theory of action and time. Artificial Intelligence 23: 123\u2013154.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"163068_CR2","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1145\/65979.65982","volume":"11","author":"F. Anger","year":"1989","unstructured":"F. Anger. (1989). On Lamport's interprocessor communication model. ACM Trans. on Prog. Lang. and Systems 11(3): 404\u2013417.","journal-title":"ACM Trans. on Prog. Lang. and Systems"},{"key":"163068_CR3","doi-asserted-by":"crossref","unstructured":"F. Anger, P. Ladkin, & R. Rodriguez. (1991). Atomic temporal interval relations in branching time: Calculation and application. Applications of Artificial Intelligence IX, SPIE, Orlando, pages 122\u2013136.","DOI":"10.1117\/12.45459"},{"key":"163068_CR4","first-page":"286","volume-title":"Lecture Notes in Computer Science","author":"F. Anger","year":"1991","unstructured":"F. Anger & R. Rodriguez. (1991). Time, tense, and relativitiy revisited. In B. Bouchon-Meunier, R. Yager, and L. Zadeh (eds.), Lecture Notes in Computer Science, Springer-Verlag, NY, pages 286\u2013295."},{"key":"163068_CR5","unstructured":"F. Anger & R. Rodriguez. (1993). The lattice structure of temporal interval relations. Notes of the IJCAI-93 Workshop in Spatial and Temporal Reasoning, Chambery, France, pages 71\u201386. Also to appear in Journal of Applied Intelligence."},{"issue":"3","key":"163068_CR6","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1016\/0004-3702(88)90087-2","volume":"36","author":"T. Dean","year":"1988","unstructured":"T. Dean & M. Bobby. (1988). Reasoning about partially ordered events. Artificial Intelligence 36(3): 375\u2013399.","journal-title":"Artificial Intelligence"},{"key":"163068_CR7","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/BFb0013022","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"E. Emerson","year":"1989","unstructured":"E. Emerson & J. Srinivasan. (1989). Branching time temporal logic. In J. de Bakker, W.-P. de Roever, G. Rozenberg (eds.), Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Springer-Verlag, New York, pages 123\u2013172."},{"key":"163068_CR8","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0004-3702(92)90090-K","volume":"54","author":"C. Freksa","year":"1992","unstructured":"C. Freksa. (1992). Temporal reasoning based on semi-intervals. Artificial Intelligence 54: 199\u2013227.","journal-title":"Artificial Intelligence"},{"key":"163068_CR9","series-title":"Technical Report","volume-title":"Spatial reasoning based on Allen's temporal logic","author":"H. Guesgen","year":"1989","unstructured":"H. Guesgen. (1989). Spatial reasoning based on Allen's temporal logic. Technical Report ICSI TR\u201389\u2013049, International Computer Science Institute, Berkeley, CA."},{"key":"163068_CR10","unstructured":"P. Ladkin, & R. Maddux. (1988). Representation and reasoning with convex time intervals. Kestrel Institute Technical Report KES.U.88.2, Palo Alto, CA."},{"key":"163068_CR11","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0004-3702(92)90106-8","volume":"57","author":"P. Ladkin","year":"1992","unstructured":"P. Ladkin & A. Reinefeld. (1992). Effective solution of qualitative interval constraint problems. Artificial Intelligence 57: 105\u2013124.","journal-title":"Artificial Intelligence"},{"issue":"7","key":"163068_CR12","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. Lamport. (1978). Time, clocks and the ordering of events in a distributed system. Comm. of ACM 21(7): 558\u2013565.","journal-title":"Comm. of ACM"},{"key":"163068_CR13","unstructured":"G. Ligozat. (1991). On generalized interval calculi. Proceedings of the Ninth National Conference on Artificial Intelligence, Anaheim, CA, pages 234\u2013240."},{"key":"163068_CR14","first-page":"101","volume":"6","author":"D. McDermott","year":"1982","unstructured":"D. McDermott. (1982). A temporal logic for reasoning about processes and plans. Cognitive Science 6: 101\u2013155.","journal-title":"Cognitive Science"},{"key":"163068_CR15","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1002\/int.4550060302","volume":"6","author":"R. Rodriguez","year":"1991","unstructured":"R. Rodriguez, F. Anger & K. Ford. (1991). Temporal reasoning: A relativistic model. International Journal of Intelligent Systems 6: 237\u2013254.","journal-title":"International Journal of Intelligent Systems"},{"issue":"1","key":"163068_CR16","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BF00871721","volume":"3","author":"R. Rodriguez","year":"1993","unstructured":"R. Rodriguez. (1993). A relativistic temporal algebra for efficient design of distributed systems. Applied Intelligence Journal 3(1): 31\u201345.","journal-title":"Applied Intelligence Journal"},{"key":"163068_CR17","first-page":"139","volume-title":"Lecture Notes in Computer Science: Advanced Methods in Artificial Intelligence","author":"R. Rodriguez","year":"1993","unstructured":"R. Rodriguez & F. Anger. (1993) An snalysis of the temporal relations of intervals in relativistic space-time. In B. Bouchon-Meunier, L. Valverde, and R. Yager (eds.), Lecture Notes in Computer Science: Advanced Methods in Artificial Intelligence, Springer-Verlag, Berlin, pages 139\u2013148."},{"key":"163068_CR18","unstructured":"P. van Beek. (1989). Approximation algorithms for temporal reasoning. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, pages 1291\u20131296."}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009725727148.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009725727148\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009725727148.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T03:58:56Z","timestamp":1752379136000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009725727148"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,6]]},"references-count":18,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1998,6]]}},"alternative-id":["163068"],"URL":"https:\/\/doi.org\/10.1023\/a:1009725727148","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[1998,6]]}}}