Deep Inference for Automated Proof Tutoring?
Christoph BenzmüllerDominik DietrichMarvin R. G. SchillerSerge AutexierPublished in: KI (2007)
Keyphrases
- intelligent tutoring
- theorem proving
- automated theorem provers
- inference process
- theorem prover
- mathematical proofs
- data driven
- fully automated
- semi automated
- probabilistic inference
- bayesian inference
- natural language dialogue
- inference mechanism
- deep learning
- tutoring system
- intelligent tutoring systems
- bayesian networks
- genetic algorithm
- inference engine
- dynamic bayesian networks
- bayesian model
- structured prediction
- expert systems
- case study
- linear logic
- e learning
- neural network