Sciweavers

ITS
2004
Springer
153views Multimedia» more  ITS 2004»
14 years 5 months ago
Modeling Students' Reasoning About Qualitative Physics: Heuristics for Abductive Proof Search
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 ...
Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn
ITS
2004
Springer
166views Multimedia» more  ITS 2004»
14 years 5 months ago
Alternative Views on Knowledge: Presentation of Open Learner Models
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 ...
Andrew Mabbott, Susan Bull
ITS
2004
Springer
94views Multimedia» more  ITS 2004»
14 years 5 months ago
Coherence Compilation: Applying AIED Techniques to the Reuse of Educational TV Resources
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...
ITS
2004
Springer
124views Multimedia» more  ITS 2004»
14 years 5 months ago
Combining Competing Language Understanding Approaches in an Intelligent Tutoring System
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...
Pamela W. Jordan, Maxim Makatchev, Kurt VanLehn
ITS
2004
Springer
129views Multimedia» more  ITS 2004»
14 years 5 months ago
Spoken Versus Typed Human and Computer Dialogue Tutoring
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...
Diane J. Litman, Carolyn Penstein Rosé, Kat...
ITS
2004
Springer
156views Multimedia» more  ITS 2004»
14 years 5 months ago
Tactical Language Training System: An Interim Report
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...
ITS
2004
Springer
141views Multimedia» more  ITS 2004»
14 years 5 months ago
Applying Machine Learning Techniques to Rule Generation in Intelligent Tutoring Systems
Matthew P. Jarvis, Goss Nuzzo-Jones, Neil T. Heffe...
ITS
2004
Springer
165views Multimedia» more  ITS 2004»
14 years 5 months ago
Knowledge Representation Requirements for Intelligent Tutoring Systems
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...
Ioannis Hatzilygeroudis, Jim Prentzas
ITS
2004
Springer
94views Multimedia» more  ITS 2004»
14 years 5 months ago
A Model for Student Knowledge Diagnosis Through Adaptive Testing
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...
Eduardo Guzmán, Ricardo Conejo
ITS
2004
Springer
129views Multimedia» more  ITS 2004»
14 years 5 months ago
Developing Learning by Teaching Environments That Support Self-Regulated Learning
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...
Gautam Biswas, Krittaya Leelawong, Kadira Belynne,...