Formal Approaches to Student Modelling

This publication has 22 references indexed in Scilit:

• All I know: A study in autoepistemic logic
  Artificial Intelligence, 1990
• Nonmonotonic reasoning
  Artificial Intelligence Review, 1990
• Generating context-sensitive responses to object-related misconceptions
  Artificial Intelligence, 1989
• A correction to the algorithm in reiter's theory of diagnosis
  Artificial Intelligence, 1989
• Negotiating Task Decomposition and Allocation Using Partial Global Planning
  Published by Elsevier ,1989
• A model for belief revision
  Artificial Intelligence, 1988
• Belief, awareness, and limited reasoning
  Artificial Intelligence, 1987
• Formalizing nonmonotonic reasoning systems
  Artificial Intelligence, 1987
• Qualitative Student Models
  Annual Review of Computer Science, 1986
• Towards a general theory of action and time
  Artificial Intelligence, 1984