Tuteurs Intelligents et Intelligence Artificielle: probl??mes pos??s en construction de figures g??om??triques, eds) Intelligent Tutoring Systems, pp.325-334, 1992. ,
DOI : 10.1007/3-540-55606-0_40
The Expert Module, Foundations of Intelligent Tutoring Systems, pp.21-53, 1988. ,
Cognitive modeling and intelligent tutoring, Artificial Intelligence, vol.42, issue.1, pp.7-49, 1990. ,
DOI : 10.1016/0004-3702(90)90093-F
The GEOMETRY TUTOR, Proceedings of the International Joint Conference on Artificial Intelligence, pp.1-7, 1985. ,
The LISP TUTOR. Byte, pp.159-175, 1985. ,
Epistémologie et didactique, Recherches en didactique des mathématiques, vol.10, issue.23, pp.241-285, 1990. ,
Negociated tutoring : An approach to interaction in intelligent tutoring systems. Doctoral dissertation, 1989. ,
Adaptating instructional design methods to intelligent multimedia authoring systems, ed) Automating instructional design, development, and delivery, pp.197-223, 1993. ,
Contribution de la didactique et de l'épistémologie aux recherches en EIAO, ed) Actes des XIII° Journées francophones sur l'informatique, pp.9-38, 1991. ,
Modélisation de l'apprenant, 1993. ,
Artificial Intelligence and Real Teaching, Learning through computers: Mathematics and Educational Tedchnology, pp.131-158, 1993. ,
DOI : 10.1007/978-3-642-78542-9_6
La transposition informatique Note sur un nouveau problème pour la didactique, 1994. ,
Epistemological domain of validity of microworlds, the case of Logo and Cabri-géomètre, Lessons from learning. Proceedings of the IFIP WG3 working group, 1993. ,
Modélisation de l'interaction didactique : un tuteur hybride sur Cabri-géomètre, 1993. ,
Interaction micromonde/tuteur en géométrie Cachan : ENS Cachan Bellemain F. (1992) Conception, réalisation et expérimentation d'un logiciel d'aide à l'enseignement de la géométrie : Cabri-géomètre, Actes des deuxièmes journées de Cachan, pp.11-18, 1992. ,
Bite-sized intelligent tutoring, Learning Research and Development Center, 1985. ,
Fondements et méthodes de la didactique des mathématiques, Recherches en didactique des mathématiques, pp.33-115, 1986. ,
Diagnostic Models for Procedural Bugs in Basic Mathematical Skills*, Cognitive Science, vol.6, issue.2, pp.155-191, 1978. ,
DOI : 10.1207/s15516709cog0202_4
Mathématiques et EIAO : une vision hyprtexte des environnements d'apprentissage, Thèse. Le Mans, 1991. ,
The Environment Module of Intelligent Tutorial Systems, Foundations of Intelligent Tutoring Systems, pp.108-142, 1988. ,
An investigation of computer coaching for informal learning activities, 1982) Intelligent Tutoring Systems, pp.5-2479, 1979. ,
DOI : 10.1016/S0020-7373(79)80003-6
Hypercarré : problèmes d'un système tutoriel en géométrie, Deuxième journées EIAO de Cachan, pp.77-88, 1992. ,
Modification des menus dans Cabri-géomètre : les symétries comme outils de construction, pp.37-68, 1992. ,
Mixed-Initiative Man-Computer Instructional Dialogue. Doctoral Dissertation, 1970. ,
STUDIA : mise en oeuvre d'un système dynamique de dialogue dans un tuteur intelligent, Thèse. Le Mans, 1992. ,
La transposition didactique. (nouvelle édition augmentée, 1985. ,
Intégration et viabilité des objets informatiques dans l'enseignement ders mathématiques, ed)L'ordinateur pour enseigner les mathématiques, pp.183-203, 1992. ,
The epistemology of a rule-based expert system ???a framework for explanation, Artificial Intelligence, vol.20, issue.3, pp.215-251, 1983. ,
DOI : 10.1016/0004-3702(83)90008-5
Knowledge-based tutoring : the GUIDON program, 1987. ,
New perspective on cognition and instructional technology (ed) New direction for intelligent tutoring systems, pp.3-14, 1992. ,
L'évolution des mathématiques et de leur enseignement, ed) L'ordinateur pour enseigner les mathématiques, pp.13-69, 1992. ,
Etude et réalisation d'un système tuteur pour la construction de figures géométriques, 1994. ,
Instructional models in computer-based learning environments, 1992. ,
Guided Discovery Tutoring, 1990. ,
L'âme-machine, 1990. ,
Actes de la VI° école d'été de didactique des mathématiques, Rennes : IRMAR, 1991. ,
Modélisation de la démonstration géométrique dans Geometry Tutor, Annales de Didactique et de Sciences Cognitives, pp.5-40, 1991. ,
Computer algebra systems as cognitive technologies : implication for the practice of mathematics education Learning from computers : mathematics education and technology, pp.19-47, 1993. ,
The transformation of an innovation Learning from computers : mathematics education and technology, pp.1-17, 1993. ,
A pedagogy for mathematical microworlds, Educational Studies in Mathematics, vol.3, issue.2, pp.31-59, 1992. ,
DOI : 10.1007/BF00302313
Self-optimizing computer-assisted tutoring, ACM SIGCUE Outlook, vol.7, issue.3, 1973. ,
DOI : 10.1145/963553.963557
The Computer as Part of the Learning Environment: The Case of Geometry, Learning through computers: Mathematics and Educational Tedchnology, pp.48-67, 1993. ,
DOI : 10.1007/978-3-642-78542-9_3
Intelligent microworlds and learning environments (ed) Intelligent Learning Environments: The case of Geometry, 1993. ,
Cabri-géomètre : a microworld of geometry for guided discovery learning, pp.171-177, 1990. ,
Contraintes informatiques et apprentissage de la démonstration, à propos de tois logiciels, 1993. ,
EPISTEMOLOGICAL PROBLEMS OF ARTIFICIAL INTELLIGENCE, Proceedings IJCAI- 77, pp.23-30, 1977. ,
DOI : 10.1016/B978-0-934613-03-3.50035-0
La méthode, 3. La connaissance de la connaissance, Coll. Essai, issue.n°236, 1986. ,
APLUSIX : un système expert pédagogique et un environnement d'apprentissage dans le domaine du raisonnement algébrique, Technique et Science Informatique, vol.8, issue.2, pp.145-155, 1989. ,
Les tuteurs intelligents : réalisations et tendances de recherches, Techniques et Sciences Industrielles, vol.7, issue.1, pp.21-45, 1988. ,
Jaillissement de l'esprit, Mindstorm. Trad. Fr, 1980. ,
mentoniezh : a geometry ITS for figure drawing and proof setting, Artificial Intelligence in Education, vol.1, issue.3, pp.41-55, 1990. ,
L'informatique conduit-elle à des mathématiques nouvelles, ) L'ordinateur pour enseigner les mathématiques, pp.97-117, 1992. ,
Planification et explication du raisonnement d'un résolveur complexe en algèbre. Thèse, 1992. ,
Artificial Intelligence and Human Learning, 1988. ,
Computer-based medical consultations : MYCIN, 1976. ,
Inferring (mal) rules from pupils' protocols, Proceedings of the European Conference on Artificial Intelligence, pp.160-164, 1982. ,
Intelligent Tutoring Systems, 1982. ,
URL : https://hal.archives-ouvertes.fr/hal-00702997
Modélisation de l'interaction didactique : un tuteur hybride sur Cabrigéomètre pour l'analyse de décisions didactiques, 1993. ,
Computing machinery and intelligence Repris dans : (1987) Vues de l'esprit, 1950. ,
DOI : 10.1007/978-1-4020-6710-5_3
Bugs are not enough: empirical studies of bugs, impasses and repairs in procedural skills, Journal of Mathematical Behaviors, vol.3, pp.3-72, 1982. ,
Mind bugs, 1990. ,
La théorie des champs conceptuels, Recherches en didactique des mathématiques 10, pp.133-170, 1990. ,
DOI : 10.1174/021037013806196283
Expertise mathématique et informatique : CAMELIA un logiciel pour raisonner et calculer, Thèse de d'état, 1984. ,
Système expert pour enseigner : méta-connaissance et explication. Congrès international MARI/COGNITIVA, 1987. ,
Uses of ITS, which role for the teacher (ed) New direction for intelligent tutoring systems, pp.171-180, 1990. ,
Artificial Intelligence and Tutoring Systems, 1987. ,
URL : https://hal.archives-ouvertes.fr/hal-00703016
Causal model progressions as a foundation for intelligent learning environments, Artificial Intelligence, vol.42, issue.1, pp.99-157, 1990. ,
DOI : 10.1016/0004-3702(90)90095-H