{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:16:17Z","timestamp":1773148577499,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642144660","type":"print"},{"value":"9783642144677","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14467-7_8","type":"book-chapter","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T06:53:52Z","timestamp":1280213632000},"page":"143-169","source":"Crossref","is-referenced-by-count":9,"title":["Spatial Reasoning Based on Rough Mereology: A Notion of a Robot Formation and Path Planning Problem for Formations of Mobile Autonomous Robots"],"prefix":"10.1007","author":[{"given":"Pawe\u0131","family":"O\u2019smia\u0131owski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lech","family":"Polkowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"Behavior\u2013Based Robotics","author":"R.C. Arkin","year":"1998","unstructured":"Arkin, R.C.: Behavior\u2013Based Robotics. MIT Press, Cambridge (1998)"},{"issue":"6","key":"8_CR2","doi-asserted-by":"publisher","first-page":"926","DOI":"10.1109\/70.736776","volume":"14","author":"T. Balch","year":"1998","unstructured":"Balch, T., Arkin, R.C.: Behavior\u2013based formation control for multirobot teams. IEEE Transactions on Robotics and Automation\u00a014(6), 926\u2013939 (1998)","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"8_CR3","doi-asserted-by":"publisher","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, Dordrecht (1983)"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1023\/A:1011266907321","volume":"11","author":"B. Brumitt","year":"2001","unstructured":"Brumitt, B., Stentz, A., Hebert, M.: CMU UGV Group: Autonomous driving with concurrent goals and multiple vehicles: Mission planning and architecture. Autonomous Robots\u00a011, 103\u2013115 (2001)","journal-title":"Autonomous Robots"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008855018923","volume":"4","author":"Y. Uny Cao","year":"1997","unstructured":"Uny Cao, Y., Fukunaga, A.S., Kahng, A.B.: Cooperative mobile robotics: Antecedents and directions. Autonomous Robots\u00a04, 7\u201327 (1997)","journal-title":"Autonomous Robots"},{"key":"8_CR6","unstructured":"Chen, Q., Luh, J.Y.S.: Coordination and control of a group of small mobile robots. In: Proceedings of IEEE Intern. Conference on Robotics and Automation, pp. 2315\u20132320 (1998)"},{"key":"8_CR7","volume-title":"Theory, Algorithms, and Implementations","author":"H. Choset","year":"2005","unstructured":"Choset, H., Lynch, K.M., Hutchinson, S., Kantor, G., Burgard, W., Kavraki, L., Thrun, S.: Principles of Robot Motion. In: Theory, Algorithms, and Implementations. MIT Press, Cambridge (2005)"},{"issue":"2","key":"8_CR8","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"22","author":"B.L. Clarke","year":"1981","unstructured":"Clarke, B.L.: A calculus of individuals based on connection. Notre Dame Journal of Formal Logic\u00a022(2), 204\u2013218 (1981)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"5","key":"8_CR9","doi-asserted-by":"publisher","first-page":"813","DOI":"10.1109\/TRA.2002.803463","volume":"18","author":"A. Das","year":"2002","unstructured":"Das, A., Fierro, R., Kumar, V., Ostrovski, J.P., Spletzer, J., Taylor, C.J.: A vision-based formation control framework. IEEE Transactions on Robotics and Automation\u00a018(5), 813\u2013825 (2002)","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"1","key":"8_CR10","doi-asserted-by":"publisher","first-page":"51","DOI":"10.5840\/monist19967913","volume":"79","author":"N.M. Gotts","year":"1996","unstructured":"Gotts, N.M., Gooday, J.M., Cohn, A.G.: A connection based approach to commonsense topological description and reasoning. The Monist\u00a079(1), 51\u201375 (1996)","journal-title":"The Monist"},{"key":"#cr-split#-8_CR11.1","doi-asserted-by":"crossref","unstructured":"Khatib, O.: Real\u2013time obstacle avoidance for manipulators and mobile robots. In: Proceedings IEEE Intern. Conf. on Robotics and Automation, St. Louis MO, pp. 500\u2013505 (1986);","DOI":"10.1007\/978-1-4613-8997-2_29"},{"key":"#cr-split#-8_CR11.2","doi-asserted-by":"crossref","unstructured":"Also see: International Journal of Robotic Research\u00a05, 90\u201398 (1986)","DOI":"10.1177\/027836498600500106"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s10514-006-9013-8","volume":"22","author":"J. Kramer","year":"2007","unstructured":"Kramer, J., Scheutz, M.: Development environments for autonomous mobile robots: A survey. Autonomous Robots\u00a022, 101\u2013132 (2007)","journal-title":"Autonomous Robots"},{"key":"8_CR13","unstructured":"Krogh, B.: A generalized potential field approach to obstacle avoidance control, SME-I Technical paper MS84\u2013484, Society of Manufacturing Engineers, Dearborn MI (1984)"},{"key":"8_CR14","first-page":"390","volume-title":"Proceedings of the IEEE Workshop on Spatial Reasoning and Multi-Sensor Fusion","author":"B.I. Kuipers","year":"1987","unstructured":"Kuipers, B.I., Byun, Y.T.: A qualitative approach to robot exploration and map learning. In: Proceedings of the IEEE Workshop on Spatial Reasoning and Multi-Sensor Fusion, pp. 390\u2013404. Morgan Kaufmann, San Mateo (1987)"},{"key":"8_CR15","volume-title":"SQL Unleashed","author":"H. Ladanyi","year":"1997","unstructured":"Ladanyi, H.: SQL Unleashed. Sams Publishing, USA (1997)"},{"key":"8_CR16","first-page":"449","volume":"19","author":"T. Laguna De","year":"1922","unstructured":"De Laguna, T.: Point, line, surface as sets of solids, J. Philosophy\u00a019, 449\u2013461 (1922)","journal-title":"Philosophy"},{"key":"8_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4022-9","volume-title":"Robot Motion Planning","author":"J. Latombe","year":"1991","unstructured":"Latombe, J.: Robot Motion Planning. Kluwer, Boston (1991)"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Ehrich Leonard, N., Fiorelli, E.: Virtual leaders, artificial potentials and coordinated control of groups. In: Proceedings of the 40th IEEE Conference on Decision and Control, Orlando Fla, pp. 2968\u20132973 (2001)","DOI":"10.1109\/CDC.2001.980728"},{"key":"8_CR19","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":"8_CR20","volume-title":"O Podstawach Ogolnej Teorii Mnogosci (On Foundations of General Theory of Sets","author":"S. Le\u015bniewski","year":"1916","unstructured":"Le\u015bniewski, S.: O Podstawach Ogolnej Teorii Mnogosci (On Foundations of General Theory of Sets. The Polish Scientific Circle in Moscow, Moscow (1916) (in Polish)"},{"key":"8_CR21","first-page":"242","volume":"24","author":"S. Le\u015bniewski","year":"1926","unstructured":"Le\u015bniewski, S.: Grundz\u00fcge eines neuen Systems der Grundlagen der Mathematik. Fundamenta Mathematicae\u00a024, 242\u2013251 (1926)","journal-title":"Fundamenta Mathematicae"},{"key":"8_CR22","unstructured":"Le\u015bniewski, S.: \u00dcber die Grundlegen der Ontologie. C.R. Soc. Sci. Lettr. Varsovie III, 111\u2013132 (1930)"},{"key":"8_CR23","unstructured":"Le\u015bniewski, S.: On the Foundations of Mathematics. Przegla\u0327d Filozoficzny\u00a030, 164\u2013206 (1927) (in Polish); 31, 261\u2013291 (1928); 32, 60\u2013101 (1929); 33, 77\u2013105 (1930); 34, 142\u2013170 (1931)"},{"key":"8_CR24","first-page":"7","volume":"2","author":"S. Le\u015bniewski","year":"1982","unstructured":"Le\u015bniewski, S.: On the foundations of mathematics. Topoi\u00a02, 7\u201352 (1982)","journal-title":"Topoi"},{"key":"8_CR25","first-page":"21","volume":"2","author":"P. O\u015bmia\u0142owski","year":"2007","unstructured":"O\u015bmia\u0142owski, P.: Player and Stage at PJIIT Robotics Laboratory. Journal of Automation, Mobile Robotics and Intelligent Systems\u00a02, 21\u201328 (2007)","journal-title":"Journal of Automation, Mobile Robotics and Intelligent Systems"},{"issue":"2","key":"8_CR26","first-page":"24","volume":"3","author":"P. O\u015bmia\u0142owski","year":"2009","unstructured":"O\u015bmia\u0142owski, P.: On path planning for mobile robots: Introducing the mereological potential field method in the framework of mereological spatial reasoning. Journal of Automation, Mobile Robotics and Intelligent Systems\u00a03(2), 24\u201333 (2009)","journal-title":"Journal of Automation, Mobile Robotics and Intelligent Systems"},{"key":"8_CR27","unstructured":"O\u015bmia\u0142owski, P., Polkowski, L.: Spatial reasoning based on rough mereology: path planning problem for autonomous mobile robots. In: Transactions on Rough Sets. LNCS (in print)"},{"key":"8_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-3534-4","volume-title":"Rough Sets: Theoretical Aspects of Reasoning about Data","author":"Z. Pawlak","year":"1991","unstructured":"Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning about Data. Kluwer, Dordrecht (1991)"},{"key":"8_CR29","unstructured":"Player\/Stage, http:\/\/playerstage.sourceforge.net"},{"key":"8_CR30","first-page":"83","volume":"46","author":"L. Polkowski","year":"2001","unstructured":"Polkowski, L.: On connection synthesis via rough mereology. Fundamenta Informaticae\u00a046, 83\u201396 (2001)","journal-title":"Fundamenta Informaticae"},{"key":"8_CR31","series-title":"Lecture Notes in Artificial Intelligence","first-page":"70","volume-title":"Proceedings RSFDGrC 2003","author":"L. Polkowski","year":"2003","unstructured":"Polkowski, L.: A rough set paradigm for unifying rough set theory and fuzzy set theory (a plenary lecture). In: Proceedings RSFDGrC 2003. LNCS (LNAI), vol.\u00a02639, pp. 70\u201378. Springer, Heidelberg (2003)"},{"key":"8_CR32","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-540-25929-9_2","volume-title":"Rough Sets and Current Trends in Computing","author":"L. Polkowski","year":"2004","unstructured":"Polkowski, L.: Toward rough set foundations. Mereological approach (a plenary lecture). In: Tsumoto, S., S\u0142owi\u0144ski, R., Komorowski, J., Grzyma\u0142a-Busse, J.W. (eds.) RSCTC 2004. LNCS (LNAI), vol.\u00a03066, pp. 8\u201325. Springer, Heidelberg (2004)"},{"key":"8_CR33","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1002\/9780470724163.ch16","volume-title":"Handbook of Granular Computing","author":"L. Polkowski","year":"2008","unstructured":"Polkowski, L.: A unified approach to granulation of knowledge and granular computing based on rough mereology: A survey. In: Pedrycz, W., Skowron, A., Kreinovich, V. (eds.) Handbook of Granular Computing, pp. 375\u2013400. John Wiley and Sons, Chichester (2008)"},{"key":"8_CR34","first-page":"43","volume-title":"Mobile Robots Motion Planning. New Challenges","author":"L. Polkowski","year":"2008","unstructured":"Polkowski, L., O\u015bmia\u0142owski, P.: Spatial reasoning with applications to mobile robotics. In: Jing, X.-J. (ed.) Mobile Robots Motion Planning. New Challenges, pp. 43\u201355. I-Tech Education and Publishing KG, Vienna (2008)"},{"key":"8_CR35","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-540-88425-5_15","volume-title":"Rough Sets and Current Trends in Computing","author":"L. Polkowski","year":"2008","unstructured":"Polkowski, L., O\u015bmia\u0142owski, P.: A framework for multiagent mobile robotics: Spatial reasoning based on rough mereology in Player\/stage system. In: Chan, C.-C., Grzymala-Busse, J.W., Ziarko, W.P. (eds.) RSCTC 2008. LNCS (LNAI), vol.\u00a05306, pp. 142\u2013149. Springer, Heidelberg (2008)"},{"issue":"4","key":"8_CR36","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/S0888-613X(96)00072-2","volume":"15","author":"L. Polkowski","year":"1997","unstructured":"Polkowski, L., Skowron, A.: Rough mereology: a new paradigm for approximate reasoning. International Journal of Approximate Reasoning\u00a015(4), 333\u2013365 (1997)","journal-title":"International Journal of Approximate Reasoning"},{"key":"8_CR37","doi-asserted-by":"crossref","first-page":"291","DOI":"10.3233\/FI-2000-43123415","volume":"43","author":"L. Polkowski","year":"2000","unstructured":"Polkowski, L., Skowron, A.: Rough mereology in information systems with applications to qualitative spatial reasoning. Fundamenta Informaticae\u00a043, 291\u2013320 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"8_CR38","unstructured":"Ramsey, P.: PostGIS Manual, In: Postgis. pdf file downloaded from Refractions Research home page"},{"key":"8_CR39","unstructured":"Shao, J., Xie, G., Yu, J., Wang, L.: Leader\u2013following formation control of multiple mobile robots. In: Proceedings of the 2005 IEEE Intern. Symposium on Intelligent Control, Limassol, Cyprus, pp. 808\u2013813 (2005)"},{"key":"8_CR40","first-page":"311","volume-title":"Intelligent Decision Support. Handbook of Applications and Advances of the Rough Sets Theory","author":"A. Skowron","year":"1992","unstructured":"Skowron, A., Rauszer, C.: The discernibility matrices and functions in decision systems. In: S\u0142owi\u0144ski, R. (ed.) Intelligent Decision Support. Handbook of Applications and Advances of the Rough Sets Theory, pp. 311\u2013362. Kluwer, Dordrecht (1992)"},{"key":"8_CR41","unstructured":"sfsexp, http:\/\/sexpr.sourceforge.net"},{"key":"8_CR42","doi-asserted-by":"crossref","unstructured":"Sugihara, K., Suzuki, I.: Distributed motion coordination of multiple mobile robots. In: Proceedings 5th IEEE Intern. Symposium on Intelligent Control, Philadelphia PA, pp. 138\u2013143 (1990)","DOI":"10.1109\/ISIC.1990.128452"},{"key":"8_CR43","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0921-8890(97)00033-X","volume":"23","author":"P. \u0160vestka","year":"1998","unstructured":"\u0160vestka, P., Overmars, M.H.: Coordinated path planning for multiple robots. Robotics and Autonomous Systems\u00a023, 125\u2013152 (1998)","journal-title":"Robotics and Autonomous Systems"},{"key":"8_CR44","unstructured":"Tarski, A.: Les fondements de la g\u00e9om\u00e9trie des corps. In: Supplement to Annales de la Soci\u00e9te Polonaise de Math\u00e9matique, Cracow, pp. 29\u201333 (1929)"},{"key":"8_CR45","first-page":"16","volume-title":"The Axiomatic Method with Special Reference to Geometry and Physics","author":"A. Tarski","year":"1959","unstructured":"Tarski, A.: What is elementary geometry? In: The Axiomatic Method with Special Reference to Geometry and Physics, pp. 16\u201329. North-Holland, Amsterdam (1959)"},{"key":"8_CR46","doi-asserted-by":"crossref","unstructured":"Tribelhorn, B., Dodds, Z.: Evaluating the Roomba: A low-cost, ubiquitous platform for robotics research and education. In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, Roma, Italy, April 10-14, pp. 1393\u20131399 (2007)","DOI":"10.1109\/ROBOT.2007.363179"},{"key":"8_CR47","volume-title":"Probabilistic Robotics","author":"S. Thrun","year":"2005","unstructured":"Thrun, S., Burgard, W., Fox, D.: Probabilistic Robotics. MIT Press, Cambridge (2005)"},{"key":"8_CR48","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s10514-006-7231-8","volume":"21","author":"C. Urdiales","year":"2006","unstructured":"Urdiales, C., Perez, E.J., Vasquez-Salceda, J., S\u00e0nchez-Marr\u00e8, M., Sandoval, F.: A purely reactive navigation scheme for dynamic environments using Case\u2013Based Reasoning. Autonomous Robots\u00a021, 65\u201378 (2006)","journal-title":"Autonomous Robots"},{"key":"8_CR49","unstructured":"Whitehead, A.N.: Process and Reality. In: An Essay in Cosmology. Macmillan, New York (1929); (corr. ed.: Griffin, D. R., Sherbourne, D. W. (eds.) (1978))"}],"container-title":["Lecture Notes in Computer Science","Transactions on Rough Sets XII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14467-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T11:43:48Z","timestamp":1740311028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14467-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642144660","9783642144677"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14467-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}