{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T18:45:45Z","timestamp":1768070745352,"version":"3.49.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319232638","type":"print"},{"value":"9783319232645","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23264-5_41","type":"book-chapter","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T06:29:48Z","timestamp":1442212188000},"page":"488-501","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories"],"prefix":"10.1007","author":[{"given":"Przemys\u0142aw Andrzej","family":"Wa\u0142\u0119ga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehul","family":"Bhatt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carl","family":"Schultz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,15]]},"reference":[{"issue":"11","key":"41_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"41_CR2","unstructured":"Bartholomew, M., Lee, J.: Stable models of formulas with intensional functions. In: KR (2012)"},{"key":"41_CR3","unstructured":"Bartholomew, M., Lee, J.: Functional stable model semantics and answer set programming modulo theories. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, pp. 718\u2013724. AAAI Press (2013)"},{"key":"41_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/978-3-319-11558-0_37","volume-title":"Logics in Artificial Intelligence","author":"M Bartholomew","year":"2014","unstructured":"Bartholomew, M., Lee, J.: System aspmt2smt: computing ASPMT theories by SMT solvers. In: Ferm\u00e9, E., Leite, J. (eds.) JELIA 2014. LNCS, vol. 8761, pp. 529\u2013542. Springer, Heidelberg (2014)"},{"key":"41_CR5","unstructured":"Bhatt, M.: (Some) Default and non-monotonic aspects of qualitative spatial reasoning. In: AAAI 2008 Technical reports, Workshop on Spatial and Temporal Reasoning, pp. 1\u20136 (2008)"},{"key":"41_CR6","doi-asserted-by":"crossref","unstructured":"Bhatt, M.: Reasoning about space, actions and change: a paradigm for applications of spatial reasoning. In: Qualitative Spatial Representation and Reasoning: Trends and Future Directions. IGI Global, USA (2012)","DOI":"10.4018\/978-1-61692-868-1.ch009"},{"issue":"1","key":"41_CR7","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":"41_CR8","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":"1","key":"41_CR9","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1080\/13875860801926884","volume":"8","author":"M Bhatt","year":"2008","unstructured":"Bhatt, M., Loke, S.: Modelling dynamic spatial systems in the situation calculus. Spat. Cogn. Comput. 8(1), 86\u2013130 (2008)","journal-title":"Spat. Cogn. Comput."},{"issue":"1","key":"41_CR10","doi-asserted-by":"publisher","first-page":"166","DOI":"10.3390\/ijgi3010166","volume":"3","author":"M Bhatt","year":"2014","unstructured":"Bhatt, M., Wallgr\u00fcn, J.O.: Geospatial narratives and their spatio-temporal dynamics: commonsense reasoning for high-level analyses in geographic information systems. ISPRS Int. J. Geo-Inf. 3(1), 166\u2013205 (2014)","journal-title":"ISPRS Int. J. Geo-Inf."},{"key":"41_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61732-9_63","volume-title":"Artificial Intelligence and Symbolic Mathematical Computation","author":"D Bouhineau","year":"1996","unstructured":"Bouhineau, D.: Solving geometrical constraint systems using CLP based on linear constraint solver. In: Pfalzgraf, J., Calmet, J., Campbell, J. (eds.) AISMC 1996. LNCS, vol. 1138. Springer, Heidelberg (1996)"},{"issue":"4","key":"41_CR12","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1023\/A:1009825124248","volume":"4","author":"D Bouhineau","year":"1999","unstructured":"Bouhineau, D., Trilling, L., Cohen, J.: An application of CLP: checking the correctness of theorems in geometry. Constraints 4(4), 383\u2013405 (1999)","journal-title":"Constraints"},{"key":"41_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/11546207_10","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"P Ferraris","year":"2005","unstructured":"Ferraris, P.: Answer sets for propositional theories. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 119\u2013131. Springer, Heidelberg (2005)"},{"issue":"1","key":"41_CR14","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1016\/j.artint.2010.04.011","volume":"175","author":"P Ferraris","year":"2011","unstructured":"Ferraris, P., Lee, J., Lifschitz, V.: Stable models and circumscription. Artif. Intell. 175(1), 236\u2013263 (2011)","journal-title":"Artif. Intell."},{"key":"41_CR15","series-title":"Informatik-Fachberichte","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/978-3-642-46752-3_17","volume-title":"7. \u00d6sterreichische Artificial-Intelligence-Tagung\/Seventh Austrian Conference on Artificial Intelligence","author":"AU Frank","year":"1991","unstructured":"Frank, A.U.: Qualitative spatial reasoning with cardinal directions. In: Kaindl, H. (ed.) 7. \u00d6sterreichische Artificial-Intelligence-Tagung\/Seventh Austrian Conference on Artificial Intelligence. Informatik-Fachberichte, vol. 287, pp. 157\u2013167. Springer, Heidelberg (1991)"},{"key":"41_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/3-540-55966-3_10","volume-title":"Theories and Methods of Spatio-Temporal Reasoning in Geographic Space","author":"C Freksa","year":"1992","unstructured":"Freksa, C.: Using orientation information for qualitative spatial reasoning. In: Frank, A.U., Formentini, U., Campari, I. (eds.) GIS 1992. LNCS, vol. 639, pp. 162\u2013178. Springer, Heidelberg (1992)"},{"key":"41_CR17","unstructured":"Gantner, Z., Westphal, M., W\u00f6lfl, S.: GQR-A fast reasoner for binary qualitative constraint calculi. In: Proceedings of AAAI, vol. 8 (2008)"},{"key":"41_CR18","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo= ASP+ control: Preliminary report. arXiv preprint arXiv:1405.3694 (2014)"},{"key":"41_CR19","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. ICLP\/SLP, vol. 88, pp. 1070\u20131080 (1988)"},{"key":"41_CR20","unstructured":"Guesgen, H.W.: Spatial reasoning based on Allen\u2019s temporal logic. Technical report TR-89-049, International Computer Science Institute Berkeley (1989)"},{"key":"41_CR21","unstructured":"Lee, J.H.: The complexity of reasoning with relative directions. In: 21st European Conference on Artificial Intelligence (ECAI 2014) (2014)"},{"key":"41_CR22","unstructured":"Moratz, R.: Representing relative direction as a binary relation of oriented points. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI. Frontiers in Artificial Intelligence and Applications, vol. 141, pp. 407\u2013411. IOS Press (2006)"},{"key":"41_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/3-540-58601-6_93","volume-title":"Principles and Practice of Constraint Programming","author":"G Pesant","year":"1994","unstructured":"Pesant, G., Boyer, M.: QUAD-CLP(R): adding the power of quadratic constraints. In: Borning, A. (ed.) PPCP 1994. LNCS, vol. 874, pp. 95\u2013108. Springer, Heidelberg (1994)"},{"issue":"3","key":"41_CR24","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. Reasoning 22(3), 241\u2013262 (1999)","journal-title":"J. Autom. Reasoning"},{"key":"41_CR25","unstructured":"Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: KR, vol. 92, pp. 165\u2013176 (1992)"},{"key":"41_CR26","doi-asserted-by":"crossref","unstructured":"Schultz, C., Bhatt, M.: Towards a declarative spatial reasoning system. In: 20th European Conference on Artificial Intelligence (ECAI 2012) (2012)","DOI":"10.3233\/978-1-61499-098-7-925"},{"key":"41_CR27","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"},{"issue":"3","key":"41_CR28","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/S0169-023X(96)00017-1","volume":"20","author":"AC Varzi","year":"1996","unstructured":"Varzi, A.C.: Parts, wholes, and part-whole relations: the prospects of mereotopology. Data Knowl. Eng. 20(3), 259\u2013286 (1996)","journal-title":"Data Knowl. Eng."},{"key":"41_CR29","unstructured":"W\u00f6lfl, S., Westphal, M.: On combinations of binary qualitative constraint calculi. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence. IJCAI 2009, Pasadena, California, USA, 11\u201317 July 2009, pp. 967\u2013973 (2009)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23264-5_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T16:22:30Z","timestamp":1748622150000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23264-5_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232638","9783319232645"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23264-5_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"15 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}