{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T03:46:16Z","timestamp":1790394376115,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642231957","type":"print"},{"value":"9783642231964","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23196-4_12","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T09:23:12Z","timestamp":1315387392000},"page":"210-230","source":"Crossref","is-referenced-by-count":30,"title":["CLP(QS): A Declarative Spatial Reasoning Framework"],"prefix":"10.1007","author":[{"given":"Mehul","family":"Bhatt","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jae Hee","family":"Lee","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carl","family":"Schultz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Structure and Interpretation of Computer Programs","author":"H. Abelson","year":"1985","unstructured":"Abelson, H., Sussman, G.J., Sussman, J.: Structure and Interpretation of Computer Programs. MIT Press, Cambridge (1985)"},{"key":"12_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., van Benthem, J. (eds.): Handbook of Spatial Logics. Springer, Heidelberg (2007)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Almendros-Jim\u00e9nez, J.M.: Constraint logic programming over sets of spatial objects. In: Proceedings of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming. ACM, New York (2005)","DOI":"10.1145\/1085099.1085106"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Balbiani, P., Condotta, J.-F., Ligozat, G.: On the consistency problem for the indu calculus. Journal of Applied Logic (2006)","DOI":"10.1016\/j.jal.2005.06.002"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Banerjee, B., Chandrasekaran, B.: A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning. Journal of Artificial Intelligence Research (2010)","DOI":"10.1613\/jair.3069"},{"key":"12_CR6","volume-title":"Qualitative Spatial Representation and Reasoning: Trends and Future Directions","author":"M. Bhatt","year":"2010","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 (2010)"},{"key":"12_CR7","unstructured":"Bhatt, M., Flanagan, G.: Spatio-temporal abduction for scenario and narrative completion. In: Bhatt, M., Guesgen, H., Hazarika, S. (eds.) Proceedings of the International Workshop on Spatio-Temporal Dynamics, Co-Located With the European Conference on Artificial Intelligence (ECAI 2010). ECAI Workshop Proceedings (August 2010)"},{"key":"12_CR8","unstructured":"Bhatt, M., Freksa, C.: Spatial computing for design: An artificial intelligence perspective. In: Visual and Spatial Reasoning for Design Creativity, SDC 2010 (2011)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/978-3-642-03832-7_23","volume-title":"Spatial Information Theory","author":"M. Bhatt","year":"2009","unstructured":"Bhatt, M., Dylla, F., Hois, J.: Spatio-terminological inference for the design of ambient environments. In: Hornsby, K.S., Claramunt, C., Denis, M., Ligozat, G. (eds.) COSIT 2009. LNCS, vol.\u00a05756, pp. 371\u2013391. Springer, Heidelberg (2009)"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Bhatt, M., Guesgen, H., Woelfl, S., Hazarika, S.: Qualitative Spatial and Temporal Reasoning: Emerging Applications, Trends and Directions. Journal of Spatial Cognition and Computation (2011)","DOI":"10.1080\/13875868.2010.548568"},{"key":"12_CR11","volume-title":"Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing","author":"J. Canny","year":"1988","unstructured":"Canny, J.: Some algebraic and geometric computations in pspace. In: Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing. ACM, New York (1988)"},{"key":"12_CR12","volume-title":"Computational Geometry","author":"B. Chazelle","year":"1985","unstructured":"Chazelle, B., Dobkin, D.: Optimal convex decompositions. In: Computational Geometry. North-Holland, Amsterdam (1985)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Chomicki, J., Revesz, P.Z.: Constraint-based interoperability of spatiotemporal databases*. GeoInformatica (September 01, 1999)","DOI":"10.1023\/A:1009849314891"},{"key":"12_CR14","unstructured":"Cohn, A.G., Renz, J.: Qualitative spatial reasoning. In: Handbook of Knowledge Representation. Elsevier, Amsterdam (2007)"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Automata Theory and Formal Languages","author":"G. Collins","year":"1975","unstructured":"Collins, G.: Quantifier elimination for real closed fields by cylindrical algebraic decompostion. In: Brakhage, H. (ed.) GI-Fachtagung 1975. LNCS, vol.\u00a033, Springer, Heidelberg (1975)"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation (1991)","DOI":"10.1016\/S0747-7171(08)80152-6"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Colmerauer, A., Roussel, P.: The birth of prolog. In: History of Programming Languages\u2014II. ACM, New York (1996)","DOI":"10.1145\/234286.1057820"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Davenport, J.H., Heintz, J.: Real quantifier elimination is doubly exponential. Journal of Symbolic Computation (1988)","DOI":"10.1016\/S0747-7171(88)80004-X"},{"key":"12_CR19","unstructured":"Dolzmann, A., Seidl, A., Sturm, T.: Redlog User Manual, 3.1 edn. (November 2006)"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Duntsch, I., Wang, H., Mccloskey, S.: Relation algebras in qualitative spatial reasoning. Fundamenta Informaticae (1999)","DOI":"10.3233\/FI-1999-39301"},{"key":"12_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-540-69912-5_21","volume-title":"KI 2006: Advances in Artificial Intelligence","author":"F. Dylla","year":"2007","unstructured":"Dylla, F., Wallgr\u00fcn, J.: On generalizing orientation information in $\\mathcal{OPRA}_m$ . In: Freksa, C., Kohlhase, M., Schill, K. (eds.) KI 2006. LNCS (LNAI), vol.\u00a04314, pp. 274\u2013288. Springer, Heidelberg (2007)"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Egenhofer, M.J., Franzosa, R.D.: Point set topological relations. International Journal of Geographical Information Systems (1991)","DOI":"10.1080\/02693799108927841"},{"key":"12_CR23","unstructured":"Escrig, M.T., Toledo, F.: Qualitative spatial orientation with constraint handling rules. In: ECAI (1996)"},{"key":"12_CR24","series-title":"Lecture Notes in Computer Science","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.\u00a0639. Springer, Heidelberg (1992)"},{"key":"12_CR25","unstructured":"Frommberger, L., Lee, J.H., Wallgr\u00fcn, J.O., Dylla, F.: Composition in $\\mathcal{OPRA}_m$ . Technical report, SFB\/TR 8 Spatial Cognition (2007)"},{"key":"12_CR26","unstructured":"Hearn, A.C.: REDUCE User\u2019s Manual, 3.8th edn., Santa Monica, CA, USA (February 2004)"},{"key":"12_CR27","volume-title":"Geometric and solid modeling: an introduction","author":"C.M. Hoffmann","year":"1989","unstructured":"Hoffmann, C.M.: Geometric and solid modeling: an introduction. Morgan Kaufmann Publishers Inc., San Francisco (1989)"},{"key":"12_CR28","volume-title":"RISC-CLP (Real): logic programming with non-linear constraints over the reals","author":"H. Hong","year":"1993","unstructured":"Hong, H.: RISC-CLP (Real): logic programming with non-linear constraints over the reals. MIT Press, Cambridge (1993)"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Maher, M.J.: Constraint logic programming: A survey. J. Log. Program. (1994)","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"12_CR30","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Michaylov, S., Stuckey, P.J., Yap, R.H.C.: The clp( r ) language and system. ACM Trans. Program. Lang. Syst. (1992)","DOI":"10.1145\/129393.129398"},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"Kakas, A.C., Michael, A., Mourlas, C.: ACLP: Abductive constraint logic programming. J. Log. Program. (2000)","DOI":"10.1016\/S0743-1066(99)00075-8"},{"key":"12_CR32","volume-title":"Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","author":"P.C. Kanellakis","year":"1990","unstructured":"Kanellakis, P.C., Kuper, G.M., Revesz, P.Z.: Constraint query languages. In: Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. ACM, New York (1990) ISBN 0-89791-352-3"},{"key":"12_CR33","doi-asserted-by":"crossref","unstructured":"Kowalski, R.A.: The early years of logic programming. Commun. ACM (1988)","DOI":"10.1145\/35043.35046"},{"key":"12_CR34","doi-asserted-by":"crossref","unstructured":"Kurup, U., Cassimatis, N.: Integrating constraint satisfaction and spatial reasoning. In: Proceedings of the 24th AAAI Conference on Artificial Intelligence (2010)","DOI":"10.1609\/aaai.v24i1.7574"},{"key":"12_CR35","unstructured":"Ladkin, P.B., Maddux, R.D.: On binary constraint networks. Technical report, Kestrel Institute (1988)"},{"key":"12_CR36","volume-title":"Proceedings of the 23rd National Conference on Artificial Intelligence","author":"V. Lifschitz","year":"2008","unstructured":"Lifschitz, V.: What is answer set programming? In: Proceedings of the 23rd National Conference on Artificial Intelligence, vol.\u00a03. AAAI Press, Menlo Park (2008)"},{"key":"12_CR37","unstructured":"Lloyd, J.W.: Practical advtanages of declarative programming. In: Alpuente, M., Barbuti, R., Ramos, I. (eds.) GULP-PRODE, vol.\u00a0(1) (1994)"},{"key":"12_CR38","unstructured":"Mishra, B.: Computational real algebraic geometry. In: Handbook of Discrete and Computational Geometry. CRC Press, Inc., Boca Raton (1997)"},{"key":"12_CR39","unstructured":"Moratz, R.: Representing relative direction as a binary relation of oriented points. In: Proceeding of the 2006 Conference on ECAI 2006: 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, August 29\u2013September 1, IOS Press, Amsterdam (2006)"},{"key":"12_CR40","unstructured":"Randell, D.A., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Principles of Knowledge Representation and Reasoning, KR 1992. Morgan Kaufmann, San Francisco (1992)"},{"key":"12_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1007\/11564751_40","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"J. Renz","year":"2005","unstructured":"Renz, J., Ligozat, G.: Weak composition for qualitative spatial and temporal reasoning. In: van Beek, P. (ed.) CP 2005. LNCS, vol.\u00a03709, pp. 534\u2013548. Springer, Heidelberg (2005)"},{"key":"12_CR42","unstructured":"Renz, J., Nebel, B.: On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus. In: IJCAI, vol.\u00a0(1) (1997)"},{"key":"12_CR43","series-title":"Lecture Notes in Computer Science","volume-title":"Spatial Information Theory","author":"C. Schlieder","year":"1995","unstructured":"Schlieder, C.: Reasoning about ordering. In: Kuhn, W., Frank, A.U. (eds.) COSIT 1995. LNCS, vol.\u00a0988. Springer, Heidelberg (1995)"},{"key":"12_CR44","series-title":"Lecture Notes in Computer Science","volume-title":"Constraint Handling Rules","year":"2008","unstructured":"Schrijvers, T., Fr\u00fchwirth, T.W. (eds.): Constraint Handling Rules. LNCS, vol.\u00a05388. Springer, Heidelberg (2008)"},{"key":"12_CR45","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-540-32255-9_17","volume-title":"Spatial Cognition IV, Reasoning, Action, Interaction","author":"A. Scivos","year":"2005","unstructured":"Scivos, A., Nebel, B.: The finest of its class: The natural point-based ternary calculus for qualitative spatial reasoning. In: Freksa, C., Knauff, M., Krieg-Br\u00fcckner, B., Nebel, B., Barkowsky, T. (eds.) Spatial Cognition IV. LNCS (LNAI), vol.\u00a03343, pp. 283\u2013303. Springer, Heidelberg (2005)"},{"key":"12_CR46","doi-asserted-by":"crossref","unstructured":"Sturm, T.: Quantifier elimination for constraint logic programming. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2005. LNCS, vol.\u00a03718, pp. 416\u2013430. Springer, Heidelberg (2005)","DOI":"10.1007\/11555964_36"},{"key":"12_CR47","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A decision method for elementary algebra and geometry. Technical report, RAND Corporation, Santa Monica, CA (1951)","DOI":"10.1525\/9780520348097"},{"key":"12_CR48","unstructured":"Tassoni, S., Foliaroni, P., Bhatt, M., De Felice, G.: Toward a Qualitative Model of 3D Visibility. In: 25th International Workshop on Qualitative Reasoning, IJCAI 2011 (2011) (position paper)"},{"key":"12_CR49","unstructured":"Uribe, T.E., Chaudhri, V., Hayes, P.J., Stickel, M.E.: Qualitative spatial reasoning for question-answering: Axiom reuse and algebraic methods. In: AAAI Spring Symposium on Mining Answers from Texts and Knowledge Bases (2002)"},{"key":"12_CR50","volume-title":"Handbook of Knowledge Representation (Foundations of Artificial Intelligence)","author":"F. Harmelen van","year":"2007","unstructured":"van Harmelen, F., Lifschitz, V., Porter, B. (eds.): Handbook of Knowledge Representation (Foundations of Artificial Intelligence). Elsevier Science, Amsterdam (2007)"},{"key":"12_CR51","doi-asserted-by":"crossref","unstructured":"Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.: Swi-prolog. In: CoRR (2010)","DOI":"10.1017\/S1471068411000494"},{"key":"12_CR52","doi-asserted-by":"crossref","unstructured":"Wolter, D., Lee, J.H.: Qualitative reasoning with directional relations. Artificial Intelligence (2010)","DOI":"10.1016\/j.artint.2010.09.004"}],"container-title":["Lecture Notes in Computer Science","Spatial Information Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23196-4_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,9]],"date-time":"2023-06-09T07:17:13Z","timestamp":1686295033000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23196-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642231957","9783642231964"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23196-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}