Sign in

Experimental Evaluation of Automatic Hint Generation for a Logic Tutor.

John C. StamperMichael EagleTiffany BarnesMarvin 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