{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:16:33Z","timestamp":1725567393662},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540666455"},{"type":"electronic","value":"9783540480617"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-48061-7_9","type":"book-chapter","created":{"date-parts":[[2010,10,14]],"date-time":"2010-10-14T02:52:21Z","timestamp":1287024741000},"page":"55-63","source":"Crossref","is-referenced-by-count":0,"title":["Toward Spatial Reasoning in the Framework of Rough Mereology"],"prefix":"10.1007","author":[{"given":"Lech","family":"Polkowski","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Behaviour Based Robotics","author":"R.C. Arkin","year":"1998","unstructured":"Arkin, R.C.: Behaviour Based Robotics. MIT Press, Cambridge (1998)"},{"key":"9_CR2","unstructured":"Asher, N., Vieu, L.: Toward a geometry of commonsense: a semantics and a complete axiomatization of mereotopology. In: Proceedings IJCAI 1995, Montreal, pp. 846\u2013852 (1995)"},{"key":"9_CR3","unstructured":"Aurnague, M., Vieu, L.: A theory of space for natural language semantics. In: Korta, K., Larraz\u00e1bal, J.M. (eds.) Semantics and Pragmatics of Natural Language: Logical and Computational Aspects, San Sebastian, pp. 69\u2013126 (1995)"},{"key":"9_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9868-7","volume-title":"The Logic of Time","author":"J. Benthem van","year":"1983","unstructured":"van Benthem, J.: The Logic of Time. Reidel, Dordrechtz (1983)"},{"issue":"3","key":"9_CR5","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"22","author":"B. Clarke","year":"1981","unstructured":"Clarke, B.: A calculus of individuals based on \"connection\". Notre Dame Journal of Formal Logic\u00a022(3), 204\u2013218 (1981)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"4","key":"9_CR6","doi-asserted-by":"crossref","first-page":"638","DOI":"10.2307\/2272847","volume":"39","author":"R. Clay","year":"1974","unstructured":"Clay, R.: Relation of Le\u015bniewski\u2019s mereology to boolean algebra. The Journal of Symbolic Logic\u00a039(4), 638\u2013648 (1974)","journal-title":"The Journal of Symbolic Logic"},{"key":"9_CR7","volume-title":"Robot Shaping. An Experiment in Behavior Engineering","author":"M. Dorigo","year":"1998","unstructured":"Dorigo, M., Colombetti, M.: Robot Shaping. An Experiment in Behavior Engineering. MIT Press, Cambridge (1998)"},{"key":"9_CR8","unstructured":"Kortenkamp, D., Bonasso, R.P., Murphy, R.: Artificial Intelligence and Mobile Robotics. AAAI Press\/MIT Press (1998)"},{"issue":"2","key":"9_CR9","first-page":"15","volume":"1","author":"C. Lejewski","year":"1958","unstructured":"Lejewski, C.: On Le\u015bniewski\u2019s ontology. Ratio\u00a01(2), 15\u2013176 (1958)","journal-title":"Ratio"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"45","DOI":"10.2307\/2266169","volume":"5","author":"H. Leonard","year":"1940","unstructured":"Leonard, H., Goodman, N.: The calculus of individuals and its uses. The Journal of Symbolic Logic\u00a05, 45\u201355 (1940)","journal-title":"The Journal of Symbolic Logic"},{"key":"9_CR11","unstructured":"Le\u015bniewski, S.: O podstawach matematyki (On the foundations of Mathematics, in Polish). Przeglad Filozoficzny\u00a030, 164\u2013206 (1927); 31, 261\u2013291 (1928); 32, 60\u2013101(1929); 33, 77\u2013105 (1930); 34, 142\u2013170 (1931)"},{"key":"9_CR12","unstructured":"Pawlak, Z., Skowron, A.: Rough membership functions. In: Yaeger, R.R., Fedrizzi, M., Kacprzyk, J. (eds.) Advances in the Dempster - Shafer Theory of Evidence, pp. 251\u2013271. John Wiley and S., New York (1994)"},{"key":"9_CR13","series-title":"Lecture Notes in Artificial Intelligence","first-page":"85","volume-title":"Rough mereology","author":"L. Polkowski","year":"1994","unstructured":"Polkowski, L., Skowron, A.: ISMIS 1994. LNCS (LNAI), vol.\u00a0869, pp. 85\u201394. Springer, Heidelberg (1994)"},{"issue":"4","key":"9_CR14","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/S0888-613X(96)00072-2","volume":"15","author":"L. Polkowski","year":"1996","unstructured":"Polkowski, L., Skowron, A.: Rough mereology: a new paradigm for approximate reasoning. Intern. J. Approx. Reasoning\u00a015(4), 333\u2013365 (1996)","journal-title":"Intern. J. Approx. Reasoning"},{"key":"9_CR15","unstructured":"Polkowski, L., Skowron, A.: Grammar systems for distributed synthesis of approximate solutions extracted from experience. In: Paun, G., Salomaa, A. (eds.) Grammatical Models of Multi-Agent Systems, pp. 316\u2013333. Gordon and Breach Sci. Publ., Amsterdam (1998)"},{"key":"9_CR16","unstructured":"Polkowski, L.: On synthesis of constructs for spatial reasoning via rough mereology. Fundamenta Informaticae (to appear)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Skowron, A., Polkowski, L.: Rough mereological foundations for design, analysis, synthesis and control in distributed systems. Information Sciences. An Intern. J.\u00a0104(1-2), 129\u2013156 (1998)","DOI":"10.1016\/S0020-0255(97)00078-9"},{"key":"9_CR18","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF02067245","volume":"3","author":"J. S\u0142upecki","year":"1955","unstructured":"S\u0142upecki, J.: St. Le\u015bniewski\u2019s calculus of names. Studia Logica\u00a03, 7\u201372 (1955)","journal-title":"Studia Logica"},{"key":"9_CR19","unstructured":"Soboci\u0144ski, B.: Studies in Lesniewski\u2019s mereology. Yearbook for 1954-1955 of the Polish Society of Arts and Sciences Abroad, 591954, pp. 34\u201348"},{"key":"9_CR20","doi-asserted-by":"crossref","first-page":"177","DOI":"10.4064\/fm-24-1-177-198","volume":"24","author":"A. Tarski","year":"1935","unstructured":"Tarski, A.: Zur Grundlegung der Boole\u2019sche Algebra I. Fundamenta Mathematicae\u00a024, 177\u2013198 (1935)","journal-title":"Fundamenta Mathematicae"},{"key":"9_CR21","unstructured":"\u010cech, E.: Topological spaces. In: Nov\u00e0k, J. (ed.) Topological Papers of Eduard \u010cech, pp. 436\u2013472. Academia, Prague (1966)"}],"container-title":["Lecture Notes in Computer Science","New Directions in Rough Sets, Data Mining, and Granular-Soft Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48061-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T08:56:15Z","timestamp":1559724975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48061-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666455","9783540480617"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48061-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}