Determining Problem Selection for a Logic Proof Tutor.
Behrooz MostafaviTiffany BarnesPublished in: EDM (2013)
Keyphrases
- proof theory
- natural deduction
- proof theoretic
- proof search
- linear logic
- theorem proving
- intelligent tutoring systems
- cut elimination
- selection criteria
- theorem prover
- computational properties
- proof procedure
- sequent calculi
- default reasoning
- sequent calculus
- selection algorithm
- modal logic
- automated theorem proving
- classical logic
- defeasible logic
- genetic algorithm
- automated reasoning
- probability theory
- e learning
- feature selection