{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:43:23Z","timestamp":1773247403762,"version":"3.50.1"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319293561","type":"print"},{"value":"9783319293578","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-29357-8_43","type":"book-chapter","created":{"date-parts":[[2016,2,3]],"date-time":"2016-02-03T11:24:57Z","timestamp":1454498697000},"page":"483-499","source":"Crossref","is-referenced-by-count":3,"title":["Reasoning with Four-Valued Logic in\u00a0Multi-robotic Search-and-Rescue Problem"],"prefix":"10.1007","author":[{"given":"\u0141ukasz","family":"Bia\u0142ek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacek","family":"Szklarski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marta M.","family":"Borkowska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u0142","family":"Gnatowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,2,4]]},"reference":[{"key":"43_CR1","doi-asserted-by":"crossref","first-page":"1151","DOI":"10.1007\/978-3-540-30301-5_51","volume-title":"Springer Handbook of Robotics","author":"Robin R. Murphy","year":"2008","unstructured":"Murphy, R., Tadokoro, S., Nardi, D., Jacoff, A., Fiorini, P., Choset, H., Erkmen, A.: Search and Rescue Robotics in Springer Handbook of Robotics, pp. 1151\u20131173 (2008)"},{"key":"43_CR2","doi-asserted-by":"crossref","unstructured":"Ma\u0142uszy\u0144ski, J., Sza\u0142as, A.: Living with inconsistency and taming nonmonotonicity. In: Datalog Reloaded, LNCS, vol. 6702, pp. 384\u2013398. Springer (2011)","DOI":"10.1007\/978-3-642-24206-9_22"},{"key":"43_CR3","unstructured":"Ma\u0142uszy\u0144ski, J., Sza\u0142as, A.: Partiality and inconsistency in agents\u2019 belief bases. In: Proceedings of the KES-AMSTA, Frontiers of Artificial Intelligence and Applications, vol. 252, pp. 3\u201317. IOS Press (2013)"},{"key":"43_CR4","unstructured":"Bia\u0142ek, \u0141.: The 4QL Interpreter. \n                    http:\/\/4ql.org\/wp-content\/uploads\/2013\/10\/inter4ql.pdf\n                    \n                   (2013)"},{"key":"43_CR5","unstructured":"4QL. \n                    http:\/\/4ql.org"},{"key":"43_CR6","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/S0165-0114(86)80034-3","volume":"20","author":"KT Atanassov","year":"1986","unstructured":"Atanassov, K.T.: Intuitionistic fuzzy sets. Fuzzy Sets Syst. 20, 87\u201396 (1986)","journal-title":"Fuzzy Sets Syst."},{"issue":"2","key":"43_CR7","doi-asserted-by":"publisher","first-page":"211","DOI":"10.3166\/jancl.21.211-232","volume":"21","author":"J Ma\u0142uszyski","year":"2011","unstructured":"Ma\u0142uszyski, J., Sza\u0142as, A.: Logical foundations and complexity of 4QL, a query language with unrestricted negation. J. Appl. Non-Class. Log. 21(2), 211\u2013232 (2011)","journal-title":"J. Appl. Non-Class. Log."},{"key":"43_CR8","unstructured":"Bia\u0142ek, \u0141., Borkowski, A., Borkowska, M., Gnatowski, M., Dunin-K\u0229plicz, B., Sza\u0142as, A., Szklarski, J.: Coordinating multiple rescue robots. Krajowa Konferencja Robotyki (Polish National Robotics Conference) (2014)"},{"key":"43_CR9","doi-asserted-by":"crossref","unstructured":"Murphy, R.R.: Disaster Robotics. MIT Press (2014)","DOI":"10.7551\/mitpress\/9407.001.0001"},{"key":"43_CR10","doi-asserted-by":"crossref","unstructured":"Tadokoro, S.: Rescue Robotics; DDT Project on Robots and Systems for Urban Search and Rescue. Springer (2010)","DOI":"10.1007\/978-1-84882-474-4"},{"key":"43_CR11","unstructured":"L\u00e4mmel, U.: Business rules make business more flexible. In: Proceedings of the 3rd Conference on Baltic Business and Socio-Economic Development BBSED, Tallinn, Estonia 17\u201320. June (2007)"},{"issue":"3","key":"43_CR12","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1093\/jigpal\/jzs051","volume":"21","author":"A Sza\u0142as","year":"2013","unstructured":"Sza\u0142as, A.: How an agent might think. Logic J. IGPL 21(3), 515\u2013535 (2013)","journal-title":"Logic J. IGPL"},{"key":"43_CR13","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. MIT Press and McGraw-Hill (2009)"},{"key":"43_CR14","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1002\/nav.3800020109","volume":"2","author":"HW Kuhn","year":"1955","unstructured":"Kuhn, H.W.: The Hungarian method for the assignment problem. Naval Res. Logistics 2, 83\u201397 (1955). doi:\n                    10.1002\/nav.3800020109","journal-title":"Naval Res. Logistics"}],"container-title":["Advances in Intelligent Systems and Computing","Challenges in Automation, Robotics and Measurement Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29357-8_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T09:02:21Z","timestamp":1559379741000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29357-8_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319293561","9783319293578"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29357-8_43","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"value":"2194-5357","type":"print"},{"value":"2194-5365","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}