Combining Worked Examples and Problem Solving in a Data-Driven Logic Tutor.
Zhongxiu LiuBehrooz MostafaviTiffany BarnesPublished in: ITS (2016)
Keyphrases
- data driven
- worked examples
- model tracing
- classical logic
- case based reasoning
- information processing
- intelligent tutoring systems
- artificial intelligence
- intelligent tutoring
- explanation based learning
- logic programming
- case study
- machine learning
- modal logic
- solving problems
- automated reasoning
- analogical reasoning
- reinforcement learning
- learning tools
- engineering design
- multi valued
- collaborative problem solving