Publications du projet Combien?

Publications du projet Combien?

1993
Tisseau G., Duma J., Giroire H., Le Calvez F., Urtasun M., "Représentation des problèmes de dénombrement dans le projet combien". Rapport interne LAFORIA 93/39, novembre 93. (résumé)

1994
Tisseau G., Duma J., Giroire H., Le Calvez F., Urtasun M., "Un langage de descriptions fonctionnelles, relationnelles et ensemblistes pour des problèmes de dénombrement". Actes du 9ème congrès Reconnaissance des Formes et Intelligence Artificielle (Paris 11-14 janvier 1994), volume 2, Paris, AFCET 1994 (ISBN 2-903677129-X), p. 739-744. (résumé) (texte)

Guin N.,"Résolution d'exercices de dénombrement par reconnaissance de leur classe. Rapport interne du Laforia 94/23, octobre 1994.

1995
Duma J., Giroire H., Le Calvez F., Tisseau G., Urtasun M., "Mise en évidence de styles de résolution, évolution de l'interface dans le projet COMBIEN", Actes des Quatrièmes Journées Francophones EIAO, ENS de Cachan, mars 1995, Environnements interactifs d'apprentissage avec ordinateur, Tome 2, D. Guin, J.F. Nicaud & D. Py (eds.), Eyrolles, 1995, 245-256. (résumé)

Guin N., Giroire H., Tisseau G., "Le classement de problèmes : une méthode de résolution pour le module expert d'un EIAO. Application aux problèmes de dénombrement", Actes des Quatrièmes Journées Francophones EIAO, ENS de Cachan, mars 1995, Environnements interactifs d'apprentissage avec ordinateur, Tome 2, D. Guin, J.F. Nicaud & D. Py (eds.), Eyrolles, 1995, 113-124.(résumé)

1996
Tisseau G., Giroire H., Le Calvez F., Urtasun M., Duma J. "Une méthode constructive de résolution de problèmes de dénombrement et sa mise en oeuvre". Rapport interne LAFORIA 96/11, Mai 1996. (résumé) (texte)

1997
Guin N. : "Changer de modèle pour résoudre un problème : utilisation de la classification". Actes des Cinquièmes Journées EIAO de Cachan, 14-16 mai 1997. (résumé)

Le Calvez F., Urtasun M., Tisseau G., Giroire H., Duma J. "Les machines à construire : des interfaces pour apprendre une méthode constructive de dénombrement". Actes des 5èmes Journées francophones EIAO, Cachan, 14-16 mai 1997, Hermès.p.49-60. (résumé)

Guin N. : "Changing the representation of a problem in order to solve it : use of classification", in proceedings of AIED 97, Kobe (Japan), August 18-22, 1997.

Guin N. : "Building a new model in order to solve a problem : use of classification", in collection of poster abstracts IJCAI-97, Nagoya (Japan), August 23-29, 1997.

Tisseau G, Duma J., Giroire H., Le Calvez F., Urtasun M, "Les machines à construire : des interfaces dans le projet combien. Conception, spécification et réalisation". Colloque sur la métaconnaissance, Berder 97. (résumé) (texte)

Guin N., " Reformuler et classer un problème pour le résoudre. L'architecture SYRCLAD et son application à quatre domaines " , Thèse d'université, UPMC, 12/12/97.

1998
Guin N. : "Utiliser une classification pour résoudre et décomposer des problèmes", RFIA'98, volume III, p.135-144.

Tisseau G., Duma J., Giroire H., Le Calvez F., Urtasun M.: Les "machines à construire" : des interfaces dans le projet Combien ? Conception, spécification et réalisation. Actes du colloque d'AI : Apprentissage et Acquisition de connaissances, Berder 1997, Kornman S., Rapport Interne LIP6 98 N°7 p. 47-77

1999
Annell M., Malthet M., Giroire H., Tisseau G.: "Construction d'interface de saisie d'un problème de dénombrement". Rapport interne du LIP6, mars 1999.(résumé) (texte)

Guin N. SYRCLAD : une architecture de résolveurs de problèmes permettant d'expliciter des connaissances de classification, reformulation et résolution. Revue d'Intelligence Artificielle vol. 13-2, éditions Hermes,1999.

Tisseau G., Giroire H., Le Calvez F., Urtasun M., Duma J., "Design of a learning Environment in combinatorics : Nondeterministic machines to improve modelling skills", in proceedings of AI-ED 99 p.765-767, Le Mans , july 19-23, 1999

Tisseau G., Giroire H., Duma J., Le Calvez F., Urtasun M., "Spécification du dialogue et génération d'interfaces à l'aide d'interacteurs à réseau de contrôle." IHM 99 p. 94-101, Montpellier, 23-26 novembre 1999. (résumé) (texte)

2000
Tisseau G., Giroire H., Le Calvez F., Urtasun M., Duma J., "Principes de conception d'un système pour enseigner la résolution des problèmes par la modélisation", RFIA'2000 p. 121-130, Paris, 1-3 février 2000. (résumé)

Duma J., Giroire H., Le Calvez F., Tisseau G., Urtasun M. "Spécification de dialogues et construction d'interfaces modulaires et réutilisables. Actes du colloque d'IA : Apprentissage et Acquisition des connaissnces, Berder 1999, Kocik F.et Pannérec T.. , Rapport interne LIP600, n°2 p.117-129. (résumé) (texte)

Tisseau G., Giroire H., LE Calvez F., Urtasun M., and Duma J., 2000, "Design principles for a system to teach problem solving by modelling" ITS'2000, Montréal, juin 2000, Lecture Notes in Computer Science N°1839, p.393-402. (résumé)

2001
Duma J., Giroire H., Le Calvez F., Tisseau G., Urtasun M. " Gestion des erreurs dans une interface pédagogique", Colloque Intelligence Artificielle, Berder, p22-37, Berder 13-15 septembre 2000, rapport interne LIP6, 2001/014. (résumé) (texte)

Duma J., Giroire H., Le Calvez F., Tisseau G, Urtasun M, "Détection incrémentale d'erreurs". Colloque Intelligence Artificielle, p56-67, Berder 19-21 septembre 2001, rapport interne LIP6.

2002
Giroire H., Le Calvez F., Tisseau G., Duma J., Urtasun M., "Un mécanisme de détection incrémentale d'erreurs et son application à un logiciel pédagogique", RFIA'2002, Angers, 8-10 janvier 2002, pp. 1063-1072. (résumé) (texte)

Giroire H., Le Calvez F., Tisseau G., Duma J., Urtasun M., " Targeted Detection: Application to Error Detection in a Pedagogical System", ITS'2002, Biarritz, 5-7 juin 2002, p.998

Giroire H., Le Calvez F., Tisseau G., Duma J., Urtasun M., " Un logiciel pour apprendre à résoudre des exercices de dénombrement" TICE 2002, Lyon, novembre 2002 p.369 (résumé)

2003
Tisseau G., Giroire H., Le Calvez F., Duma J., Urtasun M., " Combien, un EIAH pour les dénombrements : expérimentations et leçons pour l'ingénierie" EIAH 2003, Strasbourg, Avril 2003, pp509-516 (résumé)
et visible dans http://www.archiveseiah.org/EIAH2003/

Article interactif EIAH 2003 : http://www.archiveseiah.org/EIAH2003/DemoExo6/DebutArticleCombien.html

Le Calvez F.,Giroire H., Duma J., Tisseau G., Urtasun M., Combien? a Software to Teach Students How to Solve Combinatorics Exercises ; Workshop "Advanced Technologies for Mathematics Education" AIED 2003, In Supplementary proceedings of the 11th International Conference on Artificial in Education, pp. 447-454, Sydney, July 2003 (résumé) (texte)

2004
F. Le Calvez, H. Giroire, J. Duma, G. Tisseau and M. Urtasun (2004) "Utilisation d'un logiciel pour apprendre une méthode dans le cadre d'une UE de méthodologie en DEUG". In TICE2004 Technologies de l'Information et de la Communication dans les Enseignements d'Ingénieurs et dans l'Industrie, pp. 115--120, Université de Technologie de Compiègne. (résumé)
Download: http://archive-edutice.ccsd.cnrs.fr/edutice-00000696_v1

2005
Françoise Le Calvez, Hélène Giroire, Gérard Tisseau, Jacques Duma, What tracks, for what purpose? Analysis of tracks from student’s use of a system to teach a problem solving method. Workshop “Usage analysis in learning systems” AIED 05, pp.109-110, Amsterdam, July 2005 (résumé)
Download: http://lium-dpuls.iut-laval.univ-lemans.fr/aied-ws/PDFFiles/lecalvez.pdf

2006
Hélène Giroire, Françoise Le Calvez, Gérard Tisseau (2006) Benefits of knowledge -based interactive learning environments; A case in combinatorics.6th IEEE international Conference on Advanced Learning Technology, Kinshuk, Koper R., Kommers P., Kirschner P., Sampson D.G., Diddiren W. eds. Kerkrade, The Netherlands pp. 285-289 (résumé) (texte)

2008
Le Calvez F., Giroire H., Tisseau G. (2008) Design of a Learning Environment in Combinatorics based on Problem Solving: Modeling Activities, Problems and Errors. Interantional Journal of Artificial Intelligence in Education Vol 18, N°1, pp. 59-94(résumé)