{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T03:46:19Z","timestamp":1790394379350,"version":"4.1.0"},"reference-count":163,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2017,4,4]],"date-time":"2017-04-04T00:00:00Z","timestamp":1491264000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"QShape and LogoSpace"},{"name":"DFG-funded SFB\/TR 8 \u201cSpatial Cognition,\u201d"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Comput. Surv."],"published-print":{"date-parts":[[2018,1,31]]},"abstract":"<jats:p>Qualitative spatial and temporal reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR techniques include exploiting computational properties that allow efficient reasoning to capture human cognitive concepts in a computational framework. The notion of a qualitative calculus is one of the most prominent QSTR formalisms. This article presents the first overview of all qualitative calculi developed to date and their computational properties, together with generalized definitions of the fundamental concepts and methods that now encompass all existing calculi. Moreover, we provide a classification of calculi according to their algebraic properties.<\/jats:p>","DOI":"10.1145\/3038927","type":"journal-article","created":{"date-parts":[[2017,4,5]],"date-time":"2017-04-05T12:46:38Z","timestamp":1491396398000},"page":"1-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":53,"title":["A Survey of Qualitative Spatial and Temporal Calculi"],"prefix":"10.1145","volume":"50","author":[{"given":"Frank","family":"Dylla","sequence":"first","affiliation":[{"name":"University of Bremen, Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jae Hee","family":"Lee","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[{"name":"University of Magdeburg, Magdeburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5592-6183","authenticated-orcid":false,"given":"Thomas","family":"Schneider","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andr\u00e9 Van","family":"Delden","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9790-4708","authenticated-orcid":false,"given":"Jasper Van De","family":"Ven","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Diedrich","family":"Wolter","sequence":"additional","affiliation":[{"name":"University of Bamberg, Bamberg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,4,4]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1625275.1625307"},{"key":"e_1_2_2_2_1","doi-asserted-by":"crossref","unstructured":"Marco Aiello Ian E. Pratt-Hartmann and Johan F.A.K. van Benthem (Eds.). 2007. Handbook of Spatial Logics. Springer.  Marco Aiello Ian E. Pratt-Hartmann and Johan F.A.K. van Benthem (Eds.). 2007. Handbook of Spatial Logics. Springer.","DOI":"10.1007\/978-1-4020-5587-4"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"e_1_2_2_4_1","volume-title":"Proc. of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference (FLAIRS\u201913)","author":"Amaneddine Nouhad","year":"2013","unstructured":"Nouhad Amaneddine and Jean-Fran\u00e7ois Condotta . 2013 . On the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints . In Proc. of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference (FLAIRS\u201913) . AAAI Press, 16--21. Nouhad Amaneddine and Jean-Fran\u00e7ois Condotta. 2013. On the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints. In Proc. of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference (FLAIRS\u201913). AAAI Press, 16--21."},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00368-1"},{"key":"e_1_2_2_6_1","doi-asserted-by":"crossref","unstructured":"Franz Baader Diego Calvanese Deborah L. McGuinness Daniele Nardi and Peter F. Patel-Schneider (Eds.). 2007. The Description Logic Handbook: Theory Implementation and Applications (2nd ed.). Cambridge University Press.  Franz Baader Diego Calvanese Deborah L. McGuinness Daniele Nardi and Peter F. Patel-Schneider (Eds.). 2007. The Description Logic Handbook: Theory Implementation and Applications (2nd ed.). Cambridge University Press.","DOI":"10.1017\/CBO9780511711787"},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/12.5.885"},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2005.06.002"},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020079114666"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/3087454.3087469"},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48159-1_6"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/3087011.3087052"},{"key":"e_1_2_2_13_1","volume-title":"Algorithms in Real Algebraic Geometry","author":"Basu Saugata","unstructured":"Saugata Basu , Richard Pollack , and Marie-Fran\u00e7oise Roy . 2006. Algorithms in Real Algebraic Geometry . Springer . Saugata Basu, Richard Pollack, and Marie-Fran\u00e7oise Roy. 2006. Algorithms in Real Algebraic Geometry. Springer."},{"key":"e_1_2_2_14_1","volume-title":"Petrakis","author":"Batsakis Sotiris","year":"2011","unstructured":"Sotiris Batsakis and Euripides G. M . Petrakis . 2011 . SOWL : A framework for handling spatio-temporal information in OWL 2.0. In Proc. of the 5th International Symposium on Rule-Based Reasoning, Programming, and Applications (RuleML\u201911) (LNCS), Vol. 6826 . Springer , 242--249. Sotiris Batsakis and Euripides G. M. Petrakis. 2011. SOWL: A framework for handling spatio-temporal information in OWL 2.0. In Proc. of the 5th International Symposium on Rule-Based Reasoning, Programming, and Applications (RuleML\u201911) (LNCS), Vol. 6826. Springer, 242--249."},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020083231504"},{"key":"e_1_2_2_17_1","volume-title":"Jae Hee Lee, and Carl P. L. Schultz","author":"Bhatt Mehul","year":"2011","unstructured":"Mehul Bhatt , Jae Hee Lee, and Carl P. L. Schultz . 2011 . CLP(QS): A Declarative Spatial Reasoning Framework. In Proc. of the 10th International Conference on Spatial Information Theory (COSIT\u201911) (LNCS), Max J. Egenhofer et al. (Ed.), Vol. 6899 . Springer , 210--230. Mehul Bhatt, Jae Hee Lee, and Carl P. L. Schultz. 2011. CLP(QS): A Declarative Spatial Reasoning Framework. In Proc. of the 10th International Conference on Spatial Information Theory (COSIT\u201911) (LNCS), Max J. Egenhofer et al. (Ed.), Vol. 6899. Springer, 210--230."},{"key":"e_1_2_2_18_1","volume-title":"Loke","author":"Bhatt Mehul","year":"2008","unstructured":"Mehul Bhatt and Seng W . Loke . 2008 . Modelling Dynamic Spatial Systems in the Situation Calculus. Spatial Cognition 8 Computation 8, 1--2 (2008), 86--130. Mehul Bhatt and Seng W. Loke. 2008. Modelling Dynamic Spatial Systems in the Situation Calculus. Spatial Cognition 8 Computation 8, 1--2 (2008), 86--130."},{"key":"e_1_2_2_19_1","volume-title":"Proc. of the Nineteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS\u201906)","author":"Bhatt Mehul","year":"2006","unstructured":"Mehul Bhatt , J. Wenny Rahayu , and Gerald Sterling . 2006 . Qualitative Spatial Reasoning with Topological Relations in the Situation Calculus . In Proc. of the Nineteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS\u201906) . AAAI Press, 713--718. Mehul Bhatt, J. Wenny Rahayu, and Gerald Sterling. 2006. Qualitative Spatial Reasoning with Topological Relations in the Situation Calculus. In Proc. of the Nineteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS\u201906). AAAI Press, 713--718."},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511586507"},{"key":"e_1_2_2_21_1","volume-title":"Proc. of the 22nd International Joint Conference on Artificial Intelligence (IJCAI\u201911)","author":"Bodirsky Manuel","year":"2011","unstructured":"Manuel Bodirsky and Stefan W\u00f6lfl . 2011 . RCC8 Is Polynomial on Networks of Bounded Treewidth . In Proc. of the 22nd International Joint Conference on Artificial Intelligence (IJCAI\u201911) . AAAI Press, 756--761. Manuel Bodirsky and Stefan W\u00f6lfl. 2011. RCC8 Is Polynomial on Networks of Bounded Treewidth. In Proc. of the 22nd International Joint Conference on Artificial Intelligence (IJCAI\u201911). AAAI Press, 756--761."},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/973340.973343"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888913000350"},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2006.102"},{"key":"e_1_2_2_25_1","volume-title":"Proc. of the 8th International Conference on Geographic Information Science (GIScience\u201914)","volume":"8728","author":"Clementini Eliseo","unstructured":"Eliseo Clementini and Anthony G. Cohn . 2014. RCC*-9 and CBM . In Proc. of the 8th International Conference on Geographic Information Science (GIScience\u201914) (LNCS), Vol. 8728 . Springer, 349--365. Eliseo Clementini and Anthony G. Cohn. 2014. RCC*-9 and CBM. In Proc. of the 8th International Conference on Geographic Information Science (GIScience\u201914) (LNCS), Vol. 8728. Springer, 349--365."},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56869-7_16"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2009.79"},{"key":"e_1_2_2_28_1","first-page":"1","article-title":"Qualitative spatial representation and reasoning: an overview","volume":"46","author":"Cohn Anthony G.","year":"2001","unstructured":"Anthony G. Cohn and Shyamanta M. Hazarika . 2001 . Qualitative spatial representation and reasoning: an overview . Fund. Inform. 46 (2001), 1 -- 29 . Anthony G. Cohn and Shyamanta M. Hazarika. 2001. Qualitative spatial representation and reasoning: an overview. Fund. Inform. 46 (2001), 1--29.","journal-title":"Fund. Inform."},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009712514511"},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/2750423.2750436"},{"key":"e_1_2_2_31_1","volume-title":"Cohn and Jochen Renz","author":"Anthony","year":"2008","unstructured":"Anthony G. Cohn and Jochen Renz . 2008 . Qualitative Spatial Representation and Reasoning. Foundations of Artificial Intelligence 3, Handbook of Knowledge Representation and Reasoning ( 2008), 551--596. Anthony G. Cohn and Jochen Renz. 2008. Qualitative Spatial Representation and Reasoning. Foundations of Artificial Intelligence 3, Handbook of Knowledge Representation and Reasoning (2008), 551--596."},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/3006433.3006451"},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2006.2"},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/3013545.3013555"},{"key":"e_1_2_2_35_1","unstructured":"Ernest Davis. 1990. Representations of Commonsense Knowledge. Morgan Kaufmann.  Ernest Davis. 1990. Representations of Commonsense Knowledge. Morgan Kaufmann."},{"key":"e_1_2_2_36_1","unstructured":"Rina Dechter. 2003. Constraint processing. Morgan Kaufmann.  Rina Dechter. 2003. Constraint processing. Morgan Kaufmann."},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2010.12.021"},{"key":"e_1_2_2_38_1","volume-title":"Proc. of the 14th International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201914)","author":"Duckham Matt","year":"2014","unstructured":"Matt Duckham , Sanjiang Li , Weiming Liu , and Zhiguo Long . 2014 . On Redundant Topological Constraints . In Proc. of the 14th International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201914) . AAAI Press, 618--621. Matt Duckham, Sanjiang Li, Weiming Liu, and Zhiguo Long. 2014. On Redundant Topological Constraints. In Proc. of the 14th International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201914). AAAI Press, 618--621."},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-004-5899-8"},{"key":"e_1_2_2_40_1","volume-title":"Proc. of the 19th European Conference on Artificial Intelligence (ECAI\u201910)","volume":"215","author":"Dylla Frank","year":"2010","unstructured":"Frank Dylla and Jae Hee Lee . 2010 . A Combined Calculus on Orientation with Composition Based on Geometric Properties . In Proc. of the 19th European Conference on Artificial Intelligence (ECAI\u201910) (FAIA), Vol. 215 . IOS Press, 1087--1088. Frank Dylla and Jae Hee Lee. 2010. A Combined Calculus on Orientation with Composition Based on Geometric Properties. In Proc. of the 19th European Conference on Artificial Intelligence (ECAI\u201910) (FAIA), Vol. 215. IOS Press, 1087--1088."},{"key":"e_1_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-01790-7_28"},{"key":"e_1_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-006-9099-4"},{"key":"e_1_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54414-3_36"},{"key":"e_1_2_2_44_1","first-page":"47","article-title":"Assessing the Consistency of Complete and Incomplete Topological Information","volume":"1","author":"Egenhofer Max J.","year":"1993","unstructured":"Max J. Egenhofer and Jayant Sharma . 1993 . Assessing the Consistency of Complete and Incomplete Topological Information . Geographical Systems 1 , 1 (1993), 47 -- 68 . Max J. Egenhofer and Jayant Sharma. 1993. Assessing the Consistency of Complete and Incomplete Topological Information. Geographical Systems 1, 1 (1993), 47--68.","journal-title":"Geographical Systems"},{"key":"e_1_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/505168.505178"},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/3540634932_16"},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30221-6_25"},{"key":"e_1_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2008.08.010"},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/1045744.1045752"},{"key":"e_1_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-46752-3_17"},{"key":"e_1_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/1045-926X(92)90007-9"},{"key":"e_1_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90090-K"},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55966-3_10"},{"key":"e_1_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1992.271766"},{"key":"e_1_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622503.1622508"},{"key":"e_1_2_2_56_1","volume-title":"Proc. of the Seventh Annual Irish Conference on AI and Cognitive Science (AICS\u201994)","author":"Galton Antony P.","year":"1994","unstructured":"Antony P. Galton . 1994 . Lines of Sight . In Proc. of the Seventh Annual Irish Conference on AI and Cognitive Science (AICS\u201994) . 103--113. Antony P. Galton. 1994. Lines of Sight. In Proc. of the Seventh Annual Irish Conference on AI and Cognitive Science (AICS\u201994). 103--113."},{"key":"e_1_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.5555\/3000905.3000972"},{"key":"e_1_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00193-5"},{"key":"e_1_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2013.01.058"},{"key":"e_1_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2004.1401040"},{"key":"e_1_2_2_61_1","volume-title":"Proc. of the 4th International Symposium on Artificial Intelligence and Mathematics (ISAIM\u201996)","author":"Gotts Nicholas Mark","year":"1996","unstructured":"Nicholas Mark Gotts . 1996 . Formalizing Commonsense Topology: The INCH Calculus . In Proc. of the 4th International Symposium on Artificial Intelligence and Mathematics (ISAIM\u201996) . 72--75. Nicholas Mark Gotts. 1996. Formalizing Commonsense Topology: The INCH Calculus. In Proc. of the 4th International Symposium on Artificial Intelligence and Mathematics (ISAIM\u201996). 72--75."},{"key":"e_1_2_2_62_1","volume-title":"Topological Inference. In Proc. of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI\u201995)","author":"Grigni Michelangelo","unstructured":"Michelangelo Grigni , Dimitris Papadias , and Christos H. Papadimitriou . 1995 . Topological Inference. In Proc. of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI\u201995) . 901--907. Michelangelo Grigni, Dimitris Papadias, and Christos H. Papadimitriou. 1995. Topological Inference. In Proc. of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI\u201995). 901--907."},{"key":"e_1_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.5555\/2590200.2590204"},{"key":"e_1_2_2_64_1","volume-title":"Proc. of the 22nd International Joint Conference on Artificial Intelligence (IJCAI\u201911)","author":"Hahmann Torsten","year":"2011","unstructured":"Torsten Hahmann and Michael Gr\u00fcninger . 2011 . Multidimensional Mereotopology with Betweenness . In Proc. of the 22nd International Joint Conference on Artificial Intelligence (IJCAI\u201911) . AAAI Press, 906--911. Torsten Hahmann and Michael Gr\u00fcninger. 2011. Multidimensional Mereotopology with Betweenness. In Proc. of the 22nd International Joint Conference on Artificial Intelligence (IJCAI\u201911). AAAI Press, 906--911."},{"key":"e_1_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0020328"},{"key":"e_1_2_2_66_1","volume-title":"Relation algebras by games. Studies in logic and the foundations of mathematics","author":"Hirsch Robin","unstructured":"Robin Hirsch and Ian Hodkinson . 2002. Relation algebras by games. Studies in logic and the foundations of mathematics , Vol. 147 . Elsevier . Robin Hirsch and Ian Hodkinson. 2002. Relation algebras by games. Studies in logic and the foundations of mathematics, Vol. 147. Elsevier."},{"key":"e_1_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSAE.2012.6272992"},{"key":"e_1_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25007-6_15"},{"key":"e_1_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00044-8"},{"key":"e_1_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00031-9"},{"key":"e_1_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622767.1622774"},{"key":"e_1_2_2_72_1","volume-title":"The Psychological Validity of Qualitative Spatial Reasoning in One Dimension. Spatial Cognition 8 Computation 4, 2","author":"Knauff Markus","year":"2004","unstructured":"Markus Knauff , Gerhard Strube , Corinne Jola , Reinhold Rauh , and Christoph Schlieder . 2004. The Psychological Validity of Qualitative Spatial Reasoning in One Dimension. Spatial Cognition 8 Computation 4, 2 ( 2004 ), 167--188. Markus Knauff, Gerhard Strube, Corinne Jola, Reinhold Rauh, and Christoph Schlieder. 2004. The Psychological Validity of Qualitative Spatial Reasoning in One Dimension. Spatial Cognition 8 Computation 4, 2 (2004), 167--188."},{"key":"e_1_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55611-7"},{"key":"e_1_2_2_74_1","volume-title":"Proc. of Workshop on Cognitive Vision","author":"K\u00f6hler Christian","year":"2002","unstructured":"Christian K\u00f6hler . 2002 . The Occlusion Calculus . In Proc. of Workshop on Cognitive Vision . Zurich, Switzerland. Christian K\u00f6hler. 2002. The Occlusion Calculus. In Proc. of Workshop on Cognitive Vision. Zurich, Switzerland."},{"key":"e_1_2_2_75_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5587-4_9"},{"key":"e_1_2_2_76_1","volume-title":"Article 7","author":"Kontchakov Roman","year":"2010","unstructured":"Roman Kontchakov , Ian Pratt-Hartmann , Frank Wolter , and Michael Zakharyaschev . 2010. Spatial logics with connectedness predicates. Log. Meth. Comp. Sci. 6, 3 , Article 7 ( 2010 ), 43 pages. Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, and Michael Zakharyaschev. 2010. Spatial logics with connectedness predicates. Log. Meth. Comp. Sci. 6, 3, Article 7 (2010), 43 pages."},{"key":"e_1_2_2_77_1","volume-title":"Proc. of the 21st European Conference on Artificial Intelligence (ECAI\u201914)","volume":"263","author":"Kreutzmann Arne","year":"2014","unstructured":"Arne Kreutzmann and Diedrich Wolter . 2014 . Qualitative Spatial and Temporal Reasoning with AND\/OR Linear Programming . In Proc. of the 21st European Conference on Artificial Intelligence (ECAI\u201914) (FAIA), Vol. 263 . IOS Press, 495--500. Arne Kreutzmann and Diedrich Wolter. 2014. Qualitative Spatial and Temporal Reasoning with AND\/OR Linear Programming. In Proc. of the 21st European Conference on Artificial Intelligence (ECAI\u201914) (FAIA), Vol. 263. IOS Press, 495--500."},{"key":"e_1_2_2_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876639"},{"key":"e_1_2_2_79_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0202_3"},{"key":"e_1_2_2_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869790.1869844"},{"key":"e_1_2_2_81_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85845-4_32"},{"key":"e_1_2_2_82_1","volume-title":"Proc. of the 21st European Conference on Artificial Intelligence (ECAI\u201914)","volume":"263","author":"Lee Jae Hee","year":"2014","unstructured":"Jae Hee Lee . 2014 . The Complexity of Reasoning with Relative Directions . In Proc. of the 21st European Conference on Artificial Intelligence (ECAI\u201914) (FAIA), Vol. 263 . IOS Press, 507--512. Jae Hee Lee. 2014. The Complexity of Reasoning with Relative Directions. In Proc. of the 21st European Conference on Artificial Intelligence (ECAI\u201914) (FAIA), Vol. 263. IOS Press, 507--512."},{"key":"e_1_2_2_83_1","volume-title":"Proc. of the 23rd International Joint Conference on Artificial Intelligence (IJCAI\u201913)","author":"Lee Jae Hee","year":"2013","unstructured":"Jae Hee Lee , Jochen Renz , and Diedrich Wolter . 2013 . StarVars\u2014Effective Reasoning about Relative Directions . In Proc. of the 23rd International Joint Conference on Artificial Intelligence (IJCAI\u201913) . AAAI Press, 976--982. Jae Hee Lee, Jochen Renz, and Diedrich Wolter. 2013. StarVars\u2014Effective Reasoning about Relative Directions. In Proc. of the 23rd International Joint Conference on Artificial Intelligence (IJCAI\u201913). AAAI Press, 976--982."},{"key":"e_1_2_2_84_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511613609"},{"key":"e_1_2_2_85_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2013.05.006"},{"key":"e_1_2_2_86_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57207-4_5"},{"key":"e_1_2_2_87_1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1997.9999"},{"key":"e_1_2_2_88_1","doi-asserted-by":"publisher","DOI":"10.1007\/11556114_17"},{"key":"e_1_2_2_89_1","volume-title":"Qualitative Spatial and Temporal Reasoning","author":"Ligozat G\u00e9rard","unstructured":"G\u00e9rard Ligozat . 2011. Qualitative Spatial and Temporal Reasoning . John Wiley 8 Sons. G\u00e9rard Ligozat. 2011. Qualitative Spatial and Temporal Reasoning. John Wiley 8 Sons."},{"key":"e_1_2_2_90_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28633-2_8"},{"key":"e_1_2_2_91_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2011.07.005"},{"key":"e_1_2_2_92_1","volume-title":"Proc. of the 20th European Conference on Artificial Intelligence (ECAI\u201912)","volume":"242","author":"Liu Weiming","year":"2012","unstructured":"Weiming Liu and Sanjiang Li . 2012 . Here, There, but Not Everywhere: An Extended Framework for Qualitative Constraint Satisfaction . In Proc. of the 20th European Conference on Artificial Intelligence (ECAI\u201912) (FAIA), Vol. 242 . IOS Press, 552--557. Weiming Liu and Sanjiang Li. 2012. Here, There, but Not Everywhere: An Extended Framework for Qualitative Constraint Satisfaction. In Proc. of the 20th European Conference on Artificial Intelligence (ECAI\u201912) (FAIA), Vol. 242. IOS Press, 552--557."},{"key":"e_1_2_2_93_1","doi-asserted-by":"publisher","DOI":"10.5555\/1661445.1661581"},{"key":"e_1_2_2_94_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.05.006"},{"key":"e_1_2_2_95_1","volume-title":"Proc. of the Fifth Starting AI Researchers\u2019 Symposium (STAIRS\u201910)","volume":"222","author":"L\u00fccke Dominik","year":"2010","unstructured":"Dominik L\u00fccke and Till Mossakowski . 2010 . A much better polynomial time approximation of consistency in the LR calculus . In Proc. of the Fifth Starting AI Researchers\u2019 Symposium (STAIRS\u201910) (FAIA), Vol. 222 . IOS Press, 175--185. Dominik L\u00fccke and Till Mossakowski. 2010. A much better polynomial time approximation of consistency in the LR calculus. In Proc. of the Fifth Starting AI Researchers\u2019 Symposium (STAIRS\u201910) (FAIA), Vol. 222. IOS Press, 175--185."},{"key":"e_1_2_2_96_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-006-9049-7"},{"key":"e_1_2_2_97_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"e_1_2_2_98_1","volume-title":"Relation algebras. Stud. Logic Found. Math","author":"Maddux Roger D.","unstructured":"Roger D. Maddux . 2006. Relation algebras. Stud. Logic Found. Math ., Vol. 150 . Elsevier . Roger D. Maddux. 2006. Relation algebras. Stud. Logic Found. Math., Vol. 150. Elsevier."},{"key":"e_1_2_2_99_1","volume-title":"Proc. of the 17th European Conference on Artificial Intelligence (ECAI\u201906)","volume":"141","author":"Moratz Reinhard","year":"2006","unstructured":"Reinhard Moratz . 2006 . Representing Relative Direction as a Binary Relation of Oriented Points . In Proc. of the 17th European Conference on Artificial Intelligence (ECAI\u201906) (FAIA), Vol. 141 . IOS Press, 407--411. Reinhard Moratz. 2006. Representing Relative Direction as a Binary Relation of Oriented Points. In Proc. of the 17th European Conference on Artificial Intelligence (ECAI\u201906) (FAIA), Vol. 141. IOS Press, 407--411."},{"key":"e_1_2_2_100_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2011.07.004"},{"key":"e_1_2_2_101_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2006.11.001"},{"key":"e_1_2_2_102_1","doi-asserted-by":"publisher","DOI":"10.5555\/3006433.3006483"},{"key":"e_1_2_2_103_1","doi-asserted-by":"publisher","DOI":"10.5311\/JOSIS.2012.5.84"},{"key":"e_1_2_2_104_1","volume-title":"Algebraische Eigenschaften qualitativer Constraint-Kalk\u00fcle. Diploma thesis. Dept. of Comput. Science","author":"Mossakowski Florian","unstructured":"Florian Mossakowski . 2007. Algebraische Eigenschaften qualitativer Constraint-Kalk\u00fcle. Diploma thesis. Dept. of Comput. Science , University of Bremen. In German. Florian Mossakowski. 2007. Algebraische Eigenschaften qualitativer Constraint-Kalk\u00fcle. Diploma thesis. Dept. of Comput. Science, University of Bremen. In German."},{"key":"e_1_2_2_105_1","volume-title":"Hets. In Proc. of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201907)","volume":"4424","author":"Mossakowski Till","year":"2007","unstructured":"Till Mossakowski , Christian Maeder , and Klaus L\u00fcttich . 2007 . The Heterogeneous Tool Set , Hets. In Proc. of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201907) (LNCS), Vol. 4424 . Springer, 519--522. Till Mossakowski, Christian Maeder, and Klaus L\u00fcttich. 2007. The Heterogeneous Tool Set, Hets. In Proc. of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201907) (LNCS), Vol. 4424. Springer, 519--522."},{"key":"e_1_2_2_106_1","volume-title":"Qualitative Reasoning about Relative Direction of Oriented Points. Artif. Intell. 180--181","author":"Mossakowski Till","year":"2012","unstructured":"Till Mossakowski and Reinhard Moratz . 2012. Qualitative Reasoning about Relative Direction of Oriented Points. Artif. Intell. 180--181 ( 2012 ), 34--45. Till Mossakowski and Reinhard Moratz. 2012. Qualitative Reasoning about Relative Direction of Oriented Points. Artif. Intell. 180--181 (2012), 34--45."},{"key":"e_1_2_2_107_1","doi-asserted-by":"publisher","DOI":"10.5555\/2910557.2910565"},{"key":"e_1_2_2_108_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-012-9327-5"},{"key":"e_1_2_2_109_1","doi-asserted-by":"publisher","DOI":"10.1145\/200836.200848"},{"key":"e_1_2_2_110_1","first-page":"14","article-title":"Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning","volume":"16","author":"Nebel Bernhard","year":"2002","unstructured":"Bernhard Nebel and Alexander Scivos . 2002 . Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning . KI 16 , 4 (2002), 14 -- 18 . Bernhard Nebel and Alexander Scivos. 2002. Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning. KI 16, 4 (2002), 14--18.","journal-title":"KI"},{"key":"e_1_2_2_111_1","volume-title":"LNCS","volume":"2283","author":"Nipkow Tobias","year":"2002","unstructured":"Tobias Nipkow , Lawrence C. Paulson , and Markus Wenzel . 2002 . Isabelle\/HOL, A Proof Assistant for Higher-Order Logic . LNCS , Vol. 2283 . Springer. Tobias Nipkow, Lawrence C. Paulson, and Markus Wenzel. 2002. Isabelle\/HOL, A Proof Assistant for Higher-Order Logic. LNCS, Vol. 2283. Springer."},{"key":"e_1_2_2_112_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72584-8_21"},{"key":"e_1_2_2_113_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45329-6_30"},{"key":"e_1_2_2_114_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46695-9_25"},{"key":"e_1_2_2_115_1","volume-title":"Proc. of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI\u201999)","author":"Arun","unstructured":"Arun K. Pujari and Abdul Sattar. 1999. A new framework for reasoning about points, intervals and durations . In Proc. of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI\u201999) . Morgan Kaufmann, 1259--1267. Arun K. Pujari and Abdul Sattar. 1999. A new framework for reasoning about points, intervals and durations. In Proc. of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI\u201999). Morgan Kaufmann, 1259--1267."},{"key":"e_1_2_2_116_1","doi-asserted-by":"publisher","DOI":"10.1007\/11551263_6"},{"key":"e_1_2_2_117_1","volume-title":"Proc. of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR\u201992)","author":"Randell David A.","unstructured":"David A. Randell , Zhan Cui , and Anthony G. Cohn . 1992. A Spatial Logic based on Regions and \u201cConnection \u201d. In Proc. of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR\u201992) . Morgan Kaufmann, 165--176. David A. Randell, Zhan Cui, and Anthony G. Cohn. 1992. A Spatial Logic based on Regions and \u201cConnection\u201d. In Proc. of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR\u201992). Morgan Kaufmann, 165--176."},{"key":"e_1_2_2_118_1","volume-title":"Proc. of the 17th International Joint Conference on Artificial Intelligence (IJCAI\u201901)","author":"Randell David A.","year":"2001","unstructured":"David A. Randell , Mark Witkowski , and Murray Shanahan . 2001 . From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax . In Proc. of the 17th International Joint Conference on Artificial Intelligence (IJCAI\u201901) . Morgan Kaufmann, 57--66. David A. Randell, Mark Witkowski, and Murray Shanahan. 2001. From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax. In Proc. of the 17th International Joint Conference on Artificial Intelligence (IJCAI\u201901). Morgan Kaufmann, 57--66."},{"key":"e_1_2_2_119_1","volume-title":"Proc. of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI\u201999)","author":"Renz Jochen","year":"1999","unstructured":"Jochen Renz . 1999 . Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis . In Proc. of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI\u201999) . Morgan Kaufmann, 448--455. Jochen Renz. 1999. Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis. In Proc. of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI\u201999). Morgan Kaufmann, 448--455."},{"key":"e_1_2_2_120_1","volume-title":"Directed Intervals. In Proc. of the 17th International Joint Conference on Artificial Intelligence (IJCAI\u201901)","author":"Renz Jochen","year":"2001","unstructured":"Jochen Renz . 2001 . A Spatial Odyssey of the Interval Algebra: 1 . Directed Intervals. In Proc. of the 17th International Joint Conference on Artificial Intelligence (IJCAI\u201901) . Morgan Kaufmann, 51--56. Jochen Renz. 2001. A Spatial Odyssey of the Interval Algebra: 1. Directed Intervals. In Proc. of the 17th International Joint Conference on Artificial Intelligence (IJCAI\u201901). Morgan Kaufmann, 51--56."},{"key":"e_1_2_2_121_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-70736-0"},{"key":"e_1_2_2_122_1","volume-title":"Proc. of the 20th International Joint Conference on Artificial Intelligence (IJCAI\u201907)","author":"Renz Jochen","year":"2007","unstructured":"Jochen Renz . 2007 . Qualitative spatial and temporal reasoning: Efficient algorithms for everyone . In Proc. of the 20th International Joint Conference on Artificial Intelligence (IJCAI\u201907) . Morgan Kaufmann, 526--531. Jochen Renz. 2007. Qualitative spatial and temporal reasoning: Efficient algorithms for everyone. In Proc. of the 20th International Joint Conference on Artificial Intelligence (IJCAI\u201907). Morgan Kaufmann, 526--531."},{"key":"e_1_2_2_123_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28633-2_9"},{"key":"e_1_2_2_124_1","doi-asserted-by":"crossref","unstructured":"Jochen Renz and Bernhard Nebel. 2007. Qualitative spatial reasoning using constraint calculi. See Aiello et al. [2007] 161--215.  Jochen Renz and Bernhard Nebel. 2007. Qualitative spatial reasoning using constraint calculi. See Aiello et al. [2007] 161--215.","DOI":"10.1007\/978-1-4020-5587-4_4"},{"key":"e_1_2_2_125_1","volume-title":"Artificial Intelligence: A Modern Approach","author":"Russell Stuart","year":"2009","unstructured":"Stuart Russell and Peter Norvig . 2009 . Artificial Intelligence: A Modern Approach ( 3 rd ed.). Prentice Hall . Stuart Russell and Peter Norvig. 2009. Artificial Intelligence: A Modern Approach (3rd ed.). Prentice Hall.","edition":"3"},{"key":"e_1_2_2_126_1","doi-asserted-by":"publisher","DOI":"10.1142\/S1793005714500069"},{"key":"e_1_2_2_127_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(03)00045-X"},{"key":"e_1_2_2_128_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2003.07.002"},{"key":"e_1_2_2_129_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-011-9606-0"},{"key":"e_1_2_2_130_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2014.10.002"},{"key":"e_1_2_2_131_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2010.09.021"},{"key":"e_1_2_2_132_1","volume-title":"Proc. of the 20th European Conference on Artificial Intelligence (ECAI\u201912)","volume":"242","author":"Schultz Carl","year":"2012","unstructured":"Carl Schultz and Mehul Bhatt . 2012 . Towards a Declarative Spatial Reasoning System . In Proc. of the 20th European Conference on Artificial Intelligence (ECAI\u201912) (FAIA), Vol. 242 . IOS Press, 925--926. Carl Schultz and Mehul Bhatt. 2012. Towards a Declarative Spatial Reasoning System. In Proc. of the 20th European Conference on Artificial Intelligence (ECAI\u201912) (FAIA), Vol. 242. IOS Press, 925--926."},{"key":"e_1_2_2_133_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-32255-9_17"},{"key":"e_1_2_2_134_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07064-3_15"},{"key":"e_1_2_2_135_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"e_1_2_2_136_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(03)00137-1"},{"key":"e_1_2_2_137_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.10.010"},{"key":"e_1_2_2_138_1","volume-title":"Proc. of the 23rd International Joint Conference on Artificial Intelligence (IJCAI\u201913)","author":"Stell John G.","year":"2013","unstructured":"John G. Stell . 2013 . Granular Description of Qualitative Change . In Proc. of the 23rd International Joint Conference on Artificial Intelligence (IJCAI\u201913) . AAAI Press, 1111--1117. John G. Stell. 2013. Granular Description of Qualitative Change. In Proc. of the 23rd International Joint Conference on Artificial Intelligence (IJCAI\u201913). AAAI Press, 1111--1117."},{"key":"e_1_2_2_139_1","volume-title":"Proc. of the 5th International Workshop on OWL: Experiences and Directions (OWLED\u201909)","volume":"529","author":"Stocker Markus","year":"2009","unstructured":"Markus Stocker and Evren Sirin . 2009 . PelletSpatial: A Hybrid RCC-8 and RDF\/OWL Reasoning and Query Engine . In Proc. of the 5th International Workshop on OWL: Experiences and Directions (OWLED\u201909) (CEUR Workshop Proceedings) , Vol. 529 . CEUR-WS.org, 2--31. Markus Stocker and Evren Sirin. 2009. PelletSpatial: A Hybrid RCC-8 and RDF\/OWL Reasoning and Query Engine. In Proc. of the 5th International Workshop on OWL: Experiences and Directions (OWLED\u201909) (CEUR Workshop Proceedings), Vol. 529. CEUR-WS.org, 2--31."},{"key":"e_1_2_2_140_1","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-61692-868-1.ch002"},{"key":"e_1_2_2_141_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74565-5_52"},{"key":"e_1_2_2_142_1","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(91)90004-U"},{"key":"e_1_2_2_143_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90011-L"},{"key":"e_1_2_2_144_1","doi-asserted-by":"publisher","DOI":"10.1007\/11586180_5"},{"key":"e_1_2_2_145_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40942-4_22"},{"key":"e_1_2_2_146_1","volume-title":"Proc. of the 5th National Conference on Artificial Intelligence (AAAI\u201986)","author":"Marc","unstructured":"Marc B. Vilain and Henry A. Kautz. 1986. Constraint propagation algorithms for temporal reasoning . In Proc. of the 5th National Conference on Artificial Intelligence (AAAI\u201986) . Morgan Kaufmann, 377--382. Marc B. Vilain and Henry A. Kautz. 1986. Constraint propagation algorithms for temporal reasoning. In Proc. of the 5th National Conference on Artificial Intelligence (AAAI\u201986). Morgan Kaufmann, 377--382."},{"key":"e_1_2_2_147_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-4832-1447-4.50034-1"},{"key":"e_1_2_2_148_1","doi-asserted-by":"publisher","DOI":"10.1145\/2424321.2424351"},{"key":"e_1_2_2_149_1","volume-title":"Proc. of the 27th International Workshop on Qualitative Reasoning (QR\u201913)","author":"Wallgr\u00fcn Jan Oliver","year":"2013","unstructured":"Jan Oliver Wallgr\u00fcn , Frank Dylla , Alexander Klippel , and Jinlong Yang . 2013 . Understanding Human Spatial Conceptualizations to Improve Applications of Qualitative Spatial Calculi . In Proc. of the 27th International Workshop on Qualitative Reasoning (QR\u201913) . 131--137. Jan Oliver Wallgr\u00fcn, Frank Dylla, Alexander Klippel, and Jinlong Yang. 2013. Understanding Human Spatial Conceptualizations to Improve Applications of Qualitative Spatial Calculi. In Proc. of the 27th International Workshop on Qualitative Reasoning (QR\u201913). 131--137."},{"key":"e_1_2_2_150_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869790.1869833"},{"key":"e_1_2_2_151_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45620-1_22"},{"key":"e_1_2_2_153_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11206-0_20"},{"key":"e_1_2_2_154_1","volume-title":"Proc. of ECAI 2008 Workshop on Spatial and Temporal Reasoning. IOS Press","author":"Westphal Matthias","year":"2008","unstructured":"Matthias Westphal and Stefan W\u00f6lfl . 2008 . Bipath Consistency Revisited . In Proc. of ECAI 2008 Workshop on Spatial and Temporal Reasoning. IOS Press , Amsterdam, 36--40. Matthias Westphal and Stefan W\u00f6lfl. 2008. Bipath Consistency Revisited. In Proc. of ECAI 2008 Workshop on Spatial and Temporal Reasoning. IOS Press, Amsterdam, 36--40."},{"key":"e_1_2_2_155_1","volume-title":"Proc. of the AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems (TR SS-09-02)","author":"Westphal Matthias","year":"2009","unstructured":"Matthias Westphal , Stefan W\u00f6lfl , and Zeno Gantner . 2009 . GQR: A Fast Solver for Binary Qualitative Constraint Networks . In Proc. of the AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems (TR SS-09-02) . AAAI Press, 51--52. Matthias Westphal, Stefan W\u00f6lfl, and Zeno Gantner. 2009. GQR: A Fast Solver for Binary Qualitative Constraint Networks. In Proc. of the AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems (TR SS-09-02). AAAI Press, 51--52."},{"key":"e_1_2_2_156_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90106-T"},{"key":"e_1_2_2_157_1","volume-title":"Proc. of the Twentieth International Florida Artificial Intelligence Research Society Conference (FLAIRS\u201907)","author":"W\u00f6lfl Stefan","year":"2007","unstructured":"Stefan W\u00f6lfl , Till Mossakowski , and Lutz Schr\u00f6der . 2007 . Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables . In Proc. of the Twentieth International Florida Artificial Intelligence Research Society Conference (FLAIRS\u201907) . AAAI Press, 665--670. Stefan W\u00f6lfl, Till Mossakowski, and Lutz Schr\u00f6der. 2007. Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. In Proc. of the Twentieth International Florida Artificial Intelligence Research Society Conference (FLAIRS\u201907). AAAI Press, 665--670."},{"key":"e_1_2_2_158_1","volume-title":"Proc. of the 22nd International Joint Conference on Artificial Intelligence (IJCAI\u201911)","author":"W\u00f6lfl Stefan","year":"2009","unstructured":"Stefan W\u00f6lfl and Matthias Westphal . 2009 . On Combinations of Binary Qualitative Constraint Calculi . In Proc. of the 22nd International Joint Conference on Artificial Intelligence (IJCAI\u201911) . AAAI Press, 967--973. Stefan W\u00f6lfl and Matthias Westphal. 2009. On Combinations of Binary Qualitative Constraint Calculi. In Proc. of the 22nd International Joint Conference on Artificial Intelligence (IJCAI\u201911). AAAI Press, 967--973."},{"key":"e_1_2_2_159_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.09.004"},{"key":"e_1_2_2_160_1","volume-title":"Proc. of the 25th International Joint Conference on Artificial Intelligence (IJCAI\u201916)","author":"Wolter Diedrich","year":"2016","unstructured":"Diedrich Wolter and Jae Hee Lee . 2016 . Connecting Qualitative Spatial and Temporal Representations by Propositional Closure . In Proc. of the 25th International Joint Conference on Artificial Intelligence (IJCAI\u201916) . 1308--1314. Diedrich Wolter and Jae Hee Lee. 2016. Connecting Qualitative Spatial and Temporal Representations by Propositional Closure. In Proc. of the 25th International Joint Conference on Artificial Intelligence (IJCAI\u201916). 1308--1314."},{"key":"e_1_2_2_161_1","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-61692-868-1.ch011"},{"key":"e_1_2_2_162_1","doi-asserted-by":"publisher","DOI":"10.5555\/3006433.3006485"},{"key":"e_1_2_2_163_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-01790-7_5"},{"key":"e_1_2_2_164_1","doi-asserted-by":"publisher","DOI":"10.4324\/9780203481554"},{"key":"e_1_2_2_165_1","volume-title":"Proc. of the 14th International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201914)","author":"Zhang Peng","year":"2014","unstructured":"Peng Zhang and Jochen Renz . 2014 . Qualitative Spatial Representation and Reasoning in Angry Birds: The Extended Rectangle Algebra . In Proc. of the 14th International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201914) . AAAI Press. Peng Zhang and Jochen Renz. 2014. Qualitative Spatial Representation and Reasoning in Angry Birds: The Extended Rectangle Algebra. In Proc. of the 14th International Conference on the Principles of Knowledge Representation and Reasoning (KR\u201914). AAAI Press."}],"container-title":["ACM Computing Surveys"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3038927","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3038927","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:36:30Z","timestamp":1750217790000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3038927"}},"subtitle":["Algebraic and Computational Properties"],"short-title":[],"issued":{"date-parts":[[2017,4,4]]},"references-count":163,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,1,31]]}},"alternative-id":["10.1145\/3038927"],"URL":"https:\/\/doi.org\/10.1145\/3038927","relation":{},"ISSN":["0360-0300","1557-7341"],"issn-type":[{"value":"0360-0300","type":"print"},{"value":"1557-7341","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,4]]},"assertion":[{"value":"2015-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-04-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}