{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:58:46Z","timestamp":1725566326908},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232421"},{"type":"electronic","value":"9783540302278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30227-8_40","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T01:34:52Z","timestamp":1284860092000},"page":"474-486","source":"Crossref","is-referenced-by-count":1,"title":["Line-Based Affine Reasoning in Euclidean Plane"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Balbiani","sequence":"first","affiliation":[]},{"given":"Tinko","family":"Tinchev","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","doi-asserted-by":"publisher","first-page":"885","DOI":"10.1093\/logcom\/12.5.885","volume":"12","author":"P. Balbiani","year":"2002","unstructured":"Balbiani, P., Condotta, J.-F., Fari\u00f1as del Cerro, L.: Tractability results in the block algebra. Journal of Logic and Computation\u00a012, 885\u2013909 (2002)","journal-title":"Journal of Logic and Computation"},{"key":"40_CR2","doi-asserted-by":"publisher","first-page":"365","DOI":"10.3166\/jancl.12.365-397","volume":"12","author":"P. Balbiani","year":"2002","unstructured":"Balbiani, P., Goranko, V.: Modal logics for parallelism, orthogonality, and affine geometries. Journal of Applied Non-Classical Logics\u00a012, 365\u2013377 (2002)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"40_CR3","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1023\/A:1009729828056","volume":"3","author":"B. Bennett","year":"1998","unstructured":"Bennett, B.: Determining consistency of topological relations. Constraints\u00a03, 213\u2013225 (1998)","journal-title":"Constraints"},{"key":"40_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"40_CR5","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A. Chagrov","year":"1997","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford University Press, Oxford (1997)"},{"key":"40_CR6","volume-title":"Model Theory","author":"C. Chang","year":"1990","unstructured":"Chang, C., Keisler, H.: Model Theory, 3rd edn. Elsevier, Amsterdam (1990)","edition":"3"},{"key":"40_CR7","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1613\/jair.641","volume":"11","author":"M. Cristani","year":"1999","unstructured":"Cristani, M.: The complexity of reasoning about spatial congruence. Journal of Artificial Intelligence Research\u00a011, 361\u2013390 (1999)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"40_CR8","volume-title":"Proceedings of the Fourth International Conference on Principles and Practice of Constraint Programming","author":"A. Gerevini","year":"1998","unstructured":"Gerevini, A., Renz, J.: Combining topological and qualitative size constraints for spatial reasoning. In: Maher, M., Puget, J.-F. (eds.) Proceedings of the Fourth International Conference on Principles and Practice of Constraint Programming, Springer-, Heidelberg (1998)"},{"key":"40_CR9","doi-asserted-by":"publisher","first-page":"425","DOI":"10.3166\/jancl.12.425-439","volume":"12","author":"O. Kutz","year":"2002","unstructured":"Kutz, O., Sturm, H., Suzuki, N.-Y., Wolter, F., Zakharyaschev, M.: Axiomatizing distance logics. Journal of Applied Non-Classical Logics\u00a012, 425\u2013439 (2002)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"40_CR10","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1006\/jvlc.1997.9999","volume":"9","author":"G. Ligozat","year":"1998","unstructured":"Ligozat, G.: Reasoning about cardinal directions. Journal of Visual Languages and Computing\u00a09, 23\u201344 (1998)","journal-title":"Journal of Visual Languages and Computing"},{"key":"40_CR11","volume-title":"Proceedings of the Fourteenth European Conference on Artificial Intelligence","author":"R. Moratz","year":"2000","unstructured":"Moratz, R., Renz, J., Wolter, D.: Qualitative spatial reasoning about line segments. In: Horn, W. (ed.) Proceedings of the Fourteenth European Conference on Artificial Intelligence, Wiley, Chichester (2000)"},{"key":"40_CR12","volume-title":"Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning","author":"D. Randell","year":"1992","unstructured":"Randell, D., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Brachman, R., Levesque, H., Reiter, R. (eds.) Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufman, San Francisco (1992)"},{"key":"40_CR13","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/S0004-3702(99)00002-8","volume":"108","author":"J. Renz","year":"1999","unstructured":"Renz, J., Nebel, B.: On the complexity of qualitative spatial reasoning: a maximal tractable fragment of the region connection calculus. Artificial Intelligence\u00a0108, 69\u2013123 (1999)","journal-title":"Artificial Intelligence"},{"key":"40_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(76)90061-X","volume":"3","author":"L. Stockmeyer","year":"1977","unstructured":"Stockmeyer, L.: The polynomial-time hierarchy. Theoretical Computer Science\u00a03, 1\u201322 (1977)","journal-title":"Theoretical Computer Science"},{"key":"40_CR15","volume-title":"Spatial and Temporal Reasoning","author":"L. Vieu","year":"1997","unstructured":"Vieu, L.: Spatial representation and reasoning in AI. In: Stock, O. (ed.) Spatial and Temporal Reasoning, Kluwer, Dordrecht (1997)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30227-8_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T15:59:13Z","timestamp":1711814353000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30227-8_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232421","9783540302278"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30227-8_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}