{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:47:31Z","timestamp":1725756451972},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319036526"},{"type":"electronic","value":"9783319036533"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-03653-3_25","type":"book-chapter","created":{"date-parts":[[2013,11,11]],"date-time":"2013-11-11T21:14:05Z","timestamp":1384204445000},"page":"331-344","source":"Crossref","is-referenced-by-count":2,"title":["Facilitating Human-Robot Interaction: A Formal Logic for Task Description"],"prefix":"10.1007","author":[{"given":"Takehiko","family":"Nakama","sequence":"first","affiliation":[]},{"given":"Enrique","family":"Mu\u00f1oz","sequence":"additional","affiliation":[]},{"given":"Kevin","family":"LeBlanc","sequence":"additional","affiliation":[]},{"given":"Enrique","family":"Ruspini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Abbott, K.A., Slotte, S.M., Stimson, D.K.: Federal aviation administration human factors team report on: The interfaces between flightcrews and modern flight deck systems (June 1996)"},{"key":"25_CR2","first-page":"27","volume":"22","author":"J.F. Allen","year":"2001","unstructured":"Allen, J.F., Byron, D.K., Dzikovska, M., Ferguson, G., Galescu, L., Stent, A.: Toward conversational human-computer interaction. AI Magazine\u00a022, 27\u201337 (2001)","journal-title":"AI Magazine"},{"key":"25_CR3","unstructured":"Anderson, M., Conner, C., Daniel, V., McKay, M., Yancey, N.: Demonstration of the robotic gamma locating and isotopic identification device. In: Proceedings of the He American Nuclear Society Spectrum (2002)"},{"key":"25_CR4","unstructured":"Biber, D., Conrad, S., Leech, G.: A student grammar of spoken and written English. Pearson ESL (2002)"},{"issue":"4","key":"25_CR5","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1109\/TSMCA.2005.850599","volume":"35","author":"D.J. Bruemmer","year":"2005","unstructured":"Bruemmer, D.J., Few, D.A., Boring, R.L., Marble, J.L., Walton, M.C., Nielsen, C.W.: Shared understanding for collaborative control. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans\u00a035(4), 494\u2013504 (2005)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Bruemmer, D.J., Marble, J.L., Dudenhoeffer, D.D., Anderson, M., Mckay, M.D.: Mixed-initiative control for remote characterization of hazardous environments. In: Proceedings of the 36th Annual Hawaii International Conference on System Sciences (2003)","DOI":"10.1109\/HICSS.2003.1174289"},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1109\/TSMCB.2003.811794","volume":"33","author":"J. Casper","year":"2003","unstructured":"Casper, J., Murphy, R.R.: Human-robot interactions during the robot-assisted urban search and rescue response at the World Trade Center. IEEE Transactions on Systems, Man, and Cybernetics, Part B\u00a033, 367\u2013385 (2003)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part B"},{"key":"25_CR8","unstructured":"Dias, M.B., Kannan, B., Browning, B., Jones, E.G., Argall, B., Dias, M.F., Zinck, M., Veloso, M.M., Stentz, A.J.: Evaluation of human-robot interaction awareness in search and rescue. In: Proceedings of the IEEE International Conference on Robotics and Automation, pp. 2327\u20132332 (2008)"},{"key":"25_CR9","unstructured":"Dias, M.B., Kannan, B., Browning, B., Jones, E.G., Argall, B., Dias, M.F., Zinck, M., Veloso, M.M., Stentz, A.J.: Sliding autonomy for peer-to-peer human-robot teams. In: Proceedings of the 10th International Conference on Intelligent Autonomous Systems (2008)"},{"key":"25_CR10","unstructured":"Bernardine Dias, M., Harris, T.K., Browning, B., Jones, E.G., Argall, B., Veloso, M.M., Stentz, A., Rudnicky, A.I.: Dynamically formed human-robot teams performing coordinated tasks. In: AAAI Spring Symposium: To Boldly Go Where No Human-Robot Team Has Gone Before, pp. 30\u201338 (2006)"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Espinosa, J.A., Cadiz, J., Rico-Gutierrez, L., Kraut, R.E., Scherlis, W., Lautenbacher, G.: Coming to the wrong decision quickly: Why awareness tools must be matched with appropriate tasks. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp. 392\u2013399. ACM (2000)","DOI":"10.1145\/332040.332463"},{"key":"25_CR12","unstructured":"Feil-Seifer, D., Mataric, M.J.: Defining socially assistive robotics. In: Proceedings of the International Conference on Rehabilitation Robotics, pp. 465\u2013468 (2008)"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Ferketic, J., Goldblatt, L., Hodgson, E., Murray, S., Wichowski, R., Bradley, A., Chun, W., Evans, J., Fong, T., Goodrich, M., Steinfeld, A., Stiles, R.: Toward human-robot interface standards: Use of standardization and intelligent subsystems for advancing human-robotic competency in space exploration. In: Proceedings of the SAE 36th International Conference on Environmental Systems (2006)","DOI":"10.4271\/2006-01-2019"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Fong, T., Nourbakhsh, I., Kunz, C., Fl\u00fcckiger, L., Schreiner, J., Ambrose, R., Burridge, R., Simmons, R., Hiatt, L.M., Schultz, A.: The peer-to-peer human-robot interaction project. Space\u00a06750 (2005)","DOI":"10.2514\/6.2005-6750"},{"key":"25_CR15","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1023\/A:1011295826834","volume":"11","author":"T. Fong","year":"2001","unstructured":"Fong, T., Thorpe, C.: Vehicle teleoperation interfaces. Autonomous Robots\u00a011, 9\u201318 (2001)","journal-title":"Autonomous Robots"},{"key":"25_CR16","unstructured":"Forsberg, M.: Why is speech recognition difficult. Chalmers University of Technology (2003)"},{"key":"25_CR17","unstructured":"Gieselmann, P., Stenneken, P.: How to talk to robots: Evidence from user studies on human-robot communication. How People Talk to Computers, Robots, and Other Artificial Communication Partners, 68 (2006)"},{"key":"25_CR18","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1561\/1100000005","volume":"1","author":"M.A. Goodrich","year":"2007","unstructured":"Goodrich, M.A., Schultz, A.C.: Human-robot interaction: a survey. Found. Trends Hum.-Comput. Interact.\u00a01, 203\u2013275 (2007)","journal-title":"Found. Trends Hum.-Comput. Interact."},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Johnson, M., Feltovich, P.J., Bradshaw, J.M., Bunch, L.: Human-robot coordination through dynamic regulation. In: IEEE International Conference on Robotics and Automation, ICRA 2008, pp. 2159\u20132164 (2008)","DOI":"10.1109\/ROBOT.2008.4543526"},{"key":"25_CR20","unstructured":"Johnson, M., Intlekofer, K.: Coordinated operations in mixed teams of humans and robots. In: Proceedings of the IEEE International Conference on Distributed Human-Machine Systems (2008)"},{"key":"25_CR21","unstructured":"Kitano, H., Tadokoro, S., Noda, I., Matsubara, H., Takahsahi, T., Shinjou, A., Shimada, S.: RoboCup rescue: Search and rescue in large-scale disasters as a domain for autonomous agents research. In: Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, pp. 739\u2013743 (1999)"},{"key":"25_CR22","unstructured":"Klir, G.J., Folger, T.A.: Fuzzy sets, uncertainty, and information. Prentice Hall (1988)"},{"issue":"1","key":"25_CR23","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing\u00a04(1), 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"25_CR24","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s10514-006-7223-8","volume":"21","author":"V. Kulyukin","year":"2006","unstructured":"Kulyukin, V., Gharpure, C., Nicholson, J., Osborne, G.: Robot-assisted wayfinding for the visually impaired in structured indoor environments. Autonomous Robots\u00a021, 29\u201341 (2006)","journal-title":"Autonomous Robots"},{"key":"25_CR25","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0921-8890(98)00011-6","volume":"23","author":"G. Lacey","year":"1998","unstructured":"Lacey, G., Dawson-Howe, K.M.: The application of robotics to a mobility aid for the elderly blind. Robotics and Autonomous Systems\u00a023, 245\u2013252 (1998)","journal-title":"Robotics and Autonomous Systems"},{"key":"25_CR26","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0921-8890(02)00166-5","volume":"38","author":"S. Lauria","year":"2002","unstructured":"Lauria, S., Bugmann, G., Kyriacou, T., Klein, E.: Mobile robot programming using natural language. Robotics and Autonomous Systems\u00a038, 171\u2013181 (2002)","journal-title":"Robotics and Autonomous Systems"},{"key":"25_CR27","unstructured":"Lueth, T.C., Laengle, T., Herzog, G., Stopp, E., Rembold, U.: KANTRA: human-machine interaction for intelligent robots using natural language. In: Proceedings of the IEEE International Workshop on Robotand HumanCommunication, pp. 106\u2013111 (1994)"},{"key":"25_CR28","doi-asserted-by":"crossref","unstructured":"Marble, J., Bruemmer, D., Few, D., Dudenhoeffer, D.: Evaluation of supervisory vs. peer-peer interaction with human-robot teams. In: Proceedings of the Hawaii International Conference on System Sciences (2004)","DOI":"10.1109\/HICSS.2004.1265326"},{"key":"25_CR29","first-page":"410","volume-title":"Semantic Information Processing","author":"J. McCarthy","year":"1968","unstructured":"McCarthy, J.: Situations, actions and causal laws. In: Minsky, M. (ed.) Semantic Information Processing, pp. 410\u2013417. MIT press, Cambridge (1968)"},{"key":"25_CR30","doi-asserted-by":"crossref","unstructured":"Norbakhsh, I.R., Sycara, K., Koes, M., Yong, M., Lewis, M., Burion, S.: Human-robot teaming for search and rescue. Pervasive Computing, 72\u201379 (2005)","DOI":"10.1109\/MPRV.2005.13"},{"key":"25_CR31","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0004-3702(93)90109-O","volume":"64","author":"R. Reiter","year":"1993","unstructured":"Reiter, R.: Proving properties of states in the situation calculus. Artificial Intelligence\u00a064, 337\u2013351 (1993)","journal-title":"Artificial Intelligence"},{"key":"25_CR32","first-page":"398","volume":"2","author":"I. Shim","year":"2004","unstructured":"Shim, I., Yoon, J., Yoh, M.: A human robot interactive system \u201cRoJi\u201d. International Journal of Control, Automation, and Systems\u00a02, 398\u2013405 (2004)","journal-title":"International Journal of Control, Automation, and Systems"},{"issue":"9","key":"25_CR33","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/348941.348990","volume":"43","author":"B. Shneiderman","year":"2000","unstructured":"Shneiderman, B.: The limits of speech recognition. Communications of the ACM\u00a043(9), 63\u201365 (2000)","journal-title":"Communications of the ACM"},{"key":"25_CR34","unstructured":"Thielscher, M.: Introduction to the fluent calculus. Electronic Transactions on Artificial Intelligence\u00a03 (1998)"},{"key":"25_CR35","unstructured":"Tomassi, P.: Logic. Routledge (1999)"},{"key":"25_CR36","doi-asserted-by":"crossref","unstructured":"Wilcox, B., Nguyen, T.: Sojourner on mars and lessons learned for future planetary rovers. In: Proceedings of the SAE International Conference on Environmental Systems (1998)","DOI":"10.4271\/981695"},{"key":"25_CR37","unstructured":"Winograd, T., Flores, F.: Understanding computers and cognition: A new foundation for design. Ablex Pub. (1986)"},{"key":"25_CR38","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-7908-1791-1_1","volume":"95","author":"L.A. Zadeh","year":"2002","unstructured":"Zadeh, L.A.: Some reflections on information granulation and its centrality in granular computing, computing with words, the computational theory of perceptions and precisiated natural language. Studies in Fuzziness and Soft Computing\u00a095, 3\u201322 (2002)","journal-title":"Studies in Fuzziness and Soft Computing"},{"issue":"3","key":"25_CR39","first-page":"74","volume":"25","author":"L.A. Zadeh","year":"2004","unstructured":"Zadeh, L.A.: Precisiated natural language (PNL). AI Magazine\u00a025(3), 74\u201392 (2004)","journal-title":"AI Magazine"},{"issue":"1","key":"25_CR40","first-page":"73","volume":"22","author":"L.A. Zadeh","year":"2001","unstructured":"Zadeh, L.A.: A new direction in ai: Toward a computational theory of perceptions. AI Magazine\u00a022(1), 73 (2001)","journal-title":"AI Magazine"}],"container-title":["Advances in Intelligent Systems and Computing","ROBOT2013: First Iberian Robotics Conference"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03653-3_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T13:25:42Z","timestamp":1676640342000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-03653-3_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319036526","9783319036533"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03653-3_25","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2014]]}}}