Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
This paper describes a study in which individual learner models were built for students and presented to them with a choice of view. Students found it useful, and not confusing to ...
The HomeWork project is building an exemplar system to provide individualised experiences for individual and groups of children aged 6-7 years, their parents, teachers and classmat...
Rosemary Luckin, Joshua Underwood, Benedict du Bou...
When implementing a tutoring system that attempts a deep understanding of students’ natural language explanations, there are three basic approaches to choose between; symbolic, i...
While human tutors typically interact with students using spoken dialogue, most computer dialogue tutors are text-based. We have conducted two experiments comparing typed and spoke...
Tactical Language Training System helps learners acquire basic communicative skills in foreign languages and cultures. Learners practice their communication skills in a simulated v...
W. Lewis Johnson, Carole R. Beal, Anna Fowles-Wink...
In this paper, we make a first effort to define requirements for knowledge representation (KR) in an ITS. The requirements concern all stages of an ITS’s life cycle (construction...
This work presents a model for student knowledge diagnosis that can be used in ITSs for student model update. The diagnosis is accomplished through Computerized Adaptive Testing (C...
Abstract. Betty’s Brain is a teachable agent system in the domain of river ecosystems that combines learning by teaching and self-regulation strategies to promote deep learning a...