| |
Journal papers
|
2004 |
Matsuda, N., & VanLehn, K. (2004).
GRAMY: A Geometry Theorem Prover Capable of
Construction. Journal of Automated Reasoning, 32(1), 3-33. |
|
1994 |
Toshio Okamoto, Koichiro Morihiro, Noboru Matsuda, Shimpei
Takuma, "Application of Analogical Reasoning and Extraction
of Tutoring Rules for Concept-Formation Learning,"
Electronics and Communications in Japan Part Iii-Fundamental
Electronic Science, Vol.77, No.3, pp.75-86, 1994. |
|
1993 |
Noboru Matsuda, Toshio Okamoto, "Student
Modelling for Procedural Problem Solving", IEICE Trans. of Inf.
& Syst., Vol.E77-D, No.1, pp.49-56, 1993. |
|
1992 |
Noboru Matsuda, Toshio Okamoto, "Student
Model and its Recognition by Hypothesis-Based Reasoning in ITS",
Journal of Electronics and Communications in Japan, Part III, Vol.75,
No.8, pp.85-95, 1992. Toshio Okamoto, Noboru Matsuda, "Overview on the
studies of intelligent CAIs/ITSs in Japan," Educational Technology
Research, Vol.15, No.1-2, pp.1-8, 1992.
|
|
| |
Peer-reviewed conference papers
|
2008 |
Matsuda, N., Cohen, W. W., Sewall, J., Lacerda, G., &
Koedinger, K. R. (2008). Why
tutored problem solving may be better than example study: Theoretical
implications from a simulated-student study. In B. P. Woolf, E.
Aimeur, R. Nkambou & S. Lajoie (Eds.), Proceedings of the International
Conference on Intelligent Tutoring Systems (pp. 111-121). Heidelberg,
Berlin: Springer.
(acceptance rate: 0.33) |
|
2007 |
Matsuda, N., Cohen, W. W., Sewall, J., Lacerda, G., & Koedinger, K. R. (2007).
Predicting students
performance with SimStudent that learns cognitive skills from
observation. In R. Luckin, K. R. Koedinger & J. Greer (Eds.),
Proceedings of the international conference on Artificial Intelligence
in Education (pp. 467-476). Amsterdam, Netherlands: IOS Press.
(acceptance rate: 0.30)
Matsuda, N., Cohen, W. W., Sewall, J., Lacerda, G., & Koedinger, K. R. (2007). Evaluating a simulated student using
real students data for training and testing. In C. Conati, K. McCoy
& G. Paliouras (Eds.), Proceedings of the international conference on
User Modeling (LNAI 4511) (pp. 107-116). Berlin, Heidelberg: Springer.
(acceptance rate: 0.20) |
|
2005 |
Matsuda, N., Cohen, W. W., & Koedinger, K. R. (2005). Building Cognitive Tutors with Programming by Demonstration.
In S. Kramer & B. Pfahringer (Eds.), Proceedings of the
International Conference on Inductive Logic Programming (Technical report, TUM-I0510) (pp. 41-46): Institut fur Informatik, Technische
Universitat Munchen.
Matsuda, N., Cohen, W. W., & Koedinger, K. R.
(2005). Applying Programming by
Demonstration in an Intelligent Authoring Tool for Cognitive Tutors.
In AAAI Workshop on Human Comprehensible Machine Learning
(Technical Report WS-05-04) (pp. 1-8). Menlo Park, CA: AAAI
association.
Matsuda, N., & VanLehn, K. (2005).
Advanced Geometry Tutor: An intelligent tutor that teaches
proof-writing with construction. In C.-K. Looi, G. McCalla, B.
Bredeweg & J. Breuker (Eds.), Proceedings of The 12th International
Conference on Artificial Intelligence in Education (pp. 443-450).
Amsterdam: IOS Press.
(acceptance rate: 0.31)
|
|
2003 |
Noboru Matsuda and Kurt VanLehn, "Modeling Hinting
Strategies for Geometry Theorem Proving," In P. Brusilovsky, A.
Corbett & F. de Rosis (Eds.), Proceedings of the 9th International
Conference on User Modeling (pp.373-377), Berlin, Heidelberg: Springer. |
|
2000 |
Noboru Matsuda, Kurt VanLehn, "A
Reification of a Strategy for Geometry Theorem Proving," In G.
Gauthier, C. Frasson & K. VanLehn (Eds.), Proceedings of the
International Conference on Intelligent Tutoring Systems (Lecture Notes
in Computer Science, No.1839, p.660), Berlin, Heidelberg: Springer.
Noboru Matsuda, Kurt VanLehn, "Decision
Theoretic Instructional Planner for Intelligent Tutoring Systems,"
In B. du Boulay (Ed.), Workshop Proceedings on Modeling Human Teaching
Tactics and Strategies (ITS2000, pp.72-83).
|
|
1998 |
Noboru Matsuda, "Cognitive
Contribution of Diagrammatic Reasoning Model towards Geometry ITS,"
In B. P. Goettl, H. M. Halff, C. L. Redfield, V. J. Shute (Eds.),
Workshop Proceedings on Cognitive Principles in Intelligent Tutoring
Systems (ITS98). Noboru Matsuda, Toshio Okamoto, "Diagrammatic
Reasoning for Geometry ITS to Teach Auxiliary Line Construction Problem",
In B. P. Goettl, H. M. Halff, C. L. Redfield & V. J. Shute (Eds.),
Proceedings of the International Conference on Intelligent Tutoring
Systems, (Lecture Notes in Computer Science No.1452, pp.244-253),
Heidelberg, Berlin: Springer.
|
|
1996 |
Noboru Matsuda, Toshio Okamoto, "Parallel
Computing Model for Problem Solver Towards ITSs", In C. Frasson,
G. Gauthier & A. Lesgold (Eds.), Proceedings of the International
Conference on Intelligent Tutoring Systems (Lecture Notes in Computer
Science No.1086, pp.234-242), Heidelberg, Berlin: Springer. |
|
1994 |
Noboru Matsuda, Toshio Okamoto, "Student
Modelling for an ITS to Study Problem Solving", In H Ueno & V. L.
Stefanuk (Eds.), Proceedings of Japan-CIS Symposium on Knowledge Based
Software Engineering (pp.94-99), Saitama, Japan: Isshinsha. |
|
1992
|
Noboru Matsuda, Toshio Okamoto, "Student
Model Diagnosis for Adaptive Instruction in ITS", In C. Frasson,
G. Gauthier & G.I. McCalla (Eds.), Proceedings of the International
Conference on Intelligent Tutoring Systems (Lecture Notes in Computer
Science No.608, pp.467-474), Heidelberg, Berlin: Springer-Varlag. |
|