Investigation of the Influence of Hint Type on Problem Solving Behavior in a Logic Proof Tutor.
Christa CodyBehrooz MostafaviTiffany BarnesPublished in: AIED (2) (2018)
Keyphrases
- proof theory
- logic programming
- model tracing
- case based reasoning
- artificial intelligence
- natural deduction
- proof search
- predicate logic
- intelligent tutoring systems
- engineering design
- sequent calculi
- theorem proving
- proof theoretic
- higher order logic
- linear logic
- intelligent tutoring
- cognitive model
- automated reasoning
- dynamic logic
- machine learning
- modal logic
- sequent calculus
- classical logic
- logical rules
- knowledge acquisition
- solving problems