{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:59Z","timestamp":1760202659507},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642335570"},{"type":"electronic","value":"9783642335587"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33558-7_35","type":"book-chapter","created":{"date-parts":[[2012,10,2]],"date-time":"2012-10-02T22:32:47Z","timestamp":1349217167000},"page":"464-479","source":"Crossref","is-referenced-by-count":3,"title":["Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning"],"prefix":"10.1007","author":[{"given":"Weiming","family":"Liu","sequence":"first","affiliation":[]},{"given":"Sanjiang","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"35_CR1","doi-asserted-by":"publisher","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. Commun. ACM\u00a026(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"issue":"1-3","key":"35_CR2","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0004-3702(92)90011-L","volume":"58","author":"P. Beek van","year":"1992","unstructured":"van Beek, P.: Reasoning about qualitative temporal information. Artif. Intell.\u00a058(1-3), 297\u2013326 (1992)","journal-title":"Artif. Intell."},{"issue":"2","key":"35_CR3","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0004-3702(03)00075-4","volume":"149","author":"M. Broxvall","year":"2003","unstructured":"Broxvall, M., Jonsson, P.: Point algebras for temporal reasoning: Algorithms and complexity. Artif. Intell.\u00a0149(2), 179\u2013220 (2003)","journal-title":"Artif. Intell."},{"key":"35_CR4","doi-asserted-by":"crossref","unstructured":"Chandra, P., Pujari, A.K.: Minimality and convexity properties in spatial CSPs. In: ICTAI, pp. 589\u2013593. IEEE Computer Society (2005)","DOI":"10.1109\/ICTAI.2005.85"},{"key":"35_CR5","unstructured":"Cohn, A.G., Renz, J.: Qualitative spatial reasoning. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier (2007)"},{"key":"35_CR6","unstructured":"Dechter, R.: Constraint processing. Elsevier Morgan Kaufmann (2003)"},{"issue":"2","key":"35_CR7","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0004-3702(98)00093-9","volume":"106","author":"T. Drakengren","year":"1998","unstructured":"Drakengren, T., Jonsson, P.: A complete classification of tractability in Allen\u2019s algebra relative to subsets of basic relations. Artif. Intell.\u00a0106(2), 205\u2013219 (1998)","journal-title":"Artif. Intell."},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Frank, A.U.: Qualitative spatial reasoning with cardinal directions. In: Kaindl, H. (ed.) \u00d6GAI. Informatik-Fachberichte, vol.\u00a0287, pp. 157\u2013167. Springer (1991)","DOI":"10.1007\/978-3-642-46752-3_17"},{"issue":"2","key":"35_CR9","doi-asserted-by":"publisher","first-page":"556","DOI":"10.1016\/j.artint.2010.10.004","volume":"175","author":"A. Gerevini","year":"2011","unstructured":"Gerevini, A., Saetti, A.: Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure. Artif. Intell.\u00a0175(2), 556\u2013585 (2011)","journal-title":"Artif. Intell."},{"key":"35_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-642-23786-7_26","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2011","author":"G. Gottlob","year":"2011","unstructured":"Gottlob, G.: On Minimal Constraint Networks. In: Lee, J. (ed.) CP 2011. LNCS, vol.\u00a06876, pp. 325\u2013339. Springer, Heidelberg (2011)"},{"issue":"1","key":"35_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10601-006-6847-9","volume":"11","author":"S. Li","year":"2006","unstructured":"Li, S.: On topological consistency and realization. Constraints\u00a011(1), 31\u201351 (2006)","journal-title":"Constraints"},{"issue":"1-2","key":"35_CR12","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0004-3702(02)00372-7","volume":"145","author":"S. Li","year":"2003","unstructured":"Li, S., Ying, M.: Region Connection Calculus: Its models and composition table. Artif. Intell.\u00a0145(1-2), 121\u2013146 (2003)","journal-title":"Artif. Intell."},{"issue":"1","key":"35_CR13","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1006\/jvlc.1997.9999","volume":"9","author":"G. Ligozat","year":"1998","unstructured":"Ligozat, G.: Reasoning about cardinal directions. J. Vis. Lang. Comput.\u00a09(1), 23\u201344 (1998)","journal-title":"J. Vis. Lang. Comput."},{"key":"35_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-28633-2_8","volume-title":"PRICAI 2004: Trends in Artificial Intelligence","author":"G. Ligozat","year":"2004","unstructured":"Ligozat, G., Renz, J.: What Is a Qualitative Calculus? A General Framework. In: Zhang, C., Guesgen, H.W., Yeap, W.-K. (eds.) PRICAI 2004. LNCS (LNAI), vol.\u00a03157, pp. 53\u201364. Springer, Heidelberg (2004)"},{"issue":"12-13","key":"35_CR15","doi-asserted-by":"publisher","first-page":"951","DOI":"10.1016\/j.artint.2010.05.006","volume":"174","author":"W. Liu","year":"2010","unstructured":"Liu, W., Zhang, X., Li, S., Ying, M.: Reasoning about cardinal directions between extended objects. Artif. Intell.\u00a0174(12-13), 951\u2013983 (2010)","journal-title":"Artif. Intell."},{"key":"35_CR16","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"Montanari, U.: Networks of constraints: Fundamental properties and applications to picture processing. Inf. Sci.\u00a07, 95\u2013132 (1974)","journal-title":"Inf. Sci."},{"issue":"1","key":"35_CR17","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/200836.200848","volume":"42","author":"B. Nebel","year":"1995","unstructured":"Nebel, B., B\u00fcrckert, H.J.: Reasoning about temporal relations: A maximal tractable subclass of Allen\u2019s Interval Algebra. J. ACM\u00a042(1), 43\u201366 (1995)","journal-title":"J. ACM"},{"key":"35_CR18","unstructured":"Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: KR, pp. 165\u2013176 (1992)"},{"issue":"1-2","key":"35_CR19","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/S0004-3702(99)00002-8","volume":"108","author":"J. Renz","year":"1999","unstructured":"Renz, J., Nebel, B.: On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. Artif. Intell.\u00a0108(1-2), 69\u2013123 (1999)","journal-title":"Artif. Intell."},{"key":"35_CR20","unstructured":"Vilain, M.B., Kautz, H.A.: Constraint propagation algorithms for temporal reasoning. In: AAAI, pp. 377\u2013382 (1986)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33558-7_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,27]],"date-time":"2019-01-27T10:09:46Z","timestamp":1548583786000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33558-7_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642335570","9783642335587"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33558-7_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}