Add to ORKGThe Why2-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 to provide substantive feedback. In this paper we motivate and describe how the system creates and utilizes a proof-based representation of student essays and provide some preliminary evaluation results
The problem that students have perceiving a need for proof is well-known to high school teachers and...
ABSTRACT. As a key objective, secondary school mathematics teachers seek to improve the proof skills...
International audienceThis paper presents a theoretical perspective for understanding and teaching u...
In this paper we describe a part of the Why2-Atlas tutoring system that models students ’ reasoning ...
In this paper we describe an application of weighted ab-ductive theorem proving that is used to crea...
The Why-Atlas tutoring system presents students with qualitative physics questions and encourages ...
Students ’ natural language (NL) explanations in the domain of qualitative mechanics lie in-between ...
We describe the WHY2-ATLAS intelligent tutoring system for qualitative physics that interacts with s...
In building intelligent tutoring systems, it is critical to be able to understand and diagnose stude...
In this paper we classify student’s proving level and design an interactive help system (IHS) corres...
Abductive reasoning is an important part of mathematical reasoning, helping students to explain puzz...
Abstract: This paper examines the relationship between explanations, proof and the use of computatio...
One of the key components of an Intelligent Tutoring System (ITS) is the mechanism for reasoning abo...
Proving and refuting are fundamental aspects of mathematical practice that are intertwined in mathem...
In this paper, the author provides a pedagogical intervention using GeoGebra in the proving process....
The problem that students have perceiving a need for proof is well-known to high school teachers and...
ABSTRACT. As a key objective, secondary school mathematics teachers seek to improve the proof skills...
International audienceThis paper presents a theoretical perspective for understanding and teaching u...
In this paper we describe a part of the Why2-Atlas tutoring system that models students ’ reasoning ...
In this paper we describe an application of weighted ab-ductive theorem proving that is used to crea...
The Why-Atlas tutoring system presents students with qualitative physics questions and encourages ...
Students ’ natural language (NL) explanations in the domain of qualitative mechanics lie in-between ...
We describe the WHY2-ATLAS intelligent tutoring system for qualitative physics that interacts with s...
In building intelligent tutoring systems, it is critical to be able to understand and diagnose stude...
In this paper we classify student’s proving level and design an interactive help system (IHS) corres...
Abductive reasoning is an important part of mathematical reasoning, helping students to explain puzz...
Abstract: This paper examines the relationship between explanations, proof and the use of computatio...
One of the key components of an Intelligent Tutoring System (ITS) is the mechanism for reasoning abo...
Proving and refuting are fundamental aspects of mathematical practice that are intertwined in mathem...
In this paper, the author provides a pedagogical intervention using GeoGebra in the proving process....
The problem that students have perceiving a need for proof is well-known to high school teachers and...
ABSTRACT. As a key objective, secondary school mathematics teachers seek to improve the proof skills...
International audienceThis paper presents a theoretical perspective for understanding and teaching u...