{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:31:59Z","timestamp":1752460319262},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573227"},{"type":"electronic","value":"9783540480631"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57322-4_4","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:48:11Z","timestamp":1330260491000},"page":"65-84","source":"Crossref","is-referenced-by-count":8,"title":["A symbolic approach to interval constraint problems"],"prefix":"10.1007","author":[{"given":"Peter","family":"Ladkin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Reinefeld","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"issue":"11","key":"4_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F., Maintaining Knowledge about Temporal Intervals, Comm. ACM 26 (11), November 1983, 832\u2013843.","journal-title":"Comm. ACM"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Burris, S., and Sankappanavar, H.P., A Course in Universal Algebra, Springer Verlag, 1981.","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"4_CR3","unstructured":"Cheeseman, P., Kanefsky, R., and Taylor, W.M., Where the Really Hard Problems Are, Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), pp 331\u2013337, Morgan Kaufmann 1991."},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R. Dechter","year":"1991","unstructured":"Dechter, R., Meiri, I., and Pearl, J., Temporal Constraint Networks. Artificial Intelligence 49, 1991, 61\u201395.","journal-title":"Artificial Intelligence"},{"issue":"11","key":"4_CR5","doi-asserted-by":"crossref","first-page":"958","DOI":"10.1145\/359642.359654","volume":"21","author":"E.C. Freuder","year":"1978","unstructured":"Freuder, E.C., Synthesizing Constraint Expressions, Communications of the ACM 21 (11), Nov 1978, 958\u2013966.","journal-title":"Communications of the ACM"},{"key":"4_CR6","unstructured":"G\u00fcsgen, H.-W., CONSAT: A System for Constraint Satisfaction, Morgan Kaufmann\/Pitman 1989."},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B. J\u00f3nsson","year":"1952","unstructured":"J\u00f3nsson, B. and Tarski, A., Boolean Algebras with Operators II, American J. Mathematics 74, 1952, 127\u2013162.","journal-title":"American J. Mathematics"},{"key":"4_CR8","unstructured":"Kautz, H.A. and Ladkin, P.B., Integrating Metric and Qualitative Temporal Reasoning, Proceedings of AAAI-91, the 9th National Conference on AI, AAAI Press 1991."},{"key":"4_CR9","unstructured":"Koomen, J.A.G.M., The TIMELOGIC Temporal Reasoning System, Technical Report 231, University of Rochester Dept. of Computer Science, 1988."},{"key":"4_CR10","unstructured":"Koomen, J.A.G.M., Localizing Temporal Constraint Propagation, in Proceedings of KR89. the First International Conference on Principles of Knowledge Representation and Reasoning, pp 198\u2013202, Morgan Kaufmann 1989."},{"key":"4_CR11","unstructured":"Ladkin, P.B., and Maddux, R.D., On Binary Constraint Networks, Kestrel Institute Technical Report KES.U.88.8. An extensively revised 1992 version is On Binary Constraint Problems, submitted for publication."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Ladkin, P.B., and Reinefeld, A., Effective Solution of Qualitative Interval Constraint Problems, Artificial Intelligence, to appear.","DOI":"10.1016\/0004-3702(92)90106-8"},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"Mackworth, A.K., Consistency in Networks of Relations, Artificial Intelligence 8, 1977, 99\u2013118.","journal-title":"Artificial Intelligence"},{"key":"4_CR14","unstructured":"Mackworth, A.K., Constraint Satisfaction, in the Encyclopedia of Artificial Intelligence, ed. S. Shapiro, Wiley Interscience 1987."},{"key":"4_CR15","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0004-3702(85)90041-4","volume":"25","author":"A.K. Mackworth","year":"1985","unstructured":"Mackworth, A.K., and Freuder, E.C., The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems, Artificial Intelligence 25, 65\u201374, 1985.","journal-title":"Artificial Intelligence"},{"key":"4_CR16","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R. Mohr","year":"1986","unstructured":"Mohr, R., and Henderson, T.C., Arc and Path Consistency Revisited, Artificial Intelligence 28, 1986, 225\u2013233.","journal-title":"Artificial Intelligence"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"N\u00f6kel, K., Temporally Distributed Symptoms in Technical Diagnosis, Lecture Notes in Artificial Intelligence 517, Springer Verlag 1991.","DOI":"10.1007\/3-540-54316-3"},{"key":"4_CR18","unstructured":"Reinefeld, A., and Ladkin, P.B., Fast Solution of Large Interval Constraint Networks, in Procs. 9th Canadian Conf. on Art. Intell., AI'92, Vancouver (May 1992), pp156\u2013162."},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Susswein, S., Parallel Path Consistency, MS Thesis, University of Utah, Department of Computer Science, 1991.","DOI":"10.1007\/BF01547895"},{"key":"4_CR20","unstructured":"Susswein, S., Henderson, T.C., Zachary, J., Hinker, P., Hansen, C., and Marsden, G., Parallel Path Consistency, University of Utah, Technical Report UUCS-91-010, July 30, 1991, revised version to appear, International Journal of Parallel Programming."},{"key":"4_CR21","unstructured":"van Beek, P.G., and Cohen, R., Approximation Algorithms for Temporal Reasoning, in Proceedings of IJCAI89, the 11th Joint Conference on Artifical Intelligence, 1291\u20131296, Morgan Kaufmann 1989; full version in Computational Intelligence, 1991."},{"key":"4_CR22","unstructured":"van Beek, P.G., Reasoning About Qualitative Temporal Information, in Proceedings of AAAI90, the 8th National Conference on Artificial Intelligence, pp728\u2013734, Morgan Kaufmann 1990."},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"van Beek, P.G., Reasoning About Qualitative Temporal Information, Artificial Intelligence, to appear.","DOI":"10.1016\/0004-3702(92)90011-L"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"van Benthem, J.F.A.K., The Logic of Time, 2nd Edition, Kluwer 1991.","DOI":"10.1007\/978-94-015-7947-6"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Vilain, M., Kautz, H., and van Beek, P.G., Constraint Propagation Algorithms for Temporal Reasoning, in Weld and de Kleer, eds., Readings in Qualititative Reasoning About Physical Systems, Morgan Kaufmann 1989.","DOI":"10.1016\/B978-1-4832-1447-4.50034-1"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57322-4_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:11:30Z","timestamp":1605647490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57322-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573227","9783540480631"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-57322-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}