Promoting a Common Testbed for Natural Deduction Tutoring Systems.
Larry Joshua CrottsStephen TatePublished in: ICEEL (2022)
Keyphrases
- tutoring system
- natural deduction
- theorem prover
- inference rules
- student modelling
- intelligent tutoring systems
- intuitionistic logic
- student model
- sequent calculus
- cut elimination
- theorem proving
- problem based learning
- linear time temporal logic
- knowledge acquisition bottleneck
- cognitive skills
- linear logic
- authoring tool
- fixed point
- collaborative learning
- probability distribution
- bayesian networks
- learning algorithm