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

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

J. R. Anderson, C. F. Boyle, and G. Yost, The Geometry Tutor, Proceedings of the 9th International Joint Conference on Artificial Intelligence, pp.1-7, 1985.

J. R. Anderson and R. Pelletier, A Development System for Model-Tracing Tutors, Proceedings of the 1991 International Conference on the Learning Sciences, pp.1-8, 1991.

J. R. Anderson, A. T. Corbett, K. Koedinger, and R. Pelletier, Cognitive Tutors: Lessons Learned, Journal of the Learning Sciences, vol.21, issue.6, pp.167-207, 1995.
DOI : 10.1016/0364-0213(88)90023-7

URL : https://hal.archives-ouvertes.fr/hal-00699789

A. T. Corbett and J. R. Anderson, Student Modeling In An Intelligent Programming Tutor Cognitive Models and Intelligent Environments for Learning Programming, 1993.

A. T. Corbett, J. R. Anderson, and A. T. Brien, Student modeling in the ACT Programming Tutor, Cognitively Diagnostic Assessment, pp.19-41, 1995.

A. T. Corbett and A. Bhatnagar, Student Modeling in the ACT Programming Tutor: Adjusting a Procedural Learning Model With Declarative Knowledge, Proceedings of the Sixth International Conference on User Modeling, pp.243-254, 1997.
DOI : 10.1007/978-3-7091-2670-7_25

E. Friedman-hill and C. Greenwich, Jess in Action: Rule-Based Systems in Java, 2003.

A. Gertner and K. Vanlehn, Andes: A Coached Problem Solving Environment for Physics, Intelligent Tutoring Systems: 5th International Conference, pp.131-142, 2000.
DOI : 10.1007/3-540-45108-0_17

N. T. Heffernan, Intelligent tutoring systems have forgotten the tutor, CHI 98 conference summary on Human factors in computing systems , CHI '98, 2001.
DOI : 10.1145/286498.286524

N. T. Heffernan and K. R. Koedinger, An Intelligent Tutoring System Incorporating a Model of an Experienced Human Tutor, Proceedings of the Sixth International Conference on Intelligent Tutoring Systems, pp.596-608, 2002.
DOI : 10.1007/3-540-47987-2_61

V. Kodaganallur, R. Weitz, and D. Rosenthal, VersaTutor ? An Architecture for a Constraint-Based Intelligent Tutor Generator, Proceedings of the Thirteenth Annual World Wide Web Conference (WWW2004), pp.474-475, 2004.

K. R. Koedinger, V. Aleven, and N. T. Heffernan, Toward a Rapid Development Environment for Cognitive Tutors. 12th Annual Conference on Behavior Representation in Modeling and Simulation. Simulation Interoperability Standards Organization, 2003.

K. R. Koedinger and J. R. Anderson, Effective Use of Intelligent Software in High School Math Classrooms, Proceedings of the World Conference on Artificial Intelligence in Education: Association for the Advancement of Computing in Education, pp.241-248, 1993.

K. R. Koedinger and J. R. Anderson, Intelligent Tutoring Goes to School in the Big City, International Journal of Artificial Intelligence in Education, vol.8, pp.30-43, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00197383

D. M. Levine, D. Stephan, T. C. Krehbiel, and M. L. Berenson, Statistics for Managers Using Microsoft Excel Upper Saddle River, 2001.

M. Mayo, A. Mitrovic, and J. Mckenzie, CAPIT: An Intelligent Tutoring System for Capitalization and Punctuation. International Workshop on Advanced Learning Technologies, pp.151-154, 2000.

B. Martin, Intelligent Tutoring Systems: The Practical Implementation of Constraint-Based Modelling, 2001.

B. Martin and A. Mitrovic, Tailoring Feedback by Correcting Student Answers, Proceedings of the Fifth International Conference on Intelligent Tutoring Systems, pp.383-392, 2000.
DOI : 10.1007/3-540-45108-0_42

B. Martin and A. Mitrovic, WETAS: A Web-Based Authoring System for Constraint-Based ITS, Proceedings of the Second International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems, pp.543-546, 2002.
DOI : 10.1007/3-540-47952-X_80

M. Mayo and A. Mitrovic, Optimising ITS Behaviour with Bayesian Networks and Decision Theory, International Journal of Artificial Intelligence in Education, vol.12, pp.124-153, 2001.

A. Mitrovic, An Intelligent SQL Tutor on the Web, International Journal of Artificial Intelligence in Education, vol.13, pp.171-195, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00197316

A. Mitrovic, K. Koedinger, M. Martin, and B. , A Comparative Analysis of Cognitive Tutoring and Constraint-Based Modeling, Proceedings of the 9th International Conference on User Modeling (UM2003), pp.313-322, 2003.
DOI : 10.1007/3-540-44963-9_42

A. Mitrovic, B. Martin, and M. Mayo, Using evaluation to shape ITS design: Results and experiences with SQL-Tutor, User Modeling and User-Adapted Interaction, vol.12, issue.2/3, pp.243-279, 2002.
DOI : 10.1023/A:1015022619307

A. Mitrovic, M. Mayo, P. Suraweera, and B. Martin, Constraint-Based Tutors: A Success Story, Proceedings of the 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA, pp.931-940, 2001.
DOI : 10.1007/3-540-45517-5_103

A. Mitrovic and S. Ohlsson, Evaluation of a Constraint-Based Tutor for a Database Language, International Journal of Artificial Intelligence in Education, vol.10, pp.238-256, 1999.

T. Murray, Authoring Intelligent Tutoring Systems: An Analysis of the State of the Art, International Journal of Artificial Intelligence in Education, vol.10, pp.98-129, 1999.
URL : https://hal.archives-ouvertes.fr/hal-00197339

S. Ohlsson, Constraint-Based Student Modeling, Journal of Artificial Intelligence in Education, vol.3, pp.429-447, 1992.
DOI : 10.1007/978-3-662-03037-0_7

S. Ohlsson, Constraint-Based Student Modeling Student Modeling: The Key to Individualized Knowledge-Based Instruction, pp.167-189, 1994.

S. Ohlsson and E. Rees, The Function of Conceptual Understanding in the Learning of Arithmetic Procedures, Cognition and Instruction, vol.12, issue.2, pp.103-179, 1991.
DOI : 10.1016/0004-3702(87)90080-4

J. W. Schofield, D. Evans-rhodes, and B. R. Huber, Artificial Intelligence in the Classroom: The Impact of a Computer-Based Tutor on Teachers and Students, Social Science Computer Review, vol.8, issue.1, pp.24-41, 1990.
DOI : 10.1177/089443939000800104

R. Shelby, K. Schulze, D. Treacy, M. Wintersgill, K. Vanlehn et al., An assessment of the Andes tutor, 2001 Physics Education Research Conference Proceedings, pp.119-122, 2001.
DOI : 10.1119/perc.2001.pr.017

K. G. Schultze, R. N. Shelby, D. J. Treacy, M. C. Wintersgill, K. Vanlehn et al., Andes: An Intelligent Tutor for Classical Physics, Journal of Electronic Publishing, vol.6, 2000.

V. J. Shute and J. Psotka, Intelligent tutoring systems: Past, present, and future, Handbook of Research for Educational Communications and Technology, pp.570-600, 1996.

P. Suraweera and A. Mitrovic, KERMIT: A Constraint-Based Tutor for Database Modeling, Proceedings of the Sixth International Conference, pp.377-387, 2002.
DOI : 10.1007/3-540-47987-2_41

R. Wertheimer, The Geometry Proof Tutor: An "Intelligent" Computer-Based Tutor in the Classroom, Mathematics Teacher, vol.84, issue.4, pp.308-317, 1990.