J. R. Anderson and B. Reiser, The LISP tutor, Byte, vol.10, pp.159-175, 1985.

J. R. Anderson, C. Boyle, A. Corbett, and M. Lewis, Cognitive modeling and intelligent tutoring, Artificial Intelligence, vol.42, issue.1, pp.7-49, 1990.
DOI : 10.1016/0004-3702(90)90093-F

J. R. Anderson, The Architecture of Cognition, 1983.
URL : https://hal.archives-ouvertes.fr/hal-00699788

J. R. Anderson, A theory of the origins of human knowledge, Artificial Intelligence, vol.40, issue.1-3, pp.313-351, 1989.
DOI : 10.1016/0004-3702(89)90052-0

J. R. Anderson, Rules of the Mind, 1993.

P. Baffes and R. Mooney, Symbolic revision of theories with m-of-n rules, Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 1993.

P. Baffes and R. Mooney, Refinement-based student modeling and automated bug library construction, Journal of Artificial Intelligence in Education, vol.7, issue.1, pp.75-116, 1996.

D. Bierman, P. Kamsteeg, and J. Sandberg, Student Models, Scratch-Pads, and Simulation, New Directions for Intelligent Tutoring Systems, 1992.
DOI : 10.1007/978-3-642-77681-6_9

L. Booker, D. Goldberg, and J. Holland, Classifier systems and genetic algorithms, Artificial Intelligence, vol.40, issue.1-3, pp.235-282, 1989.
DOI : 10.1016/0004-3702(89)90050-7

L. Breiman, J. Friedman, R. Olshen, and C. Stone, Classification and Regression Trees, 1984.

J. Brown and R. Burton, An investigation of computer coaching for informal learning activities, International Journal of Man-Machine Studies, vol.11, pp.5-24, 1979.

J. Brown and K. Vanlehn, Repair Theory: A Generative Theory of Bugs in Procedural Skills, Cognitive Science, vol.2, issue.4, pp.379-426, 1980.
DOI : 10.1207/s15516709cog0404_3

J. Brown, R. Burton, and J. De-kleer, Pedagogical, natural language, and knowledge engineering in SOPHIE I, II, and III, Intelligent Tutoring Systems, 1982.

R. Burton and J. Brown, Diagnostic models for procedural bugs in basic mathematical skills, Cognitive Science, vol.2, pp.155-191, 1978.

R. Burton, Diagnosing bugs in a simple procedural skill, Intelligent Tutoring Systems, 1982.

J. R. Carbonell, AI in CAI: An Artificial-Intelligence Approach to Computer-Assisted Instruction, IEEE Transactions on Man Machine Systems, vol.11, issue.4, pp.190-202, 1970.
DOI : 10.1109/TMMS.1970.299942

J. G. Carbonell, Derivational analogy: A theory of reconstructive problem solving and expertise acquisition, Machine Learning: An Artificial Intelligence Approach, Volume II, 1986.

B. Carr and I. Goldstein, Overlays: A theory of modeling for computer-aided instruction. AI Lab Memo 406, Massachusetts Institute of Technology, 1977.

D. Chapman and L. Kaelbling, Input generalization in delayed reinforcement learning: An algorithm and performance comparison, Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, 1991.

P. Cheeseman, J. Kelly, M. Self, J. Stutz, W. Taylor et al., AutoClass: A Bayesian Classification System, Proceedings of the Fifth International Workshop on Machine Learning, 1988.
DOI : 10.1016/B978-0-934613-64-4.50011-6

W. Clancey, Tutoring rules for guiding a case method dialog, Intelligent Tutoring Systems, 1982.

W. Clancey, Qualitative Student Models, Annual Review of Computer Science, vol.1, issue.1, pp.381-450, 1986.
DOI : 10.1146/annurev.cs.01.060186.002121
URL : http://www.dtic.mil/get-tr-doc/pdf?AD=ADA186916

S. Corder, The significance of learners' errors, International Review of Applied Linguistics, vol.5, pp.161-170, 1967.

E. Costa, S. Duchenoy, and Y. Kodratoff, A resolution-based method for discovering students' misconceptions, Artificial Intelligence and Human Learning, 1988.

J. De-kleer, An assumption-based TMS, Artificial Intelligence, vol.28, issue.2, pp.127-162, 1986.
DOI : 10.1016/0004-3702(86)90080-9

G. Dejong and R. Mooney, Explanation-based learning: An alternative view, Machine Learning, pp.145-176, 1986.
DOI : 10.1007/BF00114116
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.4855

T. Dietterich, Learning at the knowledge level, Machine Learning, pp.287-316, 1986.
DOI : 10.1007/BF00116894

M. Eisenstadt, My hairiest bug war stories, Communications of the ACM, vol.40, issue.4, pp.30-37, 1997.
DOI : 10.1145/248448.248456

R. Fikes, P. Hart, and N. Nilsson, Learning and executing generalized robot plans, Artificial Intelligence, vol.3, pp.251-288, 1972.
DOI : 10.1016/0004-3702(72)90051-3

D. Fisher, Knowledge acquisition via incremental conceptual clustering, Machine Learning, pp.139-172, 1987.
DOI : 10.1007/BF00114265
URL : http://axon.cs.byu.edu/~martinez/classes/678/Papers/Fisher_Cobweb.pdf

R. Gagne, The Conditions of Learning, 1985.

J. Gennari, P. Langley, and D. Fisher, Models of incremental concept formation, Artificial Intelligence, vol.40, issue.1-3, pp.11-61, 1989.
DOI : 10.1016/0004-3702(89)90046-5

D. Gentner, The mechanisms of analogical learning, Similarity and Analogical Reasoning, 1989.
DOI : 10.1017/CBO9780511529863.011

P. Giangrandi and P. Tasso, Truth maintenance techniques for modeling student's behavior, Journal of Artificial Intelligence in Education, vol.6, pp.153-202, 1995.

A. Ginsberg, KNOWLEDGE BASE REFINEMENT AND THEORY REVISION, Proceedings of the Sixth International Workshop on Machine Learning, 1989.
DOI : 10.1016/B978-1-55860-036-2.50074-6

I. Goldstein, The genetic graph: a representation for the evolution of procedural knowledge, Intelligent Tutoring Systems, 1982.
DOI : 10.1016/S0020-7373(79)80005-X

K. Hammond, Inside Case-based Reasoning, 1989.

G. Hinton, Connectionist learning procedures, Artificial Intelligence, vol.40, issue.1-3, pp.185-234, 1989.
DOI : 10.1016/0004-3702(89)90049-0
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.5594

U. Hoppe, Deductive error diagnosis and inductive error generalization for intelligent tutoring systems, Journal of Artificial Intelligence in Education, vol.5, pp.27-49, 1994.

X. Huang, G. Mccalla, J. Greer, and E. Neufeld, Revising deductive knowledge and stereotypical knowledge in a student model, User Modeling and User-adapted Interaction, vol.23, issue.1, pp.87-115, 1991.
DOI : 10.1007/BF00158953

M. Ikeda, R. Mizoguchi, and O. Kakusho, Student model description language SMDL and student model inference system SMIS, Transactions of the IEICE, J72-D-II, pp.112-120, 1989.

W. L. Johnson and E. Soloway, Intention-based diagnosis of program errors, Proceedings of the Second National Conference on Artificial Intelligence, 1984.

W. L. Johnson, Understanding and debugging novice programs, Artificial Intelligence, vol.42, issue.1, pp.51-97, 1990.
DOI : 10.1016/0004-3702(90)90094-G

S. Joni, E. Soloway, R. Goldman, and K. Ehrlich, Just so stories, Proceedings of the SIGCUE/SIGCAS Symposium on Computer Literacy, 1983.
DOI : 10.1145/1045083.1045086

D. Kibler and D. Aha, Learning Representative Exemplars of Concepts: An Initial Case Study, Proceedings of the Fourth International Workshop in Machine Learning, 1987.
DOI : 10.1016/B978-0-934613-41-5.50006-4

T. Kohonen, Self-organized formation of topologically correct feature maps, Biological Cybernetics, vol.13, issue.1, pp.59-69, 1982.
DOI : 10.1007/BF00337288

Y. Kono, M. Ikeda, and R. Mizoguchi, THEMIS: A nonmonotonic inductive student modeling system, Journal of Artificial Intelligence in Education, vol.5, issue.3, pp.371-413, 1994.

J. Laird, P. Rosenbloom, and A. Newell, Chunking in Soar: The anatomy of a general learning mechanism, Machine Learning, pp.11-46, 1986.
DOI : 10.1007/BF00116249

J. Laird, P. Rosenbloom, and A. Newell, SOAR: An architecture for general intelligence, Artificial Intelligence, vol.33, issue.1, pp.1-64, 1987.
DOI : 10.1016/0004-3702(87)90050-6

P. Langley and S. Ohlsson, Automated cognitive modeling, Proceedings of the Second National Conference on Artificial Intelligence, 1984.

P. Langley and J. Zytkow, Data-driven approaches to empirical discovery, Machine Learning, pp.283-312, 1989.
DOI : 10.1016/0004-3702(89)90051-9

P. Langley, J. Wogulis, and S. Ohlsson, Rules and principles in cognitive diagnosis, Diagnostic Monitoring of Skill and Knowledge Acquisition, 1987.

P. Langley, W. Iba, and K. Thompson, An analysis of Bayesian classifers, Proceedings of the Tenth National Conference on Artificial Intelligence, 1992.

P. Langley, Elements of Machine Learning, 1996.

M. Lebowitz, Experiments with incremental concept formation: UNIMEM, Machine Learning, pp.103-138, 1987.
DOI : 10.1007/BF00114264

J. Martin and K. Vanlehn, OLAE: progress toward a multi-activity, Bayesian student modeler, Proceedings of the International Conference on Artificial Intelligence in Education '93, 1993.

G. Mccalla, The central importance of student modeling to intelligent tutoring, New Directions for Intelligent Tutoring Systems, 1992.

R. Michalski and R. Stepp, Automated Construction of Classifications: Conceptual Clustering Versus Numerical Taxonomy, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.5, issue.4, pp.396-410, 1983.
DOI : 10.1109/TPAMI.1983.4767409

R. Michalski and R. Stepp, Learning from observation: Conceptual clustering, Machine Learning: An Artificial Intelligence Approach, 1983.

R. Michalski, A theory and methodology of inductive learning, Machine Learning: An Artificial Intelligence Approach, 1983.

T. Mitchell, R. Keller, and S. Kedar-cabelli, Explanation-based generalization: A unifying view, Machine Learning, pp.47-80, 1986.

T. Mitchell, Version spaces: A candidate elimination approach to rule learning, Proceedings of the Fifth International Joint Conference on Artificial Intelligence, 1977.

T. Mitchell, The need for biases in learning generalizations, 1980.

T. Mitchell, Learning and problem solving, Proceedings of the Eighth International Joint Conference on Artificial Intelligence, 1983.

T. Mitchell, Machine Learning, 1997.

W. Murray, An endorsement-based approach to student modeling for planner-controlled tutors, Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, 1991.

R. Neal, Connectionist learning of belief networks, Artificial Intelligence, vol.56, issue.1, pp.71-113, 1991.
DOI : 10.1016/0004-3702(92)90065-6

A. Newell and H. Simon, Human Problem Solving, 1972.

A. Newell, Reasoning, problem solving, and decision processes: The problem space hypothesis Attention and Performance, 1980.

A. Newell, The knowledge level, Artificial Intelligence, vol.18, issue.1, pp.1-20, 1981.
DOI : 10.1016/0004-3702(82)90012-1

A. Newell, Unified Theories of Cognition, 1989.

R. Nicolson, Diagnosis can help in intelligent tutoring, Proceedings of the Fourteenth Annual Conference of the Cognitive Science Society, 1992.

S. Ohlsson and P. Langley, Psychological evaluation of path hypotheses in cognitive diagnosis Learning Issues for Intelligent Tutoring Systems, 1988.

S. Ohlsson, System hacking meets learning theory (Viewpoint column), Journal of Artificial Intelligence in Education, vol.2, issue.3, pp.5-18, 1991.

S. Payne and H. Squibb, Algebra Mal-Rules and Cognitive Accounts of Error, Cognitive Science, vol.5, issue.3, pp.445-481, 1990.
DOI : 10.1207/s15516709cog1403_4

J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, 1988.

J. Quinlan, Induction of decision trees, Machine Learning, pp.81-106, 1986.
DOI : 10.1007/BF00116251

J. Quinlan, Learning logical definitions from relations, Machine Learning, pp.239-266, 1990.
DOI : 10.1007/BF00117105
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.3371

L. Rendell, Genetic plans and the probabilistic learning system: Synthesis and results, Proceedings of the First International Conference on Genetic Algorithms and their Applications, 1985.

J. Reye, A belief net backbone for student modeling, Proceedings of the International Conference on Intelligent Tutoring Systems '96, 1996.

B. Richards and R. Mooney, Automated refinement of first-order horn-clause domain theories, Machine Learning, vol.13, issue.2, pp.95-131, 1995.
DOI : 10.1007/BF01007461

J. Robinson, A Machine-Oriented Logic Based on the Resolution Principle, Journal of the ACM, vol.12, issue.1, pp.23-41, 1965.
DOI : 10.1145/321250.321253

F. Rosenblatt, The perceptron: A probabilistic model for information storage and organization in the brain., Psychological Review, vol.65, issue.6, pp.386-408, 1958.
DOI : 10.1037/h0042519

D. Rumelhart and D. Zipser, Feature Discovery by Competitive Learning*, Cognitive Science, vol.14, issue.1, pp.75-112, 1985.
DOI : 10.1207/s15516709cog0901_5

D. Rumelhart, G. Hinton, and R. Williams, Learning Internal Representations by Error Propagation, Parallel Distributed Processing: Explorations in the Microstructure of Cognition, 1986.
DOI : 10.1016/B978-1-4832-1446-7.50035-2

J. Schlimmer and R. Granger, Incremental learning from noisy data, Machine Learning, pp.317-354, 1986.
DOI : 10.1007/BF00116895

J. Self, Bypassing the intractable problem of student modeling Intelligent Tutoring Systems: At the Crossroads of Artificial Intelligence and Education, 1990.

J. Self, Formal approaches to student modeling Student Models: The Key to Individualized Educational Systems, 1994.

E. Shapiro, Algorithmic Program Debugging, 1983.

J. Shavlik and T. Dietterich, Readings in Machine Learning, 1990.

R. Sison, M. Numao, and M. Shimura, Using data and theory in multistrategy (mis)concept(ion) discovery, Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997.

R. Sison, M. Numao, and M. Shimura, Detecting errors in novice programs via unsupervised multistrategy learning, Proceedings of the Fourth International Workshop on Multistrategy Learning, 1998.

R. Sison, M. Numao, and M. Shimura, Discovering error classes from discrepancies in novice behaviors via multistrategy conceptual clustering, User Modeling and User-Adapted Interaction, vol.8, issue.1/2, pp.103-129, 1998.
DOI : 10.1023/A:1008225015395

R. Sison, M. Numao, and M. Shimura, Incremental multistrategy relational conceptual clustering and ordering effects, Journal of the Japanese Society for Artificial Intelligence, vol.14, issue.1, 1999.

D. Sleeman, A. Kelly, R. Martinak, R. Ward, and J. Moore, Studies of Diagnosis and Remediation with High School Algebra Students, Cognitive Science, vol.24, issue.4, pp.551-568, 1989.
DOI : 10.1207/s15516709cog1304_3

D. Sleeman, H. Hirsh, I. Ellery, and I. Kim, Extending domain theories: Two case studies in student modeling, Machine Learning, pp.11-37, 1990.
DOI : 10.1007/BF00115893

D. Sleeman, Assessing aspects of competence in basic algebra, Intelligent Tutoring Systems, 1982.

D. Sleeman, Inferring student models for intelligent computer-aided instruction, Machine Learning: An Artificial Intelligence Approach, 1983.
DOI : 10.1007/978-3-662-12405-5_16

D. Sleeman, PIXIE: A shell for developing intelligent tutoring systems Artificial Intelligence in Education, 1987.

K. Vanlehn, Human procedural skill acquisition: Theory, model and psychological validation, Proceedings of the National Conference on Artificial Intelligence, 1983.

K. Vanlehn, Learning one procedure per lesson, Machine Learning, pp.1-40, 1987.

M. Villano, Probabilistic student models: Bayesian Belief Networks and Knowledge Space Theory, Proceedings of the International Conference on Intelligent Tutoring Systems '9 2, 1992.
DOI : 10.1007/3-540-55606-0_58

G. Webb and M. Kuzmycz, Feature Based Modelling: A methodology for producing coherent, consistent, dynamically changing models of agents' competencies, User Modelling and User-Adapted Interaction, vol.5, issue.2, pp.117-150, 1996.
DOI : 10.1007/BF01099758

E. Wenger, Artificial Intelligence and Tutoring Systems, 1987.
URL : https://hal.archives-ouvertes.fr/hal-00703016

P. Winston, Learning structural descriptions from examples The Psychology of Computer Vision, 1975.

B. Woolf, Intelligent Tutoring Systems: A Survey, Exploring Artificial Intelligence, 1988.
DOI : 10.1016/B978-0-934613-67-5.50005-8