Toward Automatic Hint Generation for Logic Proof Tutoring Using Historical Student Data

Tiffany Barnes, John C. Stamper. Toward Automatic Hint Generation for Logic Proof Tutoring Using Historical Student Data. In Beverly Park Woolf, Esma Aïmeur, Roger Nkambou, Susanne P. Lajoie, editors, Intelligent Tutoring Systems, 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008, Proceedings. Volume 5091 of Lecture Notes in Computer Science, pages 373-382, Springer, 2008. [doi]

Authors

Tiffany Barnes

This author has not been identified. Look up 'Tiffany Barnes' in Google

John C. Stamper

This author has not been identified. Look up 'John C. Stamper' in Google