Automatic Hint Generation for Logic Proof Tutoring Using Historical Data - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Tiffany Barnes, John C. Stamper. Automatic Hint Generation for Logic Proof Tutoring Using Historical Data. Educational Technology & Society, 13(1):3-12, 2010. [doi]

The following publications are possibly variants of this publication:

Toward Automatic Hint Generation for Logic Proof Tutoring Using Historical Student DataTiffany Barnes, John C. Stamper. its 2008: 373-382 [doi]

A pilot study on logic proof tutoring using hints generated from historical student dataTiffany Barnes, John C. Stamper, Lorrie Lehman, Marvin J. Croy. edmcc 2008: 197-201 [doi]

Experimental Evaluation of Automatic Hint Generation for a Logic TutorJohn C. Stamper, Michael Eagle, Tiffany Barnes, Marvin J. Croy. aied 2011: 345-352 [doi]

Experimental Evaluation of Automatic Hint Generation for a Logic TutorJohn C. Stamper, Michael Eagle, Tiffany Barnes, Marvin J. Croy. aiedu, 22(1-2):3-17, 2013. [doi]

Program Representation for Automatic Hint Generation for a Data-Driven Novice Programming TutorWei Jin, Tiffany Barnes, John C. Stamper, Michael John Eagle, Matt Johnson, Lorrie Lehmann. its 2012: 304-309 [doi]

Effects of Automatically Generated Hints on Time in a Logic TutorMichael Eagle, Tiffany Barnes, Matthew Johnson. aied 2013: [doi]

runs on WebDSL