Experimental Evaluation of Automatic Hint Generation for a Logic Tutor.

John C. Stamper Michael Eagle Tiffany Barnes Marvin J. Croy

Published in: AIED (2011)

Keyphrases

experimental evaluation
modal logic
data driven
database
tutoring system
machine learning
case study
fully automatic
multi valued
nonmonotonic logics
sound and complete axiomatization