Special Issue on Intelligent CAI and Hypermedia =============================================== . FOREWORD .......................................................... 1 Norio SHIRATORI PAPERS ====== . The Role of Student Mdels in Learning Environments ................ 3 John SELF . The Current Situations and Future Directions of Intelligent CAI Research/Development .............................................. 9 Toshio OKAMOTO . An Indexing Framework for Adaptive Arrangement of Mechanics Problems for ITS .......................................................... 19 Tsukasa HIRASHIMA, Toshitada NIITSU, Kentaro HIROSE, Akihiro KASHIHARA and Jun'ichi TOYODA . Load-Oriented Tutoring to Enhance Student's Explanation Understanding --An Explanation Planner and a Self-explanation Environment-- .................................................... 27 Akihiro KASHIHARA, Koichi MATSUMURA, Tsukasa HIRASHIMA and Jun'ichi TOYODA . An Inductive Student Modeling Method which Deals with Student Contradictions ................................................... 39 Yasuyuki KONO, Mitsuru IKEDA and Riichiro MIZOGUCHI . Student Modelling for Procedural Problem Solving ................. 49 Noboru MATSUDA and Toshio OKAMOTO . A Workbench System for Novice Prolog Programmers: Visually-Structured Interactive Tracer and Prototype-Based Programming Support .............................................. 57 Kohji ITOH, Makoto ITAMI, Kazuo FUKAWA, Jun MURAMATSU and Yoshitaka ENOMOTO . Integrated Intelligent Programming Environment for Learning Programming ...................................................... 68 Haruki UENO . Kanji Laboratory: An Environmental ICAI System for Kanji Learning 80 Toshihiro HAYASHI and Yoneo YANO . Hypermedia English Learning Environment Based on Language Understanding and Error Origin Identification .................... 89 Hidenobu KUNICHIKA, Akira TAKEUCHI and Setsuko OTSUKI . Design of an ITS for Strategic Knowledge in Proving Logical Formulas ......................................................... 98 Koichiro MORIHIRO, Mitsuru IKEDA and Riichiro MIZOGUCHI . Development of a Simulation-Based Intelligent Tutoring System for Assisting PID Control Learning .................................. 108 Takeki NOGAMI, Yoshihide YOKOI, Ichiro YANAGISAWA and Shizuka MITUI . Development of an Environmental ICAI System for English Conversation Learning ........................................................ 118 Ryo OKAMOTO and Yoneo YANO . An Interactive Learning Environment for an Intelligent Tutoring System .......................................................... 129 Akira TAKEUCHI and Setsuko OTSUKI . Interactive Learning Environment for Dynamics: IPE .............. 138 Masayuki UENO, Kenichi FUJII and Katsuhide TSUSHIMA . ABSTRACTS (Trans. IEICE, Vol.J77-D-I, J77-D-II, No.1 in Japanese) ........................................................ 147 . IEICE TECHNICAL REPORTS/CONTENTS ................................ 157