Investigating the Impact of Unsolicited Next-Step and Subgoal Hints on Dropout in a Logic Proof Tutor (Abstract Only).
Christa CodyBehrooz MostafaviPublished in: SIGCSE (2017)
Keyphrases
- proof theory
- linear logic
- intelligent tutoring systems
- proof theoretic
- post processing
- natural deduction
- sequent calculi
- classical logic
- logic programming
- goal oriented
- automated reasoning
- theorem proving
- modal logic
- higher order logic
- multi valued
- logical framework
- conditional logic
- spam filtering
- automated theorem proving
- proof search
- high level