A Safe and Robust Approach to Shared-Control via Dialogue
暂无分享,去创建一个
[1] J. Habermas. Theorie des kommunikativen Handelns , 1981 .
[2] D. Dennett. The Intentional Stance. , 1987 .
[3] Bernd Krieg-Brückner,et al. Modelling Navigational Knowledge by Route Graphs , 2000, Spatial Cognition.
[4] Marc Schröder,et al. The German Text-to-Speech Synthesis System MARY: A Tool for Research, Development and Teaching , 2003, Int. J. Speech Technol..
[5] Axel Lankenau,et al. A Rigorous View of Mode Confusion , 2002, SAFECOMP.
[6] Alessandro Saffiotti,et al. The Saphira architecture: a design for autonomy , 1997, J. Exp. Theor. Artif. Intell..
[7] E. Palmer,et al. An automated method to detect potential mode confusions , 1999, Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033).
[8] Kenneth L. McMillan,et al. Symbolic model checking: an approach to the state explosion problem , 1992 .
[9] Erwin Prassler,et al. MORPHA: Communication and Interaction with Intelligent, Anthropomorphic Robot Assistants , 2001 .
[10] Wilfried Brauer,et al. Spatial Cognition II , 2000, Lecture Notes in Computer Science.
[11] John M. Rushby. Modeling the Human in Human Factors , 2001, SAFECOMP.
[12] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[13] Nicolas Lhuillier,et al. FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS , 2003 .
[14] Adelheit Stein,et al. Modelling the Illocutionary Aspects of Information-Seeking Dialogues , 1992, Inf. Process. Manag..
[15] Agostino Poggi,et al. Jade - a fipa-compliant agent framework , 1999 .
[16] Denis Javaux,et al. Models and Mechanized Methods that Integrate Human Factors into Automation Design , 2000 .
[17] Axel Lankenau,et al. A versatile and safe mobility assistant , 2001, IEEE Robotics Autom. Mag..
[18] LarssonStaffan,et al. Information state and dialogue management in the TRINDI dialogue move engine toolkit , 2000 .
[19] Bettina Buth,et al. Deadlock Analysis for a Fault-Tolerant System , 1997, AMAST.
[20] Terry Winograd,et al. Understanding computers and cognition , 1986 .
[21] Jim Davies. Specification and proof in real-time CSP , 1993, Distinguished dissertations in computer science.
[22] Staffan Larsson,et al. Dialogue Moves and Information States , 1998 .
[23] John A. Bateman,et al. The Theoretical Status of Ontologies in Natural Language Processing , 1997, ArXiv.
[24] James F. Allen,et al. An architecture for more realistic conversational systems , 2001, IUI '01.
[25] Anand S. Rao,et al. BDI Agents: From Theory to Practice , 1995, ICMAS.
[26] Axel Lankenau,et al. Architecture and applications of the Bremen Autonomous Wheelchair , 2000, Inf. Sci..
[27] Douglas B. Moran,et al. The Open Agent Architecture: A Framework for Building Distributed Software Systems , 1999, Appl. Artif. Intell..
[28] Thomas A. Henzinger,et al. Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..
[29] John Rushby,et al. Modeling the Human in Human Factors Extended Abstract , 2001 .
[30] Wolfgang Wahlster,et al. Smartkom: multimodal communication with a life- like character , 2001, INTERSPEECH.
[31] Stanley Peters,et al. Collaborative activities and multi-tasking in dialogue systems , 2002 .
[32] Jan Peleska,et al. Combining methods for the analysis of a fault-tolerant system , 1999, Proceedings 1999 Pacific Rim International Symposium on Dependable Computing.
[33] Andrew William Roscoe,et al. Model-checking CSP , 1994 .
[34] Martin Peschke,et al. Design and Validation of Computer Protocols , 2003 .
[35] Terrence Fong,et al. Collaboration, Dialogue, and Human-Robot Interaction , 2001 .
[36] Ben J. A. Kröse,et al. Jijo-2: An Office Robot that Communicates and Learns , 2001, IEEE Intell. Syst..
[37] Kazuhiko Kawamura,et al. A Software Agent Based Control System for Human-Robot Interaction , 1999 .
[38] Terrence Fong,et al. Collaboration, Dialogue, Human-Robot Interaction , 2001, ISRR.
[39] David R. Traum,et al. CONVERSATION ACTS IN TASK‐ORIENTED SPOKEN DIALOGUE , 1992, Comput. Intell..
[40] Andrew William Roscoe,et al. The Theory and Practice of Concurrency , 1997 .
[41] Conrado Daws,et al. Two examples of verification of multirate timed automata with Kronos , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[42] Till Mossakowski,et al. Ontologies for the Semantic Web in Casl , 2004, WADT.
[43] Anand S. Rao,et al. Modeling Rational Agents within a BDI-Architecture , 1997, KR.
[44] Rockford J. Ross,et al. Marc-applying multiagent systems to service robot control , 2004 .
[45] Adelheit Stein,et al. Modeling Information-Seeking Dialogues: The Conversational Roles (COR) Model. , 1996 .