International Joint Conference on Artificial Intelligence · 1981 · 37 citations · 7 references
EducationComputer ScienceEducational TechnologyArtificial Intelligence In EducationComputer-assisted InstructionIntelligent Tutoring SystemsExpert SystemsMisconception DetectionProblem-solving SupportTutorial Dialogue SystemsTutoring System EvaluationAutomated Bug FindingBug LocalizationIntelligent Tutoring DialoguesIntelligent Tutoring System ExplanationsIntelligent Tutoring Systems EvaluationModeling Student MisconceptionsTutoring Dialogue Systems
We report here on the goals and status of an intelligent tutoring system being developed for novice Pascal programmers. We also describe our approach to program understanding, bug finding, and the inference of misconceptions. Examples of the system's capabilities are given.
7
The Cornell program synthesizer
Tim Teitelbaum, Thomas Reps · Communications of the ACM · 1981 · 709 citations · Full text
The goal structure of a socratic tutor
Albert L. Stevens, Allan Collins · 1977 · 107 citations · Full text