Library/1994

1994年

学術論文

• Kono, Y., Ikeda M., and Mizoguchi, R.: "An Inductive Student Modeling Method which Deals with Student Contradiction", IEICE Trans., on Information Systems, E77-D, pp.39-48, 1994.

• Morihiro, K., Ikeda, M., and Mizoguchi, R.: "Design of an ITS for Strategic Knowledg in Proving Logical Formulas", IEICE Trans. on Information and Systems, E77-D, pp.98-107, 1994.

• 松田勝志, 池田満, 溝口理一郎, “比較視点の導入によるEBLの機能拡張”, 人工知能学会誌, 9, pp.129-137，1994．

• Ikeda, M., and Mizoguchi, R.: "FITS: A Framework for ITS -A Computational Model of Tutoring-", Journal of Artificial Intelligence in Education, 5, pp.319-348, 1994.

• Kono, Y., Ikeda, M., and Mizoguchi, R.: "THEMIS: A Nonmonotonic Inductive Student Modeling System", Journal of Artificial Intelligence in Education, 5, pp.371-413, 1994.

国際会議

• He, Y., Ikeda, M., and Mizoguchi, R.: "Helping Novice Programmers Bridge the Conceptual Gap", Proc. of the 2nd Intl. Conf. on Expert System for Development, pp.192-197, 1994.

• Sasajima, M., Kitamura, Y., Ikeda, M., Yoshikawa, S., Endou, A., and Mizoguchi, R.: "An Investigation on Domain Ontology to Represent Functional Models", The Intl, Workshop on Qualitative Reasoning about Physical Systems, pp.224-233, 1994.