Login / Signup
Exploration of Student's Use of Rule Application References in a Propositional Logic Tutor.
Michael Eagle
Vinaya Polamreddi
Behrooz Mostafavi
Tiffany Barnes
Published in:
EDM (2014)
Keyphrases
</>
propositional logic
intelligent tutoring systems
belief revision
tutoring system
possibilistic logic
machine learning
first order logic
student model
belief change
knowledge representation
propositional satisfiability
model tracing