Automatic Hint Generation for Logic Proof Tutoring Using Historical Data.
Tiffany BarnesJohn C. StamperPublished in: J. Educ. Technol. Soc. (2010)
Keyphrases
- historical data
- proof theory
- data mining techniques
- stream data
- proof theoretic
- natural deduction
- semi automatic
- stock price
- predictive model
- linear logic
- customer behavior
- proof search
- tutoring system
- theorem proving
- logical rules
- demand forecasting
- theorem prover
- modal logic
- data mining technology
- intelligent tutoring systems
- proof procedure
- sequent calculi
- automated reasoning
- cut elimination
- higher order logic
- sequent calculus
- logical framework
- machine learning
- default reasoning
- first order logic
- software engineering
- probabilistic model
- long term