H. Aebli, Didactique psychologique, 1963.

G. Arsac, N. Balacheff, and M. Mante, Teacher's role and reproducibility of didactical situations, Educational Studies in Mathematics, vol.15, issue.4, pp.5-29, 1992.
DOI : 10.1007/BF00302312

M. Artigue, Épistémologie et didactique. Recherches en didactique des mathématiques, pp.241-285, 1991.

M. Artigue, Functions from an algebraic and graphic point of view: cognitive difficulties and teaching practices, The concept of Function. (MAA Notes, pp.109-132, 1992.

G. Bachelard, La formation de l'esprit scientifique, 1938.

N. Balacheff, Proving processes and situations for validation, Educational Studies in Mathematics, vol.1, issue.2, pp.147-176, 1987.
DOI : 10.1007/BF00314724

N. Balacheff, Conception, connaissance et concept, Didactique et technologies cognitives en mathématiques, pp.219-244, 1994.
URL : https://hal.archives-ouvertes.fr/hal-01072247

N. Balacheff, Conception, propriété du système sujet/milieu, pp.215-229, 1995.

N. Balacheff, Construction of meaning and teacher control of learning, Information and Communication Technologies in School Mathematics, pp.111-120, 1998.
DOI : 10.1007/978-0-387-35287-9_14

N. Balacheff and N. Gaudin, Students conceptions: an introduction to a formal characterization, Les Cahiers du Laboratoire Leibniz n°65, 2002.

P. Bourdieu, The logic of practice translation of: Le sens pratique, Les éditions de Minuit, 1980.

D. Breidenbach, . Dubinsky, J. Hawks, and D. Nichols, Development of the process conception of function, Educational Studies in Mathematics, vol.20, issue.4, pp.247-285, 1992.
DOI : 10.1007/BF02309532

G. Brousseau, Theory of didactical situations in mathematics, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00699759

C. Castela, Apprendre avec et contre ses connaissances antérieures. Recherches en didactique des mathématiques, pp.7-47, 1995.

J. Confrey, Misconceptions " accross subject matters: charting the course from a constructivist perspective, Annual meeting of the American Educational Research Association, 1986.

J. Confrey, A review of the research on students conceptions in mathematics, science, and programming Review of research in education, American Educational Research Association, vol.16, pp.3-56, 1990.

J. Dhombres, Un Texte d'Euler sur les Fonctions Continues et les Fonctions Discontinues, Véritable Programme d'Organisation de l, 1988.

R. Douady, The interplay between different settings. Tool-object dialectic in the extension of mathematical ability, Proceedings of the ninth international conference for the psychology of mathematics education, pp.33-52, 1985.

C. H. Edwards and . Jr, The historical development of calculus, 1979.
DOI : 10.1007/978-1-4612-6230-5

N. Gaudin, Conceptions de fonction et registres de représentation, 2001.

E. Glasersfeld and . Von, An introduction to radical constructivism, The invented reality, pp.17-40, 1984.

I. Kleiner, Evolution of the Function Concept: A Brief Survey, The College Mathematics Journal, vol.20, issue.4, pp.282-300, 1989.
DOI : 10.2307/2686848

M. Kline, Mathematical Thought from Ancient to Modern Times, 1972.

J. Lave, Cognition into practice, 1988.

V. M. Mesa, Prototypical uses of function present in seventh-and eight-grade textbooks from fifteen countries, Proceedings of the 25 th conference of the international group for the Psychology of Mathematics Education, pp.367-374, 2001.

A. F. Monna, The concept of function in the 19th and 20th centuries, in particular with regard to the discussions between Baire, Borel and Lebesgue, Archive for History of Exact Sciences, vol.XI, issue.3, pp.57-84, 1972.
DOI : 10.1007/BF00348540

T. Nuñes, D. Carraher, and A. Schliemann, Mathematics in streets and schools, 1983.

A. Pichot, Pour une approche naturaliste de la connaissance, Lekton, vol.4, issue.2, pp.199-241, 1994.

P. Rabardel, Qu'est-ce qu'un instrument ? Les dossiers de l'Ingénierie éducative, pp.61-65, 1995.

L. Resnick and A. Collins, Cognition and Learning. Pre-print, 1994.

A. Robert, Problèmes méthodologiques en didactique des mathématiques. Recherches en didactique des mathématiques, pp.33-58, 1992.

A. Robert, Présentation du point de vue de la didactique des mathématiques sur les métaconnaissances, Métaconnaissances en IA, en EIAO et en didactique des mathématiques. RR LAFORIA 93, pp.5-18, 1993.

M. Salin, Le rôle de l'erreur dans l'apprentissage des mathématiques de l'école primaire, 1976.

A. Sfard, On the dual nature of mathematical conceptions: Reflections on processes and objects as different sides of the same coin, Educational Studies in Mathematics, vol.20, issue.5, pp.1-36, 1991.
DOI : 10.1007/BF00302715

A. Shoenfeld, Mathematical Problem Solving, 1985.

A. Sierpinska, On 15-17 years old students' conceptions of functions, iteration of functions and attractive fixed points, 1989.

D. E. Smith, History of mathematics II, esp. chap X), 1958.

J. Stewart, un système cognitif sans neurones: les capacités d'adaptation, d'apprentissage et de mémoire du système immunitaire, Intellectika, vol.18, pp.15-43, 1994.

D. Tall, Functions and Calculus, International Handbook of Mathematics Education, pp.289-326, 1996.
DOI : 10.1007/978-94-009-1465-0_10

W. P. Thurston, On proof and progress in mathematics, Bulletin of the American Mathematical Society, vol.30, issue.2, pp.161-177, 1994.
DOI : 10.1090/S0273-0979-1994-00502-6

G. Vergnaud, Quelques orientations théoriques et méthodologiques des recherches françaises en didactique des mathématiques, Recherches en didactique des mathématiques, pp.215-231, 1981.

G. Vergnaud, La théorie des champs conceptuels. Recherches en didactique des mathématiques, pp.133-169, 1991.

S. Vinner, Concept definition, concept image and the notion of function, International Journal of Mathematical Education in Science and Technology, vol.6, issue.3, pp.293-305, 1983.
DOI : 10.1080/0020739830140305

S. Vinner, Continuous functions -images and reasoning in college students, Proceedings of the Eleventh International Conference for the Psychology of Mathematics Education, pp.177-183, 1987.

S. Vinner, The function concept as a prototype for problems in mathematics education The concept of Function, (MAA Notes, vol.25, pp.195-213, 1992.

S. Vinner and T. Dreyfus, Images and Definitions for the Concept of Function, Journal for Research in Mathematics Education, vol.20, issue.4, pp.356-366, 1989.
DOI : 10.2307/749441

A. P. Youschkevitch, The Concept of Function up to the Middle of the19th Century, Archives for History of Exact Sciences, vol.16, issue.1, pp.37-85, 1976.

F. S. Miller-j, Emergent behavior in classifier systems, 1990.

R. Axtell, J. Epstein, and H. P. Young, The emergence of classes in a multi-agent bargaining model, Center on Social and Economics Dynamics, issue.9, 2000.

N. Balacheff, Teaching, an emergent property of eLearning environments, Conférence IST, 2000.

N. Balacheff, A modelling challenge: untangling learners' knowing, Journées Internationales d'Orsay sur les Sciences Cognitives: L'apprentissage, 2000.

N. Balacheff and N. Gaudin, Modelling students conceptions -the case of functions, Mathematical Thinking and Learning ? an International Journal, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00948742

W. W. Bledsoe, Non-resolution theorem proving, Artificial Intelligence, vol.9, issue.1, pp.1-35, 1977.
DOI : 10.1016/0004-3702(77)90012-1

E. Bonabeau, J. Dessalles, and A. Grumbach, Characterizing Emergent Phenomena (1): A critical review, Revue Internationale de Systémique, pp.3-327, 1995.
URL : https://hal.archives-ouvertes.fr/hal-00616420

R. Caferra, N. Peltier, and F. Puitg, Emphazing human techniques in geometry automated theorem proving: a practical realization, Workshop on Automated Deduction in Geometry, pp.38-59, 2000.

N. Capuano, M. Marsella, and S. Salerno, ABITS: An Agent Based Intelligent Tutoring System for Distance Learning, Proceedings of the International Workshop in Adaptative and Intelligent Web-based Educational Systems, 2000.

T. W. Chan, Learning Companion Systems, Social Learning Systems, and Intelligent Virtual Classroom Invited Talk, World Conference on Artificial Intelligence in Education Journal of Artificial Intelligence in Education, vol.7, issue.2, pp.125-159, 1996.

H. Chou, X. S. Gao, and J. Zhang, A deductive database approach to automated geometry theorem proving and discovering, Journal of Automated Reasoning, vol.25, issue.3, pp.219-246, 2000.
DOI : 10.1023/A:1006171315513

C. Conati and M. Klawe, Socially Intelligent Agents to Improve the Effectiveness of Educational Games In: Proceedings of AAAI Fall Symposium on Socially Intelligent Agents -The human in the loop, 2000.

G. Défourneaux, C. Bourely, and N. Peltier, Semantic generalizations for proving and disproving conjectures by analogy, Journal of Automated Reasoning, vol.20, issue.1/2, pp.27-45, 1998.
DOI : 10.1023/A:1005944606876

G. Défourneaux and N. Peltier, Analogy and abduction in automated reasoning, Proceedings of IJCAI'97, 1997.

G. Défourneaux and N. Peltier, Partial matching for analogy discovery in proofs and counter-examples, 1997.
DOI : 10.1007/3-540-63104-6_43

Y. Demazeau, From Interactions to Collective Behaviour in Agent-Based Systems, Proceedings of the 1st. European Conference on Cognitive Science, 1995.

M. Fitting, First-Order Logic and Automated Theorem Proving. Texts and Monographs in Computer Science, 1990.

S. Forrest, Emergent Computation, Physica D, vol.42, 1990.

S. Forrest and J. Miller, Emergent behavior in classifier systems, Physica D 42, pp.213-227, 1990.
DOI : 10.1016/0167-2789(90)90075-Z

J. H. Holland, Emergence from chaos to order, p.258, 2000.

M. Huget, J. Koning, and L. Bergia, Une Plate-forme pour l'ingénierie des protocoles d'interaction. Application au projet de télé-enseignement Baghera In: Systèmes multi-agents: méthodologie, technologie et expérience, 8emes Journées Francophones Intelligence Artificielle Distribuée et Systèmes Multi-Agents, JFIADSMA'00, pp.297-301, 2000.

W. L. Johnson, J. W. Rickel, and J. C. Lester, Animated Pedagogical Agents: Face-to-Face Interaction in Interactive Learning Environments, In: The International Journal of Artificial Intelligence in Education, issue.11, pp.47-78, 2000.

I. Machado, A. Martins, and A. Paiva, One for All and All for One A learner modelling server in a multi-agent platform, Proceedings of the Seventh International Conference on User Modelling, pp.211-221, 1999.

R. A. Maxion, Toward diagnosis as an emergent behavior in a network ecosystem, Physica D: Nonlinear Phenomena, vol.42, issue.1-3, pp.66-84, 1990.
DOI : 10.1016/0167-2789(90)90067-Y

N. Peltier, Hoard-atinf ? manuel d'utilisation, 2001.

G. Polya, How to Solve It, a New Aspect of Mathematical Method, 1973.

D. Py, Aide à la démonstration en géométrie : le tuteur Mentoniezh, Sciences et Techniques Educatives, vol.3, issue.2, 1996.

A. Rao and M. Georgeff, BDI Agents: From Theory to Practice, Proceedings of the First International Conference in Multi-Agents Systems, 1995.

S. Ritter, Communication, Cooperation and Competition among Multiple Tutor Agents, Proceedings of the 8th World Conference of Artificial Intelligence in, 1997.

S. Ritter and K. R. Koedinger, An architecture for plug-in tutor agents, Journal of Artificial Intelligence in Education, vol.7, pp.315-347, 1996.

J. Robinson, Automatic deduction with hyperresolution. Intern, Journal of Computer Math, vol.1, pp.227-234, 1965.

T. W. Sandholm, Distributed Rational Decision Making In: Multiagent Systems: A Modern Introduction to Distributed Artificial Intelligence, p.258, 1999.

R. K. Sawyer, Simulating Emergence and Downward Causation in Small Groups, Multi-Agent-based Simulation. Second International Workshop, pp.49-67, 1979.

D. Schreiber, The Emergence of Parties, The Annual Meeting of the Midwestern Political Science Association, 2000.
DOI : 10.1017/CBO9780511812620

F. Schweitzer and J. Zimmermann, Communication and Self-Organisation in Complex Systems: A Basic Approach Advances in Spatial Sciences, pp.275-296, 2001.

O. Shehory and S. Kraus, Task allocation via coalition formation among autonomous agents, Proceedings of IJCAI'95, pp.655-661, 1995.

R. A. Silveira, F. Bica, and R. M. Viccari, JADE -Java Agents for Distance Education Framework, Proceedings of the Third Iberoamerican Workshop on Distributed Artificial Intelligence and Multi-Agent Systems. Alvares L.O.and Bazan A, pp.112-122, 2000.

B. M. Stadler, Adaptive platform dynamics in multi-party spatial voting, Advances in Complex Systems, vol.02, issue.02, pp.101-116, 1999.
DOI : 10.1142/S0219525999000060

J. Vassileva, R. Deters, J. Greer, G. Mccalla, S. Bull et al., Lessons from Deploying I -Help, Proceedings of the Workshop Multi-Agent Architectures for Distributed Learning Environments, pp.3-11, 2001.

J. Vassileva, J. Greer, G. Mccalla, and R. Deters, A Multi-Agent Approach to the Design of Peer-Help Environments, Proceedings of AIED'99, pp.38-45, 1999.

N. J. Vriend, Self-organization of markets: An example of a computational approach, Computational Economics, vol.23, issue.No. 4, pp.205-231, 1995.
DOI : 10.1007/BF01298460

C. Webber, S. Pesty, and N. Balacheff, A multi-agent and emergent approach to learner modelling, ECAI 2002 -Proceedings of the 15th European Conference on Artificial Intelligence. F. van Harmelen, pp.98-102, 2002.

G. Weiss, Multiagent Systems -A Modern Approach to Distributed Artificial Intelligence, 1999.

L. Wos, Automated Reasoning, 33 Basic Research Problems, 1988.

J. D. Zapata-rivera and J. Greer, SMODEL Server: Student Modelling in Distributed Multi-Agent Tutoring Systems, In: Artificial Intelligence in, pp.446-455, 2001.

R. Brousseau and G. , Theory of didactical situations in mathematics, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00699759

D. Grenier, Construction et étude du fonctionnement d'un processus d'enseignement sur la symétrie Thèse, 1988.

S. Tahri, Modélisation de l'interaction didactique : un tuteur hybride sur Cabri-géomètre pour l'analyse des décisions didactiques, Thèse. IMAG, 1993.

. B. References and . Amy, Emergence et Immergence : les adrêts et les ubacs de l'organisation, Actes des journées : Emergence dans les modèles de la cognition, pp.15-16, 1992.

[. Avenier, Le management stratégique revisité : La problématique de -management, N.R. GRASCE, pp.92-108

[. Avenier, L'ingénierie d'actions stratégiques en milieu complexe : Repères, N.R. GRASCE, pp.94-105

[. Avenier, La stratégie tâtonnante " : des interactions récursives entre vision et action stratégiques, pp.96-97

]. J. Birner-96, . E. Birner, J. L. Bonabeau, A. Dessalles, and . Grumbach, Mind, Market and Society, Network structures in the work of F. A. Hayek " , working paper Characterizing emergent phenomena (1) and (2),: A critical review, Revue internationale de systémique, pp.3-327, 1996.

. E. Bonabeau, G. Bonabeau, . Theraulaz, . Bourgine, ]. P. Varela-92 et al., Intelligence collective Toward a practice of autonomous systems A Robot that Walks: Emergent Behaviors From a Carefully Evolved Network Fast,Cheap and Out of Control " ref ? Emergence and the mind, Intelligence Without Reason " IJCAI'91CAMPS et GLEIZES 96] V. CAMPS, M.P. GLEIZES, " Attitudes coopératives individuelles pour une capacité d'adaptation collective " , journées françaises sur les systèmes multi-agents, pp.501-509, 1091.

. P. Cariani, Emergence and Artificial Life Artificial Life II, pp.775-797, 1990.

. P. Cariani, Adaptivity and emergence in organisms and devices, World Futures, pp.49-70, 1991.
DOI : 10.1037/14607-000

]. R. Cummins-83 and . Cummins, The nature of Psychological Explanation, 1983.

P. Plate-forme, . Ses-applications-Èmes-journée-nationale-du-prc-ia-sur-les-systèmes-multi-agents, . J. Prc-ia, S. Deneubourg, N. Goss et al., The Dynamics of Collective Sorting : Robot-Like Ants and Ant-Like Robots " . From Animals to Animats (SAB'91) Task Differentiation in Polistes wasp colonies: a model for self-organizing groups of robots " . From Animals to Animats (SAB'91) Swarm-Made Architectures " . Toward a practice of autonomous systems Applying EthoModelling to social organization in ants A Behavioral Simulation Model for the Study of Emergent Social Structures Toward a practice of autonomous systems, Biology and Evolution of Social Insects, issue.2, pp.356-363, 1991.

. A. Drogoul, J. Drogoul, . A. Ferber, J. Drogoul, and . Ferber, A Behavioral Simulation Model for the Study of Emergent Social Structures Multi-agent simulation as a tool for studying emergent processes in societies, European Conference on Artificial Life Simulating Societies: the computer simulation of social phenomena, 1991.

. A. Drogoul, When Ants Play Chess (Or Can Strategies Emerge from Tactical Behaviours?) " , in " from Reaction to Cognition , : 5th European Workshop on Modelling an Agent in a Multi-Agent World - MAAMAW'93 De la simulation Multi-Agents à la résolution collective de problèmes. Une étude de l'émergence de structures d'organisation dans les systèmes Multi-Agents, Thèse de l, 1993.

J. Dupuy, Introduction aux sciences sociales; Logique des phénomènes collectifs Les systèmes multi-agents, InterEditions, 1992.

. Ferrand, Systèmes multi-agents réactifs et résolution de problèmes spatialisés, 1997.

. Foisel, De l'organisation d'une société à sa réorganisation Journée thématique du PRC-IA sur les systèmes multi-agents, pp.121-128, 1996.

. S. Forrest, J. H. Forrest, . S. Miller, and . Forrest, Emergent behavior in classifier systems " , in " emergent computation, emergent computation: Self-organizing, Collective, and Cooperative Phenomena in Natural and Artificial Computing Networks " , introduction to the proceedings of the ninth annual CNLS Conference, pp.1-11, 1990.

J. Cité-par and . Dupuy, Free to choose Introduction aux sciences sociales; Logique des phénomènes collectifs, Journées thématiques de l'ARC (émergence et explication), 1981.

&. Hempel, . G. Oppenheim-48-]-c, . Hempel-&-p, K. Oppenheim, and . Kaneko, Studies in the Logic of Explanation, Philosophy of Science, vol.15, issue.2, pp.135-175, 1979.
DOI : 10.1086/286983

. Y. Kanada, M. Kanada, and . Hirokawa, Stochastic problem solving by local computation based on self-organization paradigm, Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences HICSS-94, pp.82-91, 1994.
DOI : 10.1109/HICSS.1994.323363

. G. Kampiskampis-91b-]-g and . Kampis, self-modifying systems in Biology and Cognitive Science Emergent computations, life and cognition, World Futures, vol.31, pp.33-48, 1991.

. Labbani, Describing collective behaviours, Workshop ICMAS, pp.9-13, 1996.

[. Strugeon, Un exemple d'organisation évolutive parmi les robots fourrageurs " , journées françaises sur les systèmes multi-agents, pp.167-176, 1996.

. G. Langton-90a-]-c and . Langton, Computation at the edge of chaos: phase transitions and emergent computation " , in " emergent computation, pp.12-37, 1990.

. G. Langton-90b-]-c and . Langton, Introduction to Artificial Life II " . Artificial Life II, Proceedings of the Workshop on Artificial Life Held Feb, 1990.

. J. Liu, K. Liu, and . Sycara, Emergent Constraint Satisfaction Through Multi-Agent Coordinated Interaction " , in " from Reaction to Cognition, 5th European Workshop on Modelling an Agent in a Multi- Agent World -MAAMAW'93, 1996.

R. Marcelpoil, E. Beaurepaire, and S. Pesty, Modélisation et simulation de l'environnement dans les systèmes multi-agents. Application aux robots footballeurs Thèse de l'université Paris VI La sociologie cellulaire : modéliser et simuler une " société cellulaire, pp.53-72, 1994.

P. Marcenac, Emergence of Behaviors in Natural Phenomena Agent-Simulation Complex Systems 96, From local interactions to global phenomena, pp.284-289, 1996.

. Marcia, Auto-organisation:=évolution de structure(s) " , Journée thématique du PRC-IA sur les systèmes multi-agents, pp.139-152, 1996.

A. Martinet, Epistémologies et Sciences de Gestion Les paradigmes tratégiques : l'éternel retour ? Minimizing complexity in controlling a mobile robot population, MARTINET 93] Proc. of the 1992 IEEE Int. Conf. on Robotics and Automation, 1990.

. J. Mataric-92b-]-m and . Mataric, Designing Emergent Behaviors: From Local Interactions to Collective Intelligence, From Animals to Animats 2 (SAB'92), 1992.

D. Memmi, Emergence et niveaux d'explication, Journées thématiques de l'ARC (émergence et explication), 1996.

. J. Meyer, A. Meyer, and . Guillot, Simulation of Adaptive Behavior in Animats: Review and Prospect. From Animals to Animats (SAB'91), pp.2-14, 1991.

. M. Mitchell, D. R. Mitchell, and . Hofstadter, The emergence of understanding in a computer model of concepts and analogy-making " , in " emergent computation, pp.322-334, 1990.

. J. Müller, P. Müller, . P. Pecchiari-]-j, P. Müller, and . Pecchiari, Un modèle de systèmes d'agents autonomes situés : application à la déduction automatique " , dans AI distribuée et systèmes multi-agents, JFIADSMA'96 Un modèle de systèmes d'agents autonomes situés : application to automated deduction, dans Proceedings ICMAS'96, 1996.

K. Nagao, K. Hasida, T. C. Miyata, P. Piquemal-baluard, and . Glize, [MINSKY 88] MARVIN MINSKY -La société de l'esprit -Ed. Intereditions -1988 [NAGAO et al 93 Emergent Planning: A Computational Architecture for Situated Behaviour " , in " from Reaction to Cognition , : 5th European Workshop on Modelling an Agent in a Multi- Agent World -MAAMAW'93 The structure of Sciences, Structure et dynamique des organisations, pp.129-138, 1961.

L. Steels, Cooperation between distributed agents through self-organisation, IEEE International Workshop on Intelligent Robots and Systems, Towards a New Frontier of Applications, pp.451-461, 1990.
DOI : 10.1109/IROS.1990.262534

. E. Taylor-90-]-c and . Taylor, Fleshing Out Artificial Life II Artificial Life II, pp.25-38, 1990.

]. C. Taylor-91 and . Taylor, Fleshing out Artificial Life II, 1991.

A. Dans, H. Beckermann, J. Flohr, and . Kim, A contemporary look at Emergence Emergence or reduction, pp.139-153

S. W. Wilson, Perceptron redux: emergence of structure " , in " emergent computation, pp.249-256, 1990.

N. Balacheff and N. Gaudin, Students conceptions: an introduction to a formal characterization, Les Cahiers du Laboratoire Leibniz n°65, 2002.

S. Pesty, C. Webber, and N. Balacheff, Baghera : une architecture multi-agents pour l'apprentissage humain, 2002.

C. Webber and S. Pesty, Emergent Diagnosis via Coalition Formation, IBERAMIA 2002 - Proceedings of the 8th Iberoamerican Conference on Artificial Intelligence. Garijo, F. LNAI 2527, pp.755-764, 2002.
DOI : 10.1007/3-540-36131-6_77

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

C. Webber and S. Pesty, Emergence de diagnostic par formation de coalitions -Application au diagnostic des conceptions d'un apprenant In: Journées Francophones pour l'Intelligence Artificielle Distribuée et les Systèmes Multi-Agents 2002, pp.45-57, 2002.

C. Webber and S. Pesty, A two-level multi-agent architecture for a distance learning environment, Architectures and Methodologies for Building Agent-based Learning Environments, pp.26-38, 2002.

C. Webber, S. Pesty, and N. Balacheff, A multi-agent and emergent approach to learner modelling, ECAI 2002 -Proceedings of the 15th European Conference on Artificial Intelligence. F. van Harmelen, 2002.