Add to ORKGThe Why-Atlas tutoring system presents students with qualitative physics questions and encourages them to explain their answers via natural language. Although there are inexpensive techniques for analyzing explanations, we claim that better understanding is necessary for use within tutoring systems. In this paper we describe how Why-Atlas creates and utilizes a proof-based representation of student essays. W
This paper presents an Automatic Question Generator from narrative text using Natural Language Proce...
This paper reports on the design and enactment of an instructional strategy aimed to support student...
This paper presents a system that makes it a simple task to create Web pages that provide explanatio...
The Why2-Atlas tutoring system presents students with qualitative physics questions and encourages ...
We describe the WHY2-ATLAS intelligent tutoring system for qualitative physics that interacts with s...
We set forth general techniques for managing discourse in an intelligent tutor. These techniques are...
In this paper we describe a part of the Why2-Atlas tutoring system that models students ’ reasoning ...
Several cognitive scientists attribute the effectiveness of tutorial dialogue to its interactive nat...
What are good ways of using natural language dialog in intelligent tutoring systems? A role with hig...
Our research goal is to investigate whether previous findings and methods in the area of tutorial di...
In this paper we describe an application of weighted ab-ductive theorem proving that is used to crea...
Abstract. Previous research has shown that self-explanation can be supported effectively in an intel...
Computer-based logic proofs are a form of `unnatural' language discourse, but the structure and...
Automated essay-scoring technologies can enhance both large-scale assessmentand classroom instructio...
We propose a promising research problem, the machine verification of textbook proofs. It shows that ...
This paper presents an Automatic Question Generator from narrative text using Natural Language Proce...
This paper reports on the design and enactment of an instructional strategy aimed to support student...
This paper presents a system that makes it a simple task to create Web pages that provide explanatio...
The Why2-Atlas tutoring system presents students with qualitative physics questions and encourages ...
We describe the WHY2-ATLAS intelligent tutoring system for qualitative physics that interacts with s...
We set forth general techniques for managing discourse in an intelligent tutor. These techniques are...
In this paper we describe a part of the Why2-Atlas tutoring system that models students ’ reasoning ...
Several cognitive scientists attribute the effectiveness of tutorial dialogue to its interactive nat...
What are good ways of using natural language dialog in intelligent tutoring systems? A role with hig...
Our research goal is to investigate whether previous findings and methods in the area of tutorial di...
In this paper we describe an application of weighted ab-ductive theorem proving that is used to crea...
Abstract. Previous research has shown that self-explanation can be supported effectively in an intel...
Computer-based logic proofs are a form of `unnatural' language discourse, but the structure and...
Automated essay-scoring technologies can enhance both large-scale assessmentand classroom instructio...
We propose a promising research problem, the machine verification of textbook proofs. It shows that ...
This paper presents an Automatic Question Generator from narrative text using Natural Language Proce...
This paper reports on the design and enactment of an instructional strategy aimed to support student...
This paper presents a system that makes it a simple task to create Web pages that provide explanatio...