A cognitive tutor for geometric proof

Authors:
Steven Ritter;Brendon Towle;R. Charles Murray;Robert G M. Hausmann;John Connelly
Affiliations:
Carnegie Learning, Inc., Pittsburgh, PA;Carnegie Learning, Inc., Pittsburgh, PA;Carnegie Learning, Inc., Pittsburgh, PA;Carnegie Learning, Inc., Pittsburgh, PA;Carnegie Learning, Inc., Pittsburgh, PA
Venue:
ITS'10 Proceedings of the 10th international conference on Intelligent Tutoring Systems - Volume Part II
Year:
2010

Citing 3
Cited 1

Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction

Proceedings of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology
Authoring Model-Tracing Cognitive Tutors

International Journal of Artificial Intelligence in Education
User modeling and problem-space representation in the tutor runtime engine

UM'03 Proceedings of the 9th international conference on User modeling

Crowd-scale interactive formal reasoning and analytics

Proceedings of the 26th annual ACM symposium on User interface software and technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Geometric proof has long been a topic of study within Intelligent Tutoring Systems [3,4] Proof is interesting because it supports a variety of solutions and strategies However, implementation is challenging and such tutors have not been widely deployed.