Abductive Theorem Proving for Analyzing Student Explanations to Guide Feedback in Intelligent Tutoring Systems

This publication has 35 references indexed in Scilit:

• Using Bayesian Networks to Manage Uncertainty in Student Modeling
  User Modelling and User-Adapted Interaction, 2002
• Learning from human tutoring
  Cognitive Science, 2001
• Cost-based abduction and MAP explanation
  Artificial Intelligence, 1994
• The complexity of logic-based abduction
  Published by Springer Nature ,1993
• Weighted abduction for plan ascription
  User Modelling and User-Adapted Interaction, 1992
• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
  Artificial Intelligence, 1991
• The computational complexity of abduction
  Artificial Intelligence, 1991
• MULTIPLE REPRESENTATIONS OF KNOWLEDGE IN A MECHANICS PROBLEM-SOLVER
  Published by Elsevier ,1990
• User Models in Dialog Systems
  Published by Springer Nature ,1989
• Content Knowledge: Its Role, Representation, and Restructuring in Memory Development
  Advances in Child Development and Behavior, 1987