{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T04:17:48Z","timestamp":1749010668611,"version":"3.41.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319420189"},{"type":"electronic","value":"9783319420196"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-42019-6_13","type":"book-chapter","created":{"date-parts":[[2016,6,27]],"date-time":"2016-06-27T02:04:53Z","timestamp":1466993093000},"page":"199-207","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Numerical Optimisation Based Characterisation of Spatial Reasoning"],"prefix":"10.1007","author":[{"given":"Carl","family":"Schultz","sequence":"first","affiliation":[]},{"given":"Mehul","family":"Bhatt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,28]]},"reference":[{"key":"13_CR1","unstructured":"Center for genomic pathology. http:\/\/ctrgenpath.net\/2011\/04\/slide-of-the-week-april-14\/ .\u00a0Accessed 03 Apr 2016"},{"key":"13_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5587-4","volume-title":"Handbook of Spatial Logics","author":"M Aiello","year":"2007","unstructured":"Aiello, M., Pratt-Hartmann, I.E., van Benthem, J.F.A.K.: Handbook of Spatial Logics. Springer New York Inc., Secaucus (2007)"},{"issue":"1","key":"13_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/13875868.2010.548568","volume":"11","author":"M Bhatt","year":"2011","unstructured":"Bhatt, M., Guesgen, H., W\u00f6lfl, S., Hazarika, S.: Qualitative spatial and temporal reasoning: emerging applications, trends, and directions. Spat. Cogn. Comput. 11(1), 1\u201314 (2011)","journal-title":"Spat. Cogn. Comput."},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-642-23196-4_12","volume-title":"Spatial Information Theory","author":"M Bhatt","year":"2011","unstructured":"Bhatt, M., Lee, J.H., Schultz, C.: CLP(QS): a declarative spatial reasoning framework. In: Egenhofer, M., Giudice, N., Moratz, R., Worboys, M. (eds.) COSIT 2011. LNCS, vol. 6899, pp. 210\u2013230. Springer, Heidelberg (2011)"},{"issue":"5","key":"13_CR5","doi-asserted-by":"publisher","first-page":"1190","DOI":"10.1137\/0916069","volume":"16","author":"RH Byrd","year":"1995","unstructured":"Byrd, R.H., Lu, P., Nocedal, J., Ciyou, Z.: A limited memory algorithm for bound constrained optimization. SIAM J. Sci. Comput. 16(5), 1190\u20131208 (1995)","journal-title":"SIAM J. Sci. Comput."},{"key":"13_CR6","first-page":"171","volume":"2","author":"AG Cohn","year":"1996","unstructured":"Cohn, A.G., Gotts, N.M.: The \u2018egg-yolk\u2019 representation of regions with indeterminate boundaries. Geogr. Objects Indeterminate Bound. 2, 171\u2013187 (1996)","journal-title":"Geogr. Objects Indeterminate Bound."},{"key":"13_CR7","unstructured":"Duesmann, G.: Applying principles of knowledge representation and reasoning by integrating declarative spatial reasoning and computer vision: a prototype system for histopathology. Bachelor thesis, The University of M\u00fcnster (2016)"},{"issue":"14","key":"13_CR8","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1016\/S0010-4485(99)00074-3","volume":"31","author":"J-X Ge","year":"1999","unstructured":"Ge, J.-X., Chou, S.-C., Gao, X.-S.: Geometric constraint satisfaction using optimization methods. Comput. Aided Des. 31(14), 867\u2013879 (1999)","journal-title":"Comput. Aided Des."},{"issue":"3","key":"13_CR9","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J Jaffar","year":"1992","unstructured":"Jaffar, J., Michaylov, S., Stuckey, P.J., Yap, R.H.: The CLP (R) language and system. ACM Trans. Program. Lang. Syst. (TOPLAS) 14(3), 339\u2013395 (1992)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"volume-title":"Geometric Reasoning","year":"1988","key":"13_CR10","unstructured":"Kapur, D., Mundy, J.L. (eds.): Geometric Reasoning. MIT Press, Cambridge (1988)"},{"issue":"4","key":"13_CR11","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0010-4485(82)90292-5","volume":"14","author":"R Light","year":"1982","unstructured":"Light, R., Gossard, D.: Modification of geometric models through variational geometry. Comput. Aided Des. 14(4), 209\u2013214 (1982)","journal-title":"Comput. Aided Des."},{"key":"13_CR12","volume-title":"Qualitative Spatial and Temporal Reasoning","author":"G Ligozat","year":"2011","unstructured":"Ligozat, G.: Qualitative Spatial and Temporal Reasoning. Wiley-ISTE, London (2011)"},{"issue":"3","key":"13_CR13","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1006080931326","volume":"22","author":"G Pesant","year":"1999","unstructured":"Pesant, G., Boyer, M.: Reasoning about solids using constraint logic programming. J. Autom. Reason. 22(3), 241\u2013262 (1999)","journal-title":"J. Autom. Reason."},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/3-540-45241-9_18","volume-title":"Practical Aspects of Declarative Languages","author":"A Raffaet\u00e0","year":"2001","unstructured":"Raffaet\u00e0, A., Fr\u00fchwirth, T.: Spatio-temporal annotated constraint logic programming. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 259\u2013273. Springer, Heidelberg (2001)"},{"key":"13_CR15","first-page":"165","volume":"92","author":"DA Randell","year":"1992","unstructured":"Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. KR 92, 165\u2013176 (1992)","journal-title":"KR"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Schultz, C., Bhatt, M.: Declarative spatial reasoning with boolean combinations of axis-aligned rectangular polytopes. In: ECAI 2014\u201321st European Conference on Artificial Intelligence, pp. 795\u2013800 (2014)","DOI":"10.3233\/978-1-61499-419-0-795"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Schultz, C., Bhatt, M.: Encoding relative orientation and mereotopology relations with geometric constraints in CLP(QS). In: 1st Workshop on Logics for Qualitative Modelling and Reasoning (LQMR 2015), Lodz, Poland, September 2015","DOI":"10.15439\/2015F371"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-319-23374-1_16","volume-title":"Spatial Information Theory","author":"C Schultz","year":"2015","unstructured":"Schultz, C., Bhatt, M.: Spatial symmetry driven pruning strategies for efficient declarative spatial reasoning. In: Fabrikant, S.I., Raubal, M., Bertolotto, M., Davies, C., Freundschuh, S., Bell, S. (eds.) COSIT 2015. LNCS, vol. 9368, pp. 331\u2013353. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-23374-1_16"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1007\/978-3-319-23264-5_41","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"PA Wa\u0142\u0119ga","year":"2015","unstructured":"Wa\u0142\u0119ga, P.A., Bhatt, M., Schultz, C.: ASPMT(QS): non-monotonic spatial reasoning with answer set programming modulo theories. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS, vol. 9345, pp. 488\u2013501. Springer, Heidelberg (2015)"}],"container-title":["Lecture Notes in Computer Science","Rule Technologies. Research, Tools, and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42019-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T22:51:01Z","timestamp":1748991061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42019-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319420189","9783319420196"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42019-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"28 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}