V. Aleven and K. R. Koedinger, Limitations of student control: Do students know when they need help, Intelligent Tutoring Systems 5th International Conference, ITS 2000 Montréal, pp.292-303, 2000.

. Springer, , 2000.

M. Baker, E. Vries, K. Lund, and M. Quignard, Interactions épistémiques médiatisées par ordinateur pour l'apprentissage des sciences: bilan de recherches

C. In, M. Desmoulins, J. Grandbastien, and . Labat, Environnements Interactifs pour l'Apprentissage avec Ordinateur -EIAO, 2001.

J. Bartasis and D. Palumbo, Theory and technology: Design consideration for hypermedia/discovery learning environments

G. S. Blair and T. Rodden, The opportunities nd challenges of CSCW, JBCS, vol.1, issue.1, 1994.

P. Brna, Modelos de colaboração. Revista Brasileira de Informática na Educação, pp.9-16, 1998.

J. S. Bruner, On Knowing: Essays for the Left Hand, 1967.

A. J. Cañas, M. C. , and M. Arguedas, Mining the web to suggest concepts during concept mapping: Preliminary results

E. Pinto and . Simpósio, , pp.230-237, 2002.

S. A. Cerri, Models and systems for collaborative dialogues in distance learning, Collaborative Dialogue Technologies in Distance Learning, vol.133, pp.119-125, 1994.

A. F. Chalmers, O que é ciência afinal? Editora Brasiliense, 1993.

E. Clément, C. Demonque, L. Hansen-l?ve, and P. Kahn, La Philosophie de A à Z. Hatier, 1994.

N. C. Da-costa and J. Béziau, La logique paraconsistante, Puf, 1999. 12. G. M. da Nóbrega. Especificação formal de um sistema de apoio à descoberta. Master's thesis, pp.107-115, 1998.

G. M. Da-nóbrega, Une approche dialectique à la formation de théories : aspects conceptuels, formels et pragmatiques dans le cadre de l'apprentissage humain, 2002.

G. M. Da-nóbrega, S. A. Cerri, and J. Sallantin, DIAL: serendipitous DIAlectic Learning

R. Okamoto, . Hartley, J. P. Kinshuk, and . Klus, IEEE International Conference on Advanced Learning Technologies -ICALT, pp.109-110, 2001.

G. M. Da-nóbrega, S. A. Cerri, and J. Sallantin, On the social rational mirror: learning e-commerce in a web-served learning environment, Intelligent Tutoring Systems 6th International Conference -ITS 2002 -Biarritz (France) and San Sebastian (Spain), vol.2363, pp.41-50, 2002.

G. M. Da-nóbrega, P. Malbos, and J. Sallantin, Modeling through human-computer interactions and mathematical discourse, Logical and computational aspects of model-based reasoning, vol.25, pp.293-311

J. Dewey, Experience and Education, 1938.
URL : https://hal.archives-ouvertes.fr/hal-00692056

P. Dillenbourg, M. Baker, A. Blaye, and C. ,

. O'malley, The evolution of research on collaborative learning, Learning in Humans and Machine: Towards an interdisciplinary learning science, pp.189-211, 1996.

E. Ferneda, Conception d'un agent rationnel et examen de son raisonnement en géométrie, 1992.

C. G. Hempel, Fundamentals of Concept Formation in Empirical Science, vol.2, 1952.

D. H. Jonassen, Objectivism versus constructivism, Educational Technology Research & Development, vol.39, pp.5-14, 1991.

H. Jong and A. Rip, The computer revolution in science: steps towards the realization of computersupported discovery environments, Artificial Intelligence, vol.91, pp.225-256, 1997.

I. Lakatos, Proofs and Refutations : The Logic of Mathematical Discovery, 1977.

P. Langley, The computer-aided discovery of scientific knowledge, First International Conference on Discovery Science, 1998.

P. Langley, The computational support to scientific discovery, Int. J. of Human-Computer Stud, vol.53, pp.393-410, 2000.

P. Langley, G. L. Bradshaw, and H. A. Simon, Bacon5: The discovery of conservation laws, IJCAI-81, 1981.

P. Langley, H. A. Simon, G. L. Bradshaw, and J. ,

M. Zytkow, Scientific Discovery: Computational Explorations of the Creative Processes, 1987.

M. Latourrette, Acquisition de connaissances à partir d'opérateurs de généralisation : vers une unification des notions de similarité et de catégories, 2001.

, Dictionnaire d'histoire et philosophie des sciences, 1999.

L. Ledesma, A. Pérez, D. Borrajo, and L. M. Laita, A computational approach to george boole's discovery of mathematical logic, Artificial Intelligence, vol.91, pp.281-307, 1997.

D. B. Lenat, The role of heuristics in learning by discovery, Machine Learning: An Artificial Intelligence Approach, 1983.

D. B. Lenat, Theory formation by heuristic search -the nature of heuristics ii: Background and examples, Artificial Intelligence, vol.21, pp.1-2, 1983.

M. Liquière, Du structurel au propositionnel, une approche formelle, CAP'01, juin, 2001.

M. Liquière and J. Sallantin, Structural machine learning with gallois lattice and graphs, 5 th International Conference on Machine Learning (ICML'98), pp.305-313, 1998.

A. Newell, J. C. Shaw, and H. Simon, The process of creative thinking, Contemporary Approaches To Creative Thinking, pp.63-119, 1962.

K. Popper, The Logic of Scientific Discovery. Routledge, 1977.

M. Py, Un agent rationnel pour raisonner par analogie, 1992.

J. Sallantin, Les Agents Intelligents : Essai sur la Rationalité Des Calculs. Hermès, 1997.

W. Sellars, Concepts as involving laws and inconceivable without them, Philosophy of Science, vol.15, pp.287-315, 1948.

H. Simon, R. E. Valdés-pérez, and D. H. Sleeman, Scientific discovery and simplicity of method, Artificial Intelligence, vol.91, pp.177-181, 1997.

G. L. Torres, J. M. Abe, M. L. Mucheroni, and P. ,

E. Cruvinel, Advances in Intelligent Systems and Robotics -LAPTEC 2003, vol.101, 2003.

E. L. Trist, The sociotechnical perspective: the evolution of sociotechnical systems as a conceptualframework and as an action research program, Perspectives on Organisation Design and Behaviour, pp.19-87, 1981.

R. E. Valdés-pérez, Principles of human computer collaboration for knowledge discovery in science, Artificial Intelligence, vol.107, issue.2, pp.335-346, 1999.

W. R. Van-joolingen, Designing for collaborative discovery learning

. Vanlehn, Intelligent Tutoring Systems, 5th International Conference, vol.1839, pp.202-211, 2000.

M. Weitz, Theories of concepts. A History of the Major Philosophical Tradition. Routledge, 1988.