{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:21:33Z","timestamp":1758273693465},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[1996,1]]},"DOI":"10.1007\/bf00117599","type":"journal-article","created":{"date-parts":[[2004,10,30]],"date-time":"2004-10-30T22:57:27Z","timestamp":1099177047000},"page":"29-38","source":"Crossref","is-referenced-by-count":2,"title":["Lattice structure of temporal interval relations"],"prefix":"10.1007","volume":"6","author":[{"given":"Frank D.","family":"Anger","sequence":"first","affiliation":[]},{"given":"Rita V.","family":"Rodr\ufffdguez","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"no. 11","key":"CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. Allen","year":"1983","unstructured":"J. Allen, ?Maintaining knowledge about temporal intervals,? Comm. of ACM, vol. 26, no. 11, pp. 832?843, 1983.","journal-title":"Comm. of ACM"},{"key":"CR2","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, ?Towards a general theory of action and time,? Artificial Intelligence, vol. 23, pp. 123?154, 1984.","journal-title":"Artificial Intelligence"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"F. Anger, P. Ladkin, and R. Rodriguez, ?Atomic temporal interval relations in branching time: Calculation and application,? Applications of Artificial Intelligence IX, SPIE, Orlando, April 1991, pp. 122?136.","DOI":"10.1117\/12.45459"},{"key":"CR4","unstructured":"F. Anger and R. Rodriguez, ?F-complexes: A set theoretic approach to temporal modeling,? IEA\/AIE-91: Proceedings of the Fourth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Hawaii, June 1991, pp. 609?617."},{"key":"CR5","first-page":"286","volume-title":"Lecture Notes in Computer Science","author":"F. Anger","year":"1991","unstructured":"F. Anger and R. Rodriguez, ?Time, tense, and relativity revisited,? in Lecture Notes in Computer Science, edited by B. Bouchon-Meunier, R. Yager, and L. Zadeh, Springer-Verlag: NY, pp. 286?295, 1991."},{"issue":"no. 3","key":"CR6","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1145\/65979.65982","volume":"11","author":"F. Anger","year":"1989","unstructured":"F. Anger, ?On lamport's interprocessor communication model,? ACM Trans. on Prog. Lang. and Systems, vol. 11, no. 3, pp. 404?417, July 1989.","journal-title":"ACM Trans. on Prog. Lang. and Systems"},{"issue":"no. 1","key":"CR7","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF00871719","volume":"3","author":"F. Anger","year":"1993","unstructured":"F. Anger and E. Clarke, ?New and used temporal models: An issue of time,? Applied Intelligence Journal, vol. 3, no. 1, pp. 5?15, March 1993.","journal-title":"Applied Intelligence Journal"},{"key":"CR8","series-title":"Technical Report CS-TR-93-001","volume-title":"Determining the greatest lower bound of schedules for tasks constrained by temporal interval relations","author":"F. Anger","year":"1993","unstructured":"F. Anger, J. Allen, and R. Rodriguez, ?Determining the greatest lower bound of schedules for tasks constrained by temporal interval relations,? Computer Science Department, University of West Florida, Pensacola FL, Technical Report CS-TR-93?001, January 1993."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"P. van Beek, ?Exact and approximate reasoning about qualitative temporal relations,? Ph.D. Thesis, University of Alberta, 1990.","DOI":"10.1111\/j.1467-8640.1990.tb00130.x"},{"key":"CR10","first-page":"1","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"J. Benthem van","year":"1989","unstructured":"J.van Benthem, ?Time, logic and computation,? in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, edited by J.de Bakker, W.-P.de Roever, and G. Rozenberg, Springer-Verlag: NY, pp. 1?49, 1989."},{"key":"CR11","volume-title":"Logic and Reality: Essays in Pure and Applied Logic, In Memory of Arthur Prior","author":"J. Benthem van","year":"1995","unstructured":"J.van Benthem, ?Modal logic as a theory of information,? in Logic and Reality: Essays in Pure and Applied Logic, In Memory of Arthur Prior, edited by J. Copeland, Oxford University Press: Oxford, 1995."},{"key":"CR12","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, ?Temporal reasoning based on semi-intervals,? Artificial Intelligence, vol. 54, pp. 199?227, 1992.","journal-title":"Artificial Intelligence"},{"key":"CR13","series-title":"Technical Report ICSI TR-89-049","volume-title":"Spatial reasoning based on Allen's temporal logic","author":"H. Guesgen","year":"1989","unstructured":"H. Guesgen, ?Spatial reasoning based on Allen's temporal logic,? International Computer Science Institute, Berkeley, CA, Technical Report ICSI TR-89?049, 1989."},{"issue":"no. 6?9","key":"CR14","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1016\/0898-1221(92)90117-Z","volume":"23","author":"R. Hartley","year":"1992","unstructured":"R. Hartley, ?A uniform representation for time and space and their mutual constraints,? Computers Math. Applic., vol. 23, no. 6?9, pp. 441?457, 1992.","journal-title":"Computers Math. Applic."},{"issue":"no. 1","key":"CR15","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF00871722","volume":"3","author":"S. Keretho","year":"1993","unstructured":"S. Keretho and R. Loganantharaj, ?Reasoning about networks of temporal relations and its application to problem solving,? Applied Intelligence Journal, vol. 3, no. 1, pp. 45?57, 1993.","journal-title":"Applied Intelligence Journal"},{"key":"CR16","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 and A. Reinefeld, ?Effective solution of qualitative interval constraint problems,? Artificial Intelligence, vol. 57, pp. 105?124, 1992.","journal-title":"Artificial Intelligence"},{"key":"CR17","series-title":"Technical Report KES.U.88.2","volume-title":"Representation and reasoning with convex time intervals","author":"P. Ladkin","year":"1988","unstructured":"P. Ladkin and R. Maddux, ?Representation and reasoning with convex time intervals,? Kestrel Institute, Palo Alto CA, Technical Report KES.U.88.2, 1988."},{"issue":"no. 2","key":"CR18","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1145\/5383.5384","volume":"33","author":"L. Lamport","year":"1986","unstructured":"L. Lamport, ?The mutual exclusion problem: Part I-a theory of interprocess communication?; ?Part II?Statement and solutions,? Journal ACM, vol. 33, no. 2, pp. 313?348, April 1986.","journal-title":"Journal ACM"},{"key":"CR19","unstructured":"G. Ligozat, ?On generalized interval calculi,? Proceedings of the Ninth National Conference on Artificial Intelligence, Anaheim, CA, July 1991, pp. 234?240."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BFb0013024","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"Z. Manna","year":"1989","unstructured":"Z. Manna and A. Pnueli, ?The anchored version of the temporal framework,? in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, edited by J.de Bakker, W.-P.de Roever, and G. Rozenberg, Springer-Verlag: NY, pp. 201?284, 1989."},{"key":"CR21","unstructured":"A. Mukerjee and G. Joe, ?A qualitative model for space,? Proceedings AAAI-90, Boston MA, 1990, pp. 721?727."},{"key":"CR22","unstructured":"D. Randell and A. Cohn, ?Modeling topological and metrical properties of physical processes,? Proceedings of KR'89, Principles of Knowledge Representation and Reasoning, San Mateo CA, 1989, pp. 357?368."},{"issue":"no. 6?9","key":"CR23","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1016\/0898-1221(92)90118-2","volume":"23","author":"D. Randell","year":"1992","unstructured":"D. Randell and A. Cohn, ?Exploiting lattices in a theory of space and time,? Computers Math. Applic., vol. 23, no. 6?9, pp. 459?476, 1992.","journal-title":"Computers Math. Applic."},{"key":"CR24","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1002\/int.4550060302","volume":"6","author":"R. Rodriguez","year":"1991","unstructured":"R. Rodriguez, F. Anger, and K. Ford, ?Temporal reasoning: A relativistic model,? International Journal of Intelligent Systems, vol. 6, pp. 237?254, June 1991.","journal-title":"International Journal of Intelligent Systems"},{"issue":"no. 1","key":"CR25","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BF00871721","volume":"3","author":"R. Rodriguez","year":"1993","unstructured":"R. Rodriguez, ?A relativistic temporal algebra for Efficient Design of Distributed Systems,? Applied Intelligence Journal, vol. 3, no. 1, pp. 31?45, 1993.","journal-title":"Applied Intelligence Journal"},{"key":"CR26","volume-title":"Logic and Reality: Essays in Pure and Applied Logic, In Memory of Arthur Prior","author":"R. Rodriguez","year":"1993","unstructured":"R. Rodriguez and F. Anger, ?Prior's temporal legacy in computer science,? in Logic and Reality: Essays in Pure and Applied Logic, In Memory of Arthur Prior, edited by J. Copeland, Oxford University Press: Oxford, 1993."},{"key":"CR27","first-page":"139","volume-title":"Lecture Notes in Computer Science: Advanced Methods in Artificial Intelligence","author":"R. Rodriguez","year":"1993","unstructured":"R. Rodriguez and F. Anger, ?An analysis of the temporal relations of intervals in relativistic space-time,? in Lecture Notes in Computer Science: Advanced Methods in Artificial Intelligence, edited by B. Bouchon-Meunier, L. Valverde, and R. Yager, Springer-Verlag: Berlin, pp. 139?148, 1993."},{"key":"CR28","unstructured":"M. Vilain and H. Kautz, ?Constraint propagation algorithms for temporal reasoning,? Proceedings of the Fifth National Conference of AAAI, Pittsburgh, PA, August 1986, pp. 377?382."}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00117599.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00117599\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00117599","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T10:09:54Z","timestamp":1554718194000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00117599"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["BF00117599"],"URL":"https:\/\/doi.org\/10.1007\/bf00117599","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}