{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:26:32Z","timestamp":1759638392505,"version":"3.40.5"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"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":[[1997,4]]},"DOI":"10.1023\/a:1018968024833","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"383-411","source":"Crossref","is-referenced-by-count":15,"title":["Fast algebraic methods for interval constraint problems"],"prefix":"10.1007","volume":"19","author":[{"given":"Peter B.","family":"Ladkin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Reinefeld","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"11","key":"325422_CR1","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, Communications of the ACM 26(11) (November 1983) 832\u2013843.","journal-title":"Communications of the ACM"},{"key":"325422_CR2","doi-asserted-by":"crossref","unstructured":"B. Bennett, Spatial reasoning with propositional logics, in: Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR94) (Morgan Kaufmann, 1994) pp. 51\u201362.","DOI":"10.1016\/B978-1-4832-1452-8.50102-0"},{"key":"325422_CR3","doi-asserted-by":"crossref","unstructured":"S. Burris and H.P. Sankappanavar, A Course in Universal Algebra (Springer-Verlag, 1981).","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"325422_CR4","unstructured":"P. Cheeseman, R. Kanefsky and W.M. Taylor, Where the really hard problems are, in: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), Sydney, Australia (1991), (Morgan Kaufmann) pp. 331\u2013337."},{"issue":"5\u20136","key":"325422_CR5","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1006\/ijhc.1995.1077","volume":"43","author":"A.G. Cohn","year":"1995","unstructured":"A.G. Cohn, D.A. Randell and Z. Cui, Taxonomies of logically defined qualitative spatial relations, International Journal of Human-Computer Studies 43(5\u20136) (1995) 831\u2013846. Available from http:\/\/agora.leeds.ac.uk\/spacenet\/publications.html.","journal-title":"International Journal of Human-Computer Studies"},{"key":"325422_CR6","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 networks, Artificial Intelligence 49 (May 1991) 61\u201395.","journal-title":"Artificial Intelligence"},{"key":"325422_CR7","unstructured":"H.-W. G\u00fcsgen, CONSAT: A System for Constraint Satisfaction (Morgan Kaufmann\/Pitman, 1989)."},{"key":"325422_CR8","unstructured":"J.C. Hogge, TPLAN: A temporal interval-based planner with Novel extensions, Technical Report UIUCDCS-R\u201387\u20131367, Univ. of Illinois at Urbana-Champaign, Dept. of Computer Science (September 1987)."},{"key":"325422_CR9","doi-asserted-by":"publisher","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B. J\u00f2nsson","year":"1952","unstructured":"B. J\u00f2nsson and A. Tarski, Boolean algebras with operators II, American Journal of Mathematics 74 (1952) 127\u2013162.","journal-title":"American Journal of Mathematics"},{"key":"325422_CR10","unstructured":"H.A. Kautz and P.B. Ladkin, Integrating metric and qualitative temporal reasoning, in: Proceedings of the 9th National Conference on AI (AAAI-91), Anaheim, CA (1991), (AAAI Press) pp. 241\u2013246."},{"key":"325422_CR11","series-title":"Technical Report","volume-title":"The TIMELOGIC temporal reasoning system","author":"J.A.G.M. Koomen","year":"1988","unstructured":"J.A.G.M. Koomen, The TIMELOGIC temporal reasoning system, Technical Report 231, University of Rochester, Dept. of Computer Science, Rochester, NY (1988)."},{"key":"325422_CR12","unstructured":"J.A.G.M. Koomen, Localizing temporal constraint propagation, in: Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR89), Toronto, Canada (1989), (Morgan Kaufmann) pp. 198\u2013202."},{"key":"325422_CR13","series-title":"Technical Report","volume-title":"Constraint reasoning with intervals: A tutorial, survey, and bibliography","author":"P.B. Ladkin","year":"1990","unstructured":"P.B. Ladkin, Constraint reasoning with intervals: A tutorial, survey, and bibliography, Technical Report TR\u201390\u2013059, International Computer Science Institute, Berkeley, CA (September 1990)."},{"key":"325422_CR14","series-title":"Technical Report","volume-title":"On binary constraint networks","author":"P.B. Ladkin","year":"1988","unstructured":"P.B. Ladkin and R.D. Maddux, On binary constraint networks, Technical Report KES.U.88.8, Kestrel Institute, Palo Alto, CA (1988). An extensively revised version appeared in [15]."},{"issue":"3","key":"325422_CR15","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1145\/176584.176585","volume":"41","author":"P.B. Ladkin","year":"1994","unstructured":"P.B. Ladkin and R.D. Maddux, On binary constraint problems, Journal of the ACM 41(3) (May 1994) 435\u2013469.","journal-title":"Journal of the ACM"},{"issue":"1","key":"325422_CR16","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 problems, Artificial Intelligence 57(1) (September 1992) 105\u2013124.","journal-title":"Artificial Intelligence"},{"key":"325422_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/3-540-57322-4_4","volume-title":"Artificial Intelligence and Symbolic Mathematical Computing","author":"P.B. Ladkin","year":"1993","unstructured":"P.B. Ladkin and A. Reinefeld, A symbolic approach to interval constraint problems, in: Artificial Intelligence and Symbolic Mathematical Computing, eds. J. Calmet and J. Campbell, Lecture Notes in Computer Science, Vol. 737 (Springer-Verlag, Karlsruhe, Germany, 1993) pp. 65\u201384."},{"key":"325422_CR18","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"A.K. Mackworth, Consistency in networks of relations, Artificial Intelligence 8 (1977) 99\u2013118.","journal-title":"Artificial Intelligence"},{"key":"325422_CR19","unstructured":"A.K. Mackworth, Constraint satisfaction, in: Encyclopedia of Artificial Intelligence, ed. S. Shapiro (Wiley Interscience, 1987)."},{"key":"325422_CR20","doi-asserted-by":"crossref","unstructured":"R.D. Maddux, Relation algebras for reasoning about time and space, in: Algebraic Methodology and Software Technology, eds. M. Nivat, C. Rattray, T. Rus and G. Scollo, Workshops in Computing Series, Enschede (1993), (Springer-Verlag, 1994) pp. 27\u201344.","DOI":"10.1007\/978-1-4471-3227-1_4"},{"key":"325422_CR21","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0004-3702(85)90041-4","volume":"25","author":"A.K. Mackworth","year":"1985","unstructured":"A.K. Mackworth and E.C. Freuder, The complexity of some polynomial network consistency algorithms for constraint satisfaction problems, Artificial Intelligence 25 (1985) 65\u201374.","journal-title":"Artificial Intelligence"},{"key":"325422_CR22","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"U. Montanari, Networks of constraints: Fundamental properties and applications to picture processing, Information Sciences 7 (1974) 95\u2013132.","journal-title":"Information Sciences"},{"issue":"1","key":"325422_CR23","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/200836.200848","volume":"42","author":"B. Nebel","year":"1995","unstructured":"B. Nebel and H.-J. B\u00fcrckert, Reasoning about temporal relations: A maximal tractable subclass of Allen's Interval Algebra, Journal of the ACM 42(1) (January 1995) 43\u201366.","journal-title":"Journal of the ACM"},{"key":"325422_CR24","doi-asserted-by":"crossref","unstructured":"B. Nebel, Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class, Constraints (1996). To appear.","DOI":"10.1007\/BF00137869"},{"key":"325422_CR25","doi-asserted-by":"crossref","unstructured":"K. N\u00f6kel, Temporally Distributed Symptoms in Technical Diagnosis, Lecture Notes in Artificial Intelligence, Vol. 517 (Springer-Verlag, 1991).","DOI":"10.1007\/3-540-54316-3"},{"key":"325422_CR26","doi-asserted-by":"crossref","unstructured":"D.A. Randell, A.G. Cohn and Z. Cui, Computing transitivity tables: a challenge for automated theorem provers, in: CADE-11, Proceedings of the 11th Conference on Automated Deduction, ed. D. Kapur, Lecture Notes in Computer Science, Vol. 607 (Springer-Verlag, 1992) pp. 786\u2013790. Available from http:\/\/agora.leeds.ac.uk\/spacenet\/publications.html.","DOI":"10.1007\/3-540-55602-8_225"},{"key":"325422_CR27","unstructured":"D.A. Randell, Z. Cui and A.G. Cohn, A spatial logic based on regions and connection, in: Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning, KR'92, eds. B. Nebel, C. Rich and W. Swartout (Morgan Kaufmann, 1992) pp. 165\u2013176. Available from http:\/\/agora.leeds.ac.uk\/spacenet\/publications.html."},{"key":"325422_CR28","unstructured":"A. Reinefeld and P.B. Ladkin, Fast solution of large interval constraint networks, in: Proceedings of the 9th Biennial Conference of the Canadian Society for Computational Studies of Intelligence (AI'92), eds. J. Glasgow and R. Hedley, Vancouver, Canada (May 1992), (Morgan Kaufmann) pp. 156\u2013162."},{"key":"325422_CR29","unstructured":"B. Selman, Stochastic search and phase transitions: AI meets Physics, in: Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95), Vol. 1, Montr\u00e9al, Canada (August 1995), (IJCAII) pp. 998\u20131002."},{"key":"325422_CR30","doi-asserted-by":"crossref","unstructured":"S. Susswein, T.C. Henderson, J. Zachary, C. Hansen, P. Hinker and G. Marsden, Parallel path consistency, Technical Report UUCS\u201391\u2013010, Univ. of Utah (July 1991).","DOI":"10.1007\/BF01547895"},{"key":"325422_CR31","doi-asserted-by":"crossref","unstructured":"S. Susswein, Parallel path consistency, Master's Thesis, University of Utah, Dept. of Comp. Sci. (1991).","DOI":"10.1007\/BF01547895"},{"key":"325422_CR32","unstructured":"P.G. van Beek, Reasoning about qualitative temporal information, in: Proceedings of the 8th National Conference on Artificial Intelligence (AAAI-90), Boston, MA (1990), (Morgan Kaufmann) pp. 728\u2013734."},{"key":"325422_CR33","doi-asserted-by":"crossref","unstructured":"J.F.A.K. van Benthem, The Logic of Time (D. Reidel, 2nd edn., 1991).","DOI":"10.1007\/978-94-015-7947-6"},{"key":"325422_CR34","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0004-3702(92)90011-L","volume":"58","author":"P.G. van Beek","year":"1992","unstructured":"P.G. van Beek, Reasoning about qualitative temporal information, Artificial Intelligence 58 (1992) 297\u2013326.","journal-title":"Artificial Intelligence"},{"key":"325422_CR35","unstructured":"P.G. van Beek and R. Cohen, Approximation algorithms for temporal reasoning, in: Proceedings of the 11th Joint Conference on Artifical Intelligence (IJCAI-89), Detroit, MI (1989), (Morgan Kaufmann) pp. 1291\u20131296."},{"key":"325422_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00123994","volume":"4","author":"P.G. van Beek","year":"1996","unstructured":"P.G. van Beek and D.W. Manchak, The design and an experimental analysis of algorithms for temporal reasoning, Journal of Artificial Intelligence Research 4 (1996) 1\u201318.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"325422_CR37","first-page":"373","volume-title":"Readings in Qualititative Reasoning About Physical Systems","author":"M. Vilain","year":"1989","unstructured":"M. Vilain, H.A. Kautz and P.G. van Beek, Constraint propagation algorithms for temporal reasoning, in: Readings in Qualititative Reasoning About Physical Systems, eds. D. Weld and J. de Kleer (Morgan Kaufmann, San Mateo, CA, 1989) pp. 373\u2013381."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018968024833.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018968024833\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018968024833.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:31:47Z","timestamp":1747546307000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018968024833"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":37,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["325422"],"URL":"https:\/\/doi.org\/10.1023\/a:1018968024833","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}