{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:59:05Z","timestamp":1725566345171},"publisher-location":"Berlin, Heidelberg","reference-count":7,"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_41","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T01:34:52Z","timestamp":1284860092000},"page":"487-499","source":"Crossref","is-referenced-by-count":0,"title":["Measure Logics for Spatial Reasoning"],"prefix":"10.1007","author":[{"given":"Mehmet","family":"Giritli","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"41_CR1","first-page":"165","volume-title":"Principles of Knowledge Representation and Reasoning (KR 1992)","author":"D.A. Randell","year":"1992","unstructured":"Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: Nebel, B., Rich, C., Swartout, W. (eds.) Principles of Knowledge Representation and Reasoning (KR 1992), San Mateo, pp. 165\u2013176. Morgan Kaufmann, San Francisco (1992)"},{"key":"41_CR2","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/B978-1-4832-1452-8.50102-0","volume-title":"Principles of Knowledge Representation and Reasoning (KR 1994)","author":"B. Bennett","year":"1994","unstructured":"Bennett, B.: Spatial reasoning with propositional logics. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) Principles of Knowledge Representation and Reasoning (KR 1994), pp. 51\u201362. Morgan Kaufmann, San Francisco (1994)"},{"key":"41_CR3","first-page":"212","volume-title":"Principles of Knowledge Representation and Reasoning (KR 1996)","author":"O.J. Lemon","year":"1996","unstructured":"Lemon, O.J.: Semantical foundations of spatial logics. In: Aiello, L.C., Doyle, J., Shapiro, S. (eds.) Principles of Knowledge Representation and Reasoning (KR 1996), pp. 212\u2013219. Morgan Kaufmann, San Francisco (1996)"},{"key":"41_CR4","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1305\/ndjfl\/1039724888","volume":"38","author":"I. Pratt","year":"1997","unstructured":"Pratt, I., Lemon, O.: Ontologies for plane, polygonal mereotopology. Notre Dame Journal of Formal Logic\u00a038, 225\u2013245 (1997)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"41_CR5","doi-asserted-by":"crossref","first-page":"137","DOI":"10.4064\/fm-38-1-137-152","volume":"38","author":"A. Grzegorczyk","year":"1951","unstructured":"Grzegorczyk, A.: Undecidability of some topological theories. Fundamenta Mathematicae\u00a038, 137\u2013152 (1951)","journal-title":"Fundamenta Mathematicae"},{"key":"41_CR6","volume-title":"Undecidable Theories. Studies in logic and the foundations of mathematics","author":"A. Tarski","year":"1971","unstructured":"Tarski, A.: Undecidable Theories. Studies in logic and the foundations of mathematics. North-Holland, Amsterdam (1971)"},{"key":"41_CR7","volume-title":"Introduction to Mathematical Logic","author":"E. Mendelson","year":"1968","unstructured":"Mendelson, E.: Introduction to Mathematical Logic. D. Van Nostrand, Princeton, New Jersey (1968)"}],"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_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:58:10Z","timestamp":1620014290000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30227-8_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232421","9783540302278"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30227-8_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}