D. Abraham, L. Crawford, L. Lesta, A. Merceron, and K. Yacef, The Logic Tutor: a Multimedia Presentation, Interactive Multimedia Electronic Journal of Computer-Enhanced Learning, vol.3, issue.2, 2001.

D. Abraham and K. Yacef, Adaptation in the Web-Based Logic-ITA, 2nd International Conference on Adaptive Hypermedia and Adaptive Web Based Systems (AH2002), pp.456-461, 2002.
DOI : 10.1007/3-540-47952-X_60

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

J. R. Anderson, A. T. Corbett, K. R. 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

J. Andriessen and J. Sandberg, Where is Education Heading and How About AI?, International Journal of Artificial Intelligence in Education, vol.10, pp.130-150, 1999.

G. A. Boy, Intelligent Assistant Systems, 1991.

A. T. Corbett, Cognitive Computer Tutors: Solving the Two-Sigma Problem, User Modeling (UM2001), pp.137-147, 2001.
DOI : 10.1007/3-540-44566-8_14

M. Croy, Graphic Interface Design and Deductive Proof Construction, Journal of Computers in Mathematics and Science Teaching, vol.18, issue.4, pp.371-386, 1999.

M. J. Croy, CAI and Empirical Explorations of Deductive Proof Construction. The Computers and Philosophy Newsletter, pp.111-127, 1989.

G. Cumming and A. Mcdougall, Mainstreaming AIED into Education?, International Journal of Artificial Intelligence in Education, vol.11, pp.197-207, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00197331

B. Du-boulay and R. Luckin, Modelling Human Teaching Tactics and Strategies for Tutoring Systems: 14 Years On, International Journal of Artificial Intelligence in Education, vol.47, issue.4, pp.235-256, 2001.
DOI : 10.1007/s40593-015-0053-0

P. M. Fitts and M. I. Posner, Human Performance, 1967.

S. Habeshaw, G. Gibbs, and T. Habshaw, 53 Problems with Large Classes Making the Best of a Bad Job, 1992.

N. Hara and R. Kling, Students' frustrations with a Web-based distance education course, First Monday, vol.4, issue.12, 1999.
DOI : 10.5210/fm.v4i12.710

S. Jean, Pépite: un système d'assistance au diagnostic de compétences, PhD, 2000.

J. Kay, Accretion Representation for Scrutable Student Modelling, Intelligent Tutoring Systems (ITS'2000), pp.514-523, 2000.
DOI : 10.1007/3-540-45108-0_55

T. Kinshuk, A. Hong, H. Patel, and A. , Human Teacher in Intelligent Tutoring System: A Forgotten Entity! In Advanced Learning Technology: Issues, Achievements and Challenges, 2001.

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

J. A. Kulik, Meta-analytic studies of findings on computer-based instruction Technology assessment in education and training, 1994.

D. Laurillard, Rethinking University Teaching: A Framework for the Effective Use of Educational Technology, 2002.

P. Leroux, M. Vivet, and P. Brezillon, Cooperation between a Pedagogical Assistant, European Conference on AI in Education, pp.379-385, 1996.
URL : https://hal.archives-ouvertes.fr/hal-01437233

L. Lesta and K. Yacef, An Intelligent Teaching Assistant System for Logic, International Conference on Intelligent Tutoring Systems (ITS'02), pp.421-431, 2002.
DOI : 10.1007/3-540-47987-2_45

M. A. Mark and J. E. Greer, The VCR Tutor: Effective Instruction for Device Operation, Journal of the Learning Sciences, vol.85, issue.5, pp.209-246, 1995.
DOI : 10.1016/0364-0213(89)90023-2

A. Merceron and K. Yacef, A Web-based Tutoring Tool with Mining Facilities to Improve Learning and Teaching, 11th International Conference on Artificial Intelligence in Education, pp.201-208, 2003.

A. Merceron, K. Yacef, and M. S. Pittinsky, Clustering Students to Help Evaluate Learning, Proceedings of TeL'04 -Technology Enhanced Learning, 18th IFIP World Computer Congress The Wired Tower: Perspectives on the Impact of the Internet on Higher Education, pp.31-42, 2003.
DOI : 10.1007/0-387-24047-0_3
URL : https://hal.archives-ouvertes.fr/hal-00190274

J. Rasmussen, Skills, rules, and knowledge; signals, signs, and symbols, and other distinctions in human performance models, IEEE Transactions on Systems, Man, and Cybernetics, vol.13, issue.3, pp.257-266, 1983.
DOI : 10.1109/TSMC.1983.6313160

R. Scheines and W. Sieg, Computer Environments for Proof Construction, Interactive Learning Environments, vol.1, issue.2, pp.159-169, 1994.
DOI : 10.1207/s15327051hci0102_2
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=1218&context=philosophy

J. Sweller, Some cognitive processes and their consequences for the organisation and presentation of information, Australian Journal of Psychology, vol.4, issue.1, pp.1-8, 1993.
DOI : 10.1080/00049539308259112

N. Van-labeke, Prise en compte de l'usager enseignant dans la conception des EIAO, Illustration dans Calques 3D, 1999.

M. Virvou and M. Moundridou, Adding an Instructor Modelling Component to the Architecture of ITS Authoring Tools, International Journal of Artificial Intelligence in Education, vol.12, pp.185-211, 2001.

M. Vivet, Uses of ITS: which role for the teacher? New Directions for Intelligent Tutoring Systems (F91), 1992.

K. Yacef, Vers un assistant tutoriel intelligent pour la formation d'opérateurs de systèmes complexes, 1999.

K. Yacef, Intelligent teaching assistant systems, International Conference on Computers in Education, 2002. Proceedings., pp.136-140, 2002.
DOI : 10.1109/CIE.2002.1185885
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.688.8474