Matsuda, Noboru - Human Computer Interaction Institute & School of Computer Science, Carnegie Mellon University

Advanced Search

Matsuda, Noboru - Human Computer Interaction Institute & School of Computer Science, Carnegie Mellon University

Building Cognitive Tutors with Programming by Demonstration
Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction
Modeling Hinting Strategies for Geometry Theorem Proving
A Computational Model of How Learner Errors Arise from Weak Prior Knowledge oboru Matsuda (noboru.matsuda@cs.cmu.edu)
Applying Programming by Demonstration in an Intelligent Authoring Tool for Cognitive Tutors
Evaluating a Simulated Student using Real Students Data for Training and Testing*
NOBORU MATSUDA Office address Home address
On Evaluation for Research in Educational Systems: What is an evaluation for?
Predicting Students' Performance with SimStudent: Learning Cognitive Skills from Observation1
Decision Theoretic Instructional Planner for Intelligent Tutoring Systems
THE IMPACT OF DIFFERENT PROOF STRATEGIES ON LEARNING GEOMETRY THEOREM PROVING
APPENDIX A: An Example of Scaffolding of the Forward AGT Participant FC020 working on the problem #7
What characterizes a better demonstration for cognitive modeling by demonstration?
Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction
B. Woolf et al. (Eds.): ITS 2008, LNCS 5091, pp. 111121, 2008. Springer-Verlag Berlin Heidelberg 2008
To appear in JSiSE, 18(2), 2001 July 30, 2001
Applying Machine Learning to Cognitive Modeling for Cognitive Tutors Noboru Matsuda1
THE IMPACT OF DIFFERENT PROOF STRATEGIES ON LEARNING GEOMETRY THEOREM PROVING
Journal of Automated Reasoning 32: 333, 2004. 2004 Kluwer Academic Publishers. Printed in the Netherlands.
Learning by Teaching SimStudent: Technical Accomplishments and an Initial Use with Students
, 18(1):158-159, 2001 Sun Mar 25 18:04:16 2001
NOBORU MATSUDA Office address Home address