Introduction to Reinforcement Learning
Introduction to Reinforcement Learning
A tutorial program for propositional logic with human/computer interactive learning
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
Journal of Automated Reasoning
Toward Automatic Hint Generation for Logic Proof Tutoring Using Historical Student Data
ITS '08 Proceedings of the 9th international conference on Intelligent Tutoring Systems
Does Help Help? Introducing the Bayesian Evaluation and Assessment Methodology
ITS '08 Proceedings of the 9th international conference on Intelligent Tutoring Systems
Using Knowledge Discovery Techniques to Support Tutoring in an Ill-Defined Domain
ITS '08 Proceedings of the 9th international conference on Intelligent Tutoring Systems
The Logic-ITA in the Classroom: A Medium Scale Experiment
International Journal of Artificial Intelligence in Education
The Behavior of Tutoring Systems
International Journal of Artificial Intelligence in Education
Towards an Intelligent Tutoring System for Propositional Proof Construction
Proceedings of the 2008 conference on Current Issues in Computing and Philosophy
I learn from you, you learn from me: How to make iList learn from students
Proceedings of the 2009 conference on Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling
A comparative analysis of cognitive tutoring and constraint-based modeling
UM'03 Proceedings of the 9th international conference on User modeling
Experimental evaluation of automatic hint generation for a logic tutor
AIED'11 Proceedings of the 15th international conference on Artificial intelligence in education
Generating task-specific next-step hints using domain-independent structures
AIED'11 Proceedings of the 15th international conference on Artificial intelligence in education
Hints: is it better to give or wait to be asked?
ITS'10 Proceedings of the 10th international conference on Intelligent Tutoring Systems - Volume Part I
Scaffolding vs. hints in the assistment system
ITS'06 Proceedings of the 8th international conference on Intelligent Tutoring Systems
Enhancing the automatic generation of hints with expert seeding
International Journal of Artificial Intelligence in Education - Special issue on Best of ITS 2010
Program representation for automatic hint generation for a data-driven novice programming tutor
ITS'12 Proceedings of the 11th international conference on Intelligent Tutoring Systems
Hi-index | 0.00 |
We have augmented the Deep Thought logic tutor with a Hint Factory that generates data-driven, context-specific hints for an existing computer aided instructional tool. We investigate the impact of the Hint Factory's automatically generated hints on educational outcomes in a switching replications experiment that shows that hints help students persist in a deductive logic proofs tutor. Three instructors taught two semester-long courses, each teaching one semester using a logic tutor with hints, and one semester using the tutor without hints, controlling for the impact of different instructors on course outcomes. Our results show that students in the courses using a logic tutor augmented with automatically generated hints attempted and completed significantly more logic proof problems, were less likely to abandon the tutor, performed significantly better on a post-test implemented within the tutor, and achieved higher grades in the course.