Deep Thought: An Intelligent Logic Tutor for Discrete Math.
Mehak ManiktalaTiffany BarnesPublished in: SIGCSE (2020)
Keyphrases
- tutoring system
- model tracing
- intelligent tutors
- intelligent tutoring systems
- modal logic
- logic programming
- discrete version
- automated reasoning
- multi valued
- cognitive tutor
- digital circuits
- sound and complete axiomatization
- neural network
- discrete geometry
- truth values
- set theory
- deep learning
- classical logic
- logical framework
- continuous domains
- continuous variables
- student model