| |
Journal Papers
| 2004 |
Matsuda, N., & VanLehn, K. (2004).
GRAMY: A geometry theorem prover capable of
construction. Journal of Automated Reasoning, 32(1), 3-33. |
| 1998 |
Takeshi Ochi, Noboru Matsuda, & Toshio Okamoto (1998).
An object oriented distributed working environment to integrate
cooperative work and personal work. Transactions of Information
Processing Society of Japan, 39(1), 123-130.
[Japanese] |
| 1997 |
Tamao Yoshida, Noboru Matsuda, & Toshio Okamoto (1997).
The system for supporting to learn/diagnose Z notation. Transaction of
Japan Society for Information and Systems in Education, 14(1), 3-12.
[Japanese] |
| 1996 |
Toshio Okamoto, Noboru Matsuda, & Hiroshi Sasaki (1996).
Intelligent CAI for geometric theorem proving with dynamic manipulative
interface. Transactions of Information Processing Society of Japan,
37(9), 1679-1687. [Japanese] |
| 1995 |
Toshio Okamoto, Noboru Matsuda, & Toshihiko Furiya
(1995). A Study of the relationship between programming abilities and
academic achievement in junior high school mathematics. Japan Journal of
Educational Technology, 19(2), 85-100.
[Japanese] |
| 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.
Toshio Okamoto, Noboru Matsuda, & Kyoichiro Yasuda
(1994). Study of CAI with algorithm diagnosis system for novice C
programmers. Journal of Japan Society for CAI, 11(2), 63-74.
[Japanese] |
| 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.
Noboru
Matsuda, Satoshi Nagashima, Toshio Okamoto, & Shimpei Takuma (1993). On
the system of learning and diagnosis for fostering space concept.
Journal of Japan Society for CAI, 10(3), 114-121.
[Japanese] |
| 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.
Noboru
Matsuda & Toshio Okamoto (1992). Mental model of the process of
composing geometric proofs using an intelligent tutoring system. Japan
Journal of Educational Technology, 15(4), 167-182.
[Japanese] |
| 1991 |
Toshio Okamoto, Noboru Matsuda, & Shimpei Takuma (1991).
A knowledge based CAD to support students’ learning elementary geometric
concepts and diagnosing their misconceptions. Japan Journal of
Educational Technology, 14(4), 147-157.
[Japanese] |
| 1990 |
Noboru Matsuda & Toshio Okamoto (1990). An automatic
generation of knowledge-base for an intelligent CAI on geometry theorem
proving and a GUI to draw geometric figures. Transactions of IEICE (the
Institution of Electronics, Information, and Communication Engineering),
J73-D-II(1), 88-99.
[Japanese] |
| 1989 |
Toshio Okamoto & Noboru Matsuda (1989). Learning to
recognize students’ plan in geometry proof using intelligent CAI.
Transactions of Information Processing Society of Japan, 30(8),
1046-1057. [Japanese] |
| 1988 |
Toshio Okamoto & Noboru Matsuda (1988). An intelligent CAI for geometry proof. Transactions of Information
Processing Society of Japan, 29(3), 311-324.
[Japanese] |
|
| |
Peer-reviewed conference papers
|
2009 |
Matsuda, N., Lee, A., Cohen, W. W., & Koedinger, K. R.
(2009; to appear). A Computational Model
of How Learner Errors Arise from Weak Prior Knowledge. In Conference
of the Cognitive Science Society.
(acceptance rate: 0.32) |
|
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.), Technical report: TUM-I0510
(Proceedings of the International Conference on Inductive Logic
Programming) (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 (2003). "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 (2000). "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 (1998). "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 (1998). "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 (1996). "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 (1994). "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 (1992). "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. |
|
| |
Dissertation
|
| |
Book Chapters
|
2005 |
Noboru Matsuda (2005, in press). Instructional
strategies. In Hozumi Tanaka (Ed.) Encyclopedia of Artificial
Intelligence. Tokyo: Japan Society of Artificial Intelligence. [Japanese]
Noboru Matsuda (2005, in press). Natural language processing in
educational systems. In Hozumi Tanaka (Ed.) Encyclopedia of
Artificial Intelligence. Tokyo: Japan Society of Artificial
Intelligence.
[Japanese] |
| 1999 |
Noboru Matsuda (1999). Cognitive model of geometry
theorem proving with construction and its application to intelligent
tutoring systems. In Yoshishige Sugiyama (Ed.) Towards new practical
theories in mathematics education. Tokyo: Toyokan Publishers Inc. [Japanese] |
| 1993 |
Noboru Matsuda (1993). Computer networking. In Toshio
Okamoto (Ed.) Introduction to Information Education for Teachers: Cases
in High School, (pp.180-197). Tokyo: Personal Media. [Japanese] |
| 1992 |
Noboru Matsuda (1992). Foundations of Computers. In
Toshio Okamoto (Ed.) Introduction to Information Education for Teachers:
Cases in Junior High School, (pp.88-119). Tokyo: Personal Media. [Japanese] |
| 1990 |
Noboru Matsuda (1990). What is CAI? In Toshio Okamoto
(Ed.) Introduction to C Programming, (pp.201-236). Tokyo: Personal
Media. [Japanese]
Noboru Matsuda & Kazuhiko Hatano (1990). Knowledge
communication. In Toshio Okamoto and Riichiro Mizoguchi (Eds.)
Artificial Intelligence and Tutoring Systems, (pp.447-456). Tokyo: Ohmu
Inc. This is a Japanese translation of Etienne Wenger, Artificial
Intelligence and Tutoring Systems, Los Altos, CA: Morgan Kaufmann
(1987). [Japanese]
|
| 1988 |
Noboru Matsuda (1988). Drill, Practice, and Machine
Learning. In Toshio Okamoto, Kanji Akahori, and Setsuo Yokoyama (Eds.)
Computer environments for children, (pp.21-40). Tokyo: Personal Media.
This is a Japanese translation of Cynthia Solomon, Computer environments
for children, Cambridge, MA: MIT Press (1986). [Japanese] |
|
| |
Other publications
|
2006 |
Noboru Matsuda, William W. Cohen, Jonathan Sewall, and
Kenneth R. Koedinger (2006). Applying
Machine Learning to Cognitive Modeling for Cognitive Tutors,
Technical report CMU-ML-06-105, School of Computer Science, Carnegie
Mellon University. Noboru Matsuda, William W.
Cohen, Jonathan Sewall, and Kenneth R. Koedinger (2006).
What characterizes a better demonstration
for cognitive modeling by demonstration? Technical report
CMU-ML-06-106, School of Computer Science, Carnegie Mellon University. |
|