Effects of Automatically Generated Hints on Time in a Logic Tutor.

Michael Eagle Tiffany Barnes Matthew W. Johnson

Published in: AIED Workshops (2013)

Keyphrases

automatically generated
automatically generate
manually generated
intelligent tutoring systems
automatically generating
manually constructed
automatically created
logic programming
modal logic
manually created
general purpose
machine learning
information retrieval
fully automated