Using Model Tracing Approach to Guide a Student Model for an Intelligent Computer Algebra System.
Jordan C. P. KungPaul StricklandDhiya Al-JumeilyA. Taleb-BendiabPublished in: INAP (2001)
Keyphrases
- student model
- computer algebra
- model tracing
- intelligent tutoring systems
- tutoring system
- constraint based modeling
- cognitive model
- intelligent tutoring
- student modeling
- student modelling
- theorem prover
- authoring tool
- computer algebra systems
- learning styles
- student interaction
- concept maps
- automated theorem provers
- affective states
- cognitive skills
- item response theory
- knowledge acquisition
- expert systems
- bayesian networks