{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:04:05Z","timestamp":1725483845188},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441205"},{"type":"electronic","value":"9783540461357"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46135-3_23","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T05:59:47Z","timestamp":1179208787000},"page":"341-356","source":"Crossref","is-referenced-by-count":10,"title":["Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions"],"prefix":"10.1007","author":[{"given":"Spiros","family":"Skiadopoulos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manolis","family":"Koubarakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"A. Berretti, A. Del Bimbo, and E. Vicario. Modeling Spatial Relationships between Color Sets. In Proceeding of IEEE Workshop on Content-based Access of Image and Video Libraries (CVPR-2000), June 2000.","DOI":"10.1109\/IVL.2000.853843"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"W. G. Chinn and N. E. Steenrod. First Concepts of Topology. The Mathematical Association of America, 1966.","DOI":"10.5948\/UPO9780883859339"},{"key":"23_CR3","first-page":"759","volume":"7","author":"E. Clementini","year":"1995","unstructured":"E. Clementini, P. Di Fellice, and G. Califano. Composite Regions in Topological Queries. Information Systems, 7:759\u2013594, 1995.","journal-title":"Information Systems"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S0004-3702(97)00046-5","volume":"95","author":"E. Clementini","year":"1997","unstructured":"E. Clementini, P. Di Fellice, and D. Hernandez. Qualitative Representation of Positional Information. Artificial Intelligence, 95:317\u2013356, 1997.","journal-title":"Artificial Intelligence"},{"key":"23_CR5","unstructured":"J. P. Delgrande, A. Gupta, and T. Van Allen. Point Based Approaches to Qualitative Temporal Reasoning. In Proceedings of the AAAI-99, pages 739\u2013744, 1999."},{"key":"23_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of COSIT-95","author":"B. Faltings","year":"1995","unstructured":"B. Faltings. Qualitative Spatial Reasoning Using Algebraic Topology. In Proceedings of COSIT-95, volume 988 of LNCS, 1995."},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/1045-926X(92)90007-9","volume":"3","author":"A.U. Frank","year":"1992","unstructured":"A.U. Frank. Qualitative Spatial Reasoning about Distances and Directions in Geographic Space. Journal of Visual Languages and Computing, 3:343\u2013371, 1992.","journal-title":"Journal of Visual Languages and Computing"},{"key":"23_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/3-540-55966-3_10","volume-title":"Proceedings of COSIT-92","author":"C. Freksa","year":"1992","unstructured":"C. Freksa. Using Orientation Information for Qualitative Spatial Reasoning. In Proceedings of COSIT-92, volume 639 of LNCS, pages 162\u2013178, 1992."},{"key":"23_CR9","unstructured":"R. Goyal and M. J. Egenhofer. Cardinal Directions Between Extended Spatial Objects. IEEE Transactions on Data and Knowledge Engineering, (in press), 2000. Available at http:\/\/www.spatial.maine.edu\/~max\/RJ36.html ."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"R. Goyal and M. J. Egenhofer. Consistent Queries over Cardinal Directions across Different Levels of Detail. In Proceedings of the 11th International Workshop on Database and Expert Systems Applications, 2000.","DOI":"10.1109\/DEXA.2000.875129"},{"key":"23_CR11","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1006\/jvlc.1997.9999","volume":"9","author":"G. Ligozat","year":"1998","unstructured":"G. Ligozat. Reasoning about Cardinal Directions. Journal of Visual Languages and Computing, 9:23\u201344, 1998.","journal-title":"Journal of Visual Languages and Computing"},{"key":"23_CR12","unstructured":"S. Lipschutz. Set Theory and Related Topics. McGraw Hill, 1998."},{"key":"23_CR13","unstructured":"A. Mukerjee and G. Joe. A Qualitative Model for Space. In Proceedings of AAAI-90, pages 721\u2013727, 1990."},{"key":"23_CR14","unstructured":"D. Papadias. Relation-Based Representation of Spatial Knowledge. PhD thesis, Dept. of Electrical and Computer Engineering, National Technical University of Athens, 1994."},{"key":"23_CR15","unstructured":"D. Papadias, N. Arkoumanis, and N. Karacapilidis. On The Retrieval of Similar Configurations. In Proceedings of 8th International Symposium on Spatial Data Handling (SDH), 1998."},{"issue":"1","key":"23_CR16","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1006\/jcss.1998.1597","volume":"58","author":"C. H. Papadimitriou","year":"1999","unstructured":"C. H. Papadimitriou, D. Suciu, and V. Vianu. Topological Queries in Spatial Databases. Journal of Computer and System Sciences, 58(1):29\u201353, 1999.","journal-title":"Journal of Computer and System Sciences"},{"key":"23_CR17","unstructured":"D. A. Randell, Z. Cui, and A. Cohn. A Spatial Logic Based on Regions and Connection. In Proceedings of KR\u2019 92. Morgan Kaufmann, October 1992."},{"key":"23_CR18","first-page":"95","volume":"1\u20132","author":"J. Renz","year":"1999","unstructured":"J. Renz and B. Nebel. On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus. Artificial Intelligence, 1\u20132:95\u2013149, 1999.","journal-title":"Artificial Intelligence"},{"key":"23_CR19","unstructured":"A. P. Sistla, C. Yu, and R. Haddad. Reasoning About Spatial Relationships in Picture Retrieval Systems. In Proceedings of VLDB-94, pages 570\u2013581, 1994."},{"key":"23_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/3-540-47724-1_16","volume-title":"Proceedings of the 7th International Symposium on Spatial and Temporal Databases (SSTD-01)","author":"S. Skiadopoulos","year":"2001","unstructured":"S. Skiadopoulos and M. Koubarakis. Composing Cardinal Directions Relations. In Proceedings of the 7th International Symposium on Spatial and Temporal Databases (SSTD-01), volume 2121 of LNCS, pages 299\u2013317, July 2001."},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"S. Skiadopoulos and M. Koubarakis. Qualitative Spatial Reasoning with Cardinal Directions: Semantics, Algorithms and Computational Complexity. Manuscript in preparation, 2002.","DOI":"10.1007\/3-540-46135-3_23"},{"key":"23_CR22","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0004-3702(92)90011-L","volume":"58","author":"P. Beek van","year":"1992","unstructured":"P. van Beek. Reasoning About Qualitative Temporal Information. Artificial Intelligence, 58:297\u2013326, 1992.","journal-title":"Artificial Intelligence"},{"key":"23_CR23","doi-asserted-by":"crossref","unstructured":"M. Vilain, H. Kautz, and P. van Beek. Constraint Propagation Algorithms for Temporal Reasoning: A Revised Report. In Readings in Qualitative Reasoning about Physical Systems, pages 373\u2013381. Morgan Kaufmann, 1989.","DOI":"10.1016\/B978-1-4832-1447-4.50034-1"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46135-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T00:57:51Z","timestamp":1587517071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46135-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441205","9783540461357"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-46135-3_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2002]]}}}