Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs.
Ke WangZhendong SuPublished in: CoRR (2017)
Keyphrases
- intelligent tutoring
- mixed initiative
- intelligent tutoring systems
- student modeling
- learning environment
- solving problems
- pedagogical agents
- serious games
- model tracing
- knowledge engineering
- user interaction
- domain knowledge
- case study
- computer graphics
- software systems
- theorem proving
- case based reasoning
- fuzzy logic
- dialogue system
- user interface
- expert systems
- social networks