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]
Abstract is missing.