An Automatic Theorem Prover Generating a Proof in Natural Language. - Masakazu Nakanlshi; Morio Nagata; Kenji Ueda (IJCAI, 1979)

A Method for Generating Messages of the Interactive Software Based on the Individual User Model. - Morio Nagata; Satoru Nakashima (Syst. Comput. Jpn., 1988)

An automatic debugging approach for logic programming with a method for propagating constraints. - Tetsuji Fukaya; Morio Nagata (COMPSAC, 1991)

A Case Study of Plan Recognition: Command Sequences as Acts. - Yoshifumi Inoue; Morio Nagata (HCI (1), 1993)

A Method for Generating Messages of the On-Line Help System Based on a User Model and a Situational Model. - Y. Kobayashi; Morio Nagata (HCI (2), 1993)

An Algebraic System that Symbolic Expressions Can Interact with Graphical Representations for Understanding Mathematics. - H. Saito; Morio Nagata (HCI (2), 1993)

A Meeting Support System Based on Analyses of Human-Communication - Using the Context and Contents of Meetings. - Tomofumi Uetake; Morio Nagata; Koichi Takeuchi; Haruo Takagi (HCI (2), 1993)

Preparation of Raw Ingredients: Japan's Education of Information Systems Students for Corporate Cooking. - Haruo Takagi; Morio Nagata; Ryutaro Manabe (ICIS, 1993)

A Visual Environment Organizing the Class Hierarchy for Object-Oriented Programming. - Takashi Haginiwa; Morio Nagata (IEICE Trans. Inf. Syst., 1995)

A Computer Supported System of Meetings Using a Model of Inter-Personal Communication. - Tomofumi Uetake; Morio Nagata (IEICE Trans. Inf. Syst., 1995)

A support system for understanding list processing programs which generates explanations and input-output examples. - Kenji Hatori; Morio Nagata (Syst. Comput. Jpn., 1995)

Computer-Supported Meta-Communication Analysis of Meetings. - Koichi Takeuchi; Haruo Takagi; Morio Nagata (J. Organ. Comput. Electron. Commer., 1997)

Object-oriented analysis using scenarios. - Dai Kanetomo; Morio Nagata (Syst. Comput. Jpn., 1997)

A graphical user interface shifting from novice to expert. - Makoto Oka; Morio Nagata (HCI (1), 1999)

A Model for Navigating Interview Processes in Requirements Elicitation. - Junzo Kato; Seiichi Komiya; Motoshi Saeki; Atsushi Ohnishi; Morio Nagata; Shuichiro Yamamoto; Hisayuki Horai (APSEC, 2001)

PAORE: Package Oriented Requirements Elicitation. - Junzo Kato; Morio Nagata; Shuichiro Yamamoto; Motoshi Saeki; Haruhiko Kaiya; Hisayuki Horai; Atsushi Ohnishi; Seiichi Komiya; Kenji Watahiki (APSEC, 2003)

The Multipurpose Methods for Efficient Searching at Online Shopping. - Tomomi Sanjo; Morio Nagata (IEICE Trans. Inf. Syst., 2004)