{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T23:06:25Z","timestamp":1781651185260,"version":"3.54.5"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"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":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[1999,7]]},"DOI":"10.1023\/a:1018913618840","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"35-67","source":"Crossref","is-referenced-by-count":3,"title":["STCSP \u2014 structured temporal constraint satisfaction problems"],"prefix":"10.1007","volume":"25","author":[{"given":"Mira","family":"Balaban","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tzachi","family":"Rosen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"325517_CR1","first-page":"200","volume-title":"The Design of Computer Algorithms","author":"A.V. Aho","year":"1975","unstructured":"A.V. Aho, J.E. Hopcroft and J.D. Ullman, The Design of Computer Algorithms (Addison-Wesley, Reading, MA, 1975) pp. 200-201."},{"issue":"11","key":"325517_CR2","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"J.F. Allen, Maintaining knowledge about temporal intervals, Commun. ACM 26(11) (1983) 832-843.","journal-title":"Commun. ACM"},{"issue":"2","key":"325517_CR3","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J.F. Allen","year":"1984","unstructured":"J.F. Allen, Towards a general theory of action and time, Commun. Artif. Intell. 23(2) (1984) 123-154.","journal-title":"Commun. Artif. Intell."},{"key":"325517_CR4","unstructured":"J.F. Allen and P.J. Hayes, A commonsense theory of time, in: Proc. IJCAI '85 (1985) pp. 528-531."},{"key":"325517_CR5","doi-asserted-by":"crossref","unstructured":"G. Ariav, A temporally oriented data model, ACM Trans. Database Systems 11(4) (1986).","DOI":"10.1145\/7239.7350"},{"key":"325517_CR6","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0004-3702(91)90025-F","volume":"52","author":"F. Bacchus","year":"1991","unstructured":"F. Bacchus, J. Tenenberg and J.A. Koomen, A non-refied temporal logic, Artif. Intell. 52 (1991) 87-108.","journal-title":"Artif. Intell."},{"issue":"1","key":"325517_CR7","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BF00125521","volume":"7","author":"M. Balaban","year":"1996","unstructured":"M. Balaban and Y. Kornatzky, A data model for processes based on relative time, J. Intell. Inform. Systems 7(1) (1996) 29-50.","journal-title":"J. Intell. Inform. Systems"},{"key":"325517_CR8","unstructured":"M. Boddy, J. Carciofini and B. Schrag, Managing disjunction for practical temporal reasoning, in: Proc. KR-92 (1992)."},{"key":"325517_CR9","doi-asserted-by":"crossref","unstructured":"J. Clifford and D.S. Warren, Formal semantics for time in databases, ACM Trans. Database Systems 8(2) (1983).","DOI":"10.1145\/319983.319986"},{"issue":"4","key":"325517_CR10","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1145\/76359.76360","volume":"36","author":"T. Dean","year":"1989","unstructured":"T. Dean, Using temporal hierarchies to efficiently maintain large temporal data base, J. ACM 36(4) (1989) 687-718.","journal-title":"J. ACM"},{"key":"325517_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(87)90061-0","volume":"32","author":"T.M. Dean","year":"1987","unstructured":"T.M. Dean and D.V. McDermott, Temporal data base management, Artif. Intell. 32 (1987) 1-55.","journal-title":"Artif. Intell."},{"key":"325517_CR12","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R. Dechter","year":"1991","unstructured":"R. Dechter, I. Meiri and J. Pearl, Temporal constraint network, Artif. Intell. 49 (1991) 61-95.","journal-title":"Artif. Intell."},{"issue":"1","key":"325517_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(87)90002-6","volume":"34","author":"R. Dechter","year":"1988","unstructured":"R. Dechter and J. Pearl, Network based heuristics for constraint satisfaction problems, Artif. Intell. 34(1) (1988) 1-38.","journal-title":"Artif. Intell."},{"key":"325517_CR14","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0004-3702(89)90037-4","volume":"38","author":"R. Dechter","year":"1988","unstructured":"R. Dechter and J. Pearl, Tree clustering for constraint networks, Artif. Intell. 38 (1988) 353-366.","journal-title":"Artif. Intell."},{"key":"325517_CR15","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1145\/4221.4225","volume":"32","author":"E.C. Freuder","year":"1985","unstructured":"E.C. Freuder, A sufficient condition of backtrack-bounded search, J. ACM 32 (1985) 755-761.","journal-title":"J. ACM"},{"key":"325517_CR16","doi-asserted-by":"publisher","first-page":"1108","DOI":"10.1145\/174147.169675","volume":"40","author":"M.C. Golumbic","year":"1993","unstructured":"M.C. Golumbic and R. Shamir, Complexity and algorithms for reasoning about time: A graph-theoretic approach, J. ACM 40 (1993) 1108-1133.","journal-title":"J. ACM"},{"key":"325517_CR17","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(94)90003-5","volume":"66","author":"M. Gyssens","year":"1994","unstructured":"M. Gyssens, P.G. Jeavons and D.A Choen, Decomposition constraint satisfaction problems using data base techniques, Artif. Intell. 66 (1994) 57-89.","journal-title":"Artif. Intell."},{"key":"325517_CR18","doi-asserted-by":"crossref","unstructured":"C.S. Jensen, L. Mark and N. Roussopoulos, Incremental implementation model for relational databases with transaction time, IEEE Trans. on Knowledge and Data Engineering (1990).","DOI":"10.1109\/69.109107"},{"key":"325517_CR19","unstructured":"P. Jonsson and C. Backstrom, A linear-programming approach to temporal reasoning, in: Proc. AAAI-96 (1996) pp. 1235-1240."},{"key":"325517_CR20","unstructured":"H. Kautz and P.B. Ladkin, Integrating metric and qualitative temporal reasoning, in: Proc. AAAI-91 (1991) pp. 241-246."},{"key":"325517_CR21","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0004-3702(92)90106-8","volume":"57","author":"P.B. Ladkin","year":"1992","unstructured":"P.B. Ladkin and A. Reinefeld, Effective solution of qualitative interval constraint problem, Artif. Intell. 57 (1992) 105-124.","journal-title":"Artif. Intell."},{"key":"325517_CR22","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0364-0213(82)90003-9","volume":"6","author":"D. McDermott","year":"1982","unstructured":"D. McDermott, A temporal logic for reasoning about processes and plans, Cognitive Science 6 (1982) 101-155.","journal-title":"Cognitive Science"},{"issue":"1\u20132","key":"325517_CR23","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0004-3702(95)00109-3","volume":"87","author":"I. Meiri","year":"1996","unstructured":"I. Meiri, Combining qualitative and quantitative constraints in temporal reasoning, Artif. Intell. 87(1\u20132) (1996) 343-385.","journal-title":"Artif. Intell."},{"key":"325517_CR24","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1016\/0169-023X(91)90011-L","volume":"6","author":"J. Moyne","year":"1991","unstructured":"J. Moyne, T. Teorey and L. McAfee, Time sequence ordering extensions to the entity-relationship model and their application to automated manufacturing process, Data & Knowledge Engineering 6 (1991) 421-443.","journal-title":"Data & Knowledge Engineering"},{"key":"325517_CR25","unstructured":"M. Poesio and R.J. Brachman, Metric constraints for maintaining appointments: Dates and repeated activities, in: Proc. AAAI-91 (1991) 253-259."},{"key":"325517_CR26","volume-title":"Structured temporal constraints satisfaction problems","author":"T. Rosen","year":"1995","unstructured":"T. Rosen, Structured temporal constraints satisfaction problems, M.Sc. dissertation, Ben-Gurion University of the Negev, Beer Sheva, Israel (1995)."},{"issue":"1\u20132","key":"325517_CR27","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S0004-3702(97)00009-X","volume":"93","author":"E. Schwalb","year":"1997","unstructured":"E. Schwalb and R. Dechter, Processing disjunctions in temporal constraint networks, Artif. Intell. 93(1\u20132) (1997) 29-41.","journal-title":"Artif. Intell."},{"key":"325517_CR28","unstructured":"Y. Shoham, Reasoning about change: time and causation from the stand point of artificial intelligent, Ph.D. dissertation, Yale University (1986)."},{"key":"325517_CR29","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0004-3702(92)90011-L","volume":"58","author":"P. Van Beek","year":"1992","unstructured":"P. Van Beek, Reasoning about qualitative temporal information, Artif. Intell. 58 (1992) 297-326.","journal-title":"Artif. Intell."},{"key":"325517_CR30","unstructured":"G.T.J. Wuu and U. Dayal, A uniform model for temporal object-oriented databases, Proc. IEEE Data Engineering (1992) 584-593."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018913618840.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018913618840\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018913618840.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:40:27Z","timestamp":1747546827000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018913618840"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,7]]},"references-count":30,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1999,7]]}},"alternative-id":["325517"],"URL":"https:\/\/doi.org\/10.1023\/a:1018913618840","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,7]]}}}