Lógica e Inteligencia Artificial
Logique et Intelligence Artificielle
Logic and Artificial Intelligence


    Aczel J. C., Fung P., Bornat R., Oliver M., O'Shea T., Sufrin B. (1999) "Using computers to learn logic: undergraduates' experiences" in Cumming, G., Okamoto, T. & Gomez, L. (eds.) Advanced Research in Computers and Communications in Education: Proceedings of the 7th International Conference on Computers in Education, Amsterdam, IOS Press
    Aczel J. C., Fung P., Bornat R., Oliver M., O'Shea T., Sufrin B. (1999) "Influences of Software Design on Formal Reasoning", in Brewster, S., Cawsey, A. & Cockton, G. (Eds.) Proceedings of IFIP TC.13 International Conference on Human-Computer Interaction INTERACT '99, Vol. 2, pp. 3-4, Swindon, UK, British Computer Society, ISBN 1-902505-19-0
    Aczel J. C., Oliver M., Fung P. (1999) "Progressive Refinement of Formal Reasoning Strategies using Software for Learning Logic", Proceedings of the 20th anniversary conference of the Computers and Learning Research Group, The Open University, June 1999
    Aczel J. C., Fung P. (1999) "Evaluation of a software tool for supporting formal reasoning", Proceedings of the day conference of the Student Research Centre, Feb 1999, Institute of Educational Technology
    Aczel J. C., Fung P., Bornat R., Oliver M., O'Shea T., Sufrin B. (1999) "Undergraduates' Computer-Assisted Formal Reasoning", Presentation to the day conference of the British Society for Research into Learning Mathematics, Feb 1999
    Aczel J. C., Fung P., Bornat R., Oliver M., O'Shea T., Sufrin B. (1999) "Computer Science Undergraduates Learning Logic Using a Proof Editor: Work in Progress", Proceedings of the Psychology of Programming Interest Group, University of Leeds
    Aczel J. C. (2000) The Evaluation of a Computer Program for Learning Logic: The Role of Students' Formal Reasoning Strategies in Visualising Proofs. CALRG Technical report 192. Computers and Learning Research Group, Institute of Educational Technology, The Open University, Milton Keynes, UK
    Adnan Baki (2005) Archimedes with Cabri: visualization and experimental verification of mathematical ideas. International Journal of Computers for Mathematical Learning 10 (3) 259-270
    Allen C., Hand M. (eds.) (2001) Logic primer. Cambridge, MA : The MIT Press, Bradford Books

Alliot J.-M., Schiex T. (1994) Intelligence artificielle et informatique theorique. Toulouse : Cepadues.

Anlauff M., Jähnichen S. , Simons M. (1994) A support system for formal mathematical reasoning. In: Naftalin M., Denvir T. , Bertran M. (eds) FME'94: Industrial Benefits of Formal Methods (pp.421-440). Berlin: Springer-Verlag.

    Belleannée C., Nicolas J., Vorc'h R. (1999) Vers un démonstrateur adaptatif. J. Sallantin, J. Szczeciniarz (eds.) Le concept de preuve à la lumière de l'intelligence artificielle. (Nouvelle Encyclopédie Diderot). Paris : PUF, pp.159-196
    Bornat R., Sufrin B.A. (1999) "Animating formal proof at the surface: the Jape proof calculator", The Computer Journal, 43(3), 177-192
    Borwein J. M. (2005) The experimental mathematician: the pleasure of discovery and the role of proof. International Journal of Computers for mathematical learning. 10 (2) 75-108
    Bruckheimer M., Arcavi A. (2001) A Herrick among mathematicians or dynamic geometry as an aid to proof. International Journal of Computers for Mathematical Learning 6 (1) 113-126.
    Bundy A., Moore J.D., Zinn C. (2000) An Intelligent Tutoring System for Induction Proofs Abridged Project Description, E. Melis (ed.) Deduction Systems for Mathematics Education, Proceedings of a Workshop at CADE-17, pp. 4-13
    Alan Bundy (1983) The Computer Modelling of Mathematical Reasoning. London et al.: Academic Press.
    Burstall R. (1991) Computer Assisted Proof for Mathematics: an Introduction using the LEGO Proof System. LFCS report. ECS-LFCS-91-132

Caferra R., Zabel N. (1992) A method for simultaneous search for refutations and models by equational constraint solving. Journal of Symbolic Computation 13, 613-641.

Caferra R., Herment M. (1995) A generic graphic framework for combining inference tools and editing proofs and formulae. Journal of symbolic computation 19, 217-243.

    Caferra R., Peltier N., Puitg F. (2000) Emphasizing human technics in geometry automated theorem proving: a practical realization. In: Proceedings of the Third International Workshop on Automated Deduction in Geometry. Zurich, Switzerland, September 25-27, 2000.
    Carr C. (2001) Computer-supported collaborative argumentation : supported problem-based learning in legal education. In : Dillenbourg P., Eurelings A., Hakkarainen K. (eds.) European perspectives on computer-supported collaborative learning (pp.148-155). Maastricht McLuhan Institute.
    Croy J. M. (1999) Graphic interface design and deductive proof construction. Journal of computers in Mathematics and Science Teaching. 18(4) 371-385.
    Curien R. (1999) Preuves de la déduction automatique et analogie. J. Sallantin, J. Szczeciniarz (eds.) Le concept de preuve à la lumière de l'intelligence artificielle. (Nouvelle Encyclopédie Diderot). Paris : PUF, pp.237-254
    Dahn B. I. (2000) Knowledge Management in the TRIAL-SOLUTION Project (First Considerations), E. Melis (ed.) Deduction Systems for Mathematics Education, Proceedings of a Workshop at CADE-17, pp. 14-19
    De Costaz N., C. A., Béziau J.-Y. (1999) La logique paraconsistante. J. Sallantin, J. Szczeciniarz (eds.) Le concept de preuve à la lumière de l'intelligence artificielle. (Nouvelle Encyclopédie Diderot). Paris : PUF, pp.107-116

Despeyroux J. (1988) THEO: an interactive proof development system. Rapport de Recherche 887. Le Chesnay: INRIA (disponible médiathèque IMAG).

    De Villiers M. (2006) Recycling cyclic polygons dynamically Mathematics in School Vol. 35 (3)
    Dosen K. (1999) Le programme de Hilbert. J. Sallantin, J. Szczeciniarz (eds.) Le concept de preuve à la lumière de l'intelligence artificielle. (Nouvelle Encyclopédie Diderot). Paris : PUF, pp. 87-106
    Erkens G., Jaspers J., Tabachneck-Schijf H. (2001) Computer-supported collaboration in argumentative writing. In : Dillenbourg P., Eurelings A., Hakkarainen K. (eds.) European perspectives on computer-supported collaborative learning (pp.205-212) Maastricht McLuhan Institute.
    Farmer M. W. (2000) A Proposal for the Development ofan Interactive Mathematics Laboratory for Mathematics Education, E. Melis (ed.) Deduction Systems for Mathematics Education, Proceedings of a Workshop at CADE-17, pp. 20-25

Farreny H., Ghallab M. (1987) Elements d'intelligence artificielle. Paris: Hermes, 1987.

    Fiedler A. (1999) Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI, pp. 358--363). Morgan Kaufmann.
    Fiedler A. (2000) Determining and Structuring the Content of Presentations of Proofs in Natural Language, E. Melis (ed.) Deduction Systems for Mathematics Education, Proceedings of a Workshop at CADE-17, pp. 44-51
    Gardin J.-C., Renaud M., Lagrange M.-S. (1999) Le raisonnement historique à l'épreuve de l'IA. J. Sallantin, J. Szczeciniarz (eds.) Le concept de preuve à la lumière de l'intelligence artificielle. (Nouvelle Encyclopédie Diderot). Paris : PUF, pp.351-370
    Gigerenzer G., Selten R. (eds.) (2001) Bounded rationality. Cambridge, MA : The MIT Press, Bradford Books

Gödel K. et al. (1931) Le théorème de Gödel, (traduction de l'anglais et de l'allemand par J.B. Scherer). Editions du Seuil (Collection Sources du Savoir), Paris, 1989, 185 pages.

 

Guin D., Groupe IREM IA (1989) Réflexions sur les logiciels d'aide à la démonstration en géométrie. Annales de Didactique et de Sciences Cognitives (IREM de Strasbourg) 2, 89-109.

  Guin D. (1996) A cognitive analysis of geometry proof focused on intelligent tutoring systems. In: Jean-Marie Laborde (ed.) Intelligent Learning Environments : the case of geometry (pp.82-93). Berlin: Springer Verlag.

Haton J.-P., Bouzid N., Charpillet C., Haton M.-C.(1991) Le Raisonnement en intelligence artificielle : modeles, techniques et architectures pour les systemes a bases de .connaissances. Paris : InterEditions.

Hendry H. E., Hart A. M. (1984) On the semantic status of mathematical truth. The mathematical intelligencer 6(3) 50-52 & 60.

    Hewitt D. (2002) La arbitrario y lo necessario: educación de la consciencia. Revista EMA 7(3) 310-343
    Imbert C. (1999) De la connaissance au calcul : implications épistémologiques du cognitivisme. J. Sallantin, J. Szczeciniarz (eds.) Le concept de preuve à la lumière de l'intelligence artificielle. (Nouvelle Encyclopédie Diderot). Paris : PUF, pp.29-58
    Kortenkamp U. (1999) Foundations of Dynamic Geometry. Swiss Federal Institute of Technology. Zurich
    Kuntz G. (1996) De l'intelligence artificielle aux fiches-méthodes. in : L'enseignement des mathématiques : des repères entre savoirs, programmes et pratiques (pp.55-68). Pont-à-Mousson : Topiques éditions
    Lanford III O. E. (1986) Computer assisted proofs in analysis. International Congress of Mathematicians. RR IHES/P/87/16 Bures sur Yvettes.

Lauriere J.-L. (1986) Intelligence artificielle : resolution de problemes par l'homme et la machine. Paris : Eyrolles.

    Leung A., Lopez-Real F. (2002) Theorem, Justification and acquisition in dynamic geometry: a case of proof by contradiction. International Journal of Computers for Mathematical Learning 7(2) 145-165
    Libbrecht P., Melis E., Ullrich C. (2001) Generating Personalized Documents Using a Presentation Planner. In: ED-MEDIA 2001, World Conference on Educational Multimedia, Hypermedia and Telecommunications.
  Libbrecht P., Melis E., Ullrich C. (2001) Activemath , a Web-Based Learning Environment. In: IEEE Learning Technology Newsletter
    Libbrecht P., Melis E., Pollet M., Ullrich C. (2001) Interactive Exercises in the \activemath Learning Environment. In: ISSAC-2001 Workshop on Internet Accessible Mathematical Computation.
   

Lowe H., Dobbin A. (2000) Towards a Proof Assistant forNovice Formal Methodists, E. Melis (ed.) Deduction Systems for Mathematics Education, Proceedings of a Workshop at CADE-17, pp. 52 sqq.

Luengo V. (1999) A semi-empirical agent for learning mathematical proof. In: Lajoie P., Vivet M. (eds.) Artificial Intelligence and Education (pp. 475-482). Amsterdam: IOS Press -- Tokyo: Ohmsha.

    Luengo V. (2005) Some didactical and epistemological considerations in the design of educational software: the Cabri-Euclide example. International Journal of Computers for mathematical learning. 10 (1) 1-29
    Lynch M. P. (1998) Truth in context. Cambridge, MA : The MIT Press, Bradford Books
    Lynch M. P. (ed.) (2001) The nature of truth. Cambridge, MA : The MIT Press, Bradford Books
    Marquis P. (1999) Sur les preuves non déductives en intelligence artificielle. J. Sallantin, J. Szczeciniarz (eds.) Le concept de preuve à la lumière de l'intelligence artificielle. (Nouvelle Encyclopédie Diderot). Paris : PUF, pp. 139-158

Melis E., Leron U. (1999) A proof presentation suitable for teaching proofs. In: Lajoie P., Vivet M. (eds.) Artificial Intelligence and Education (pp. 483-490). Amsterdam: IOS Press -- Tokyo: Ohmsha.

    Melis E. (2000) The `Interactive Textbook' Project, E. Melis (ed.) Deduction Systems for Mathematics Education, Proceedings of a Workshop at CADE-17, pp. 26-34
    Melis E., Buedenbender J., Andres E., Frischauf A., Goguadse G., Libbrecht P., Pollet M., Ullrich C. (2001) The Activemath Learning Environment. Artificial Intelligence and Education 12(4)
    E. Melis and J. Buedenbender E. Andres and Adrian, Frischauf and G. Goguadse and P. Libbrecht and M. Pollet and C. Ullrich (2001) A Generic and Adaptive Web-Based Learning Environment. Artificial Intelligence and Education, 12 (4)
    Melis E., Glasmacher Ch., Ullrich C., Gerjets P. (2001) Automated Proof Planning for Instructional Design. Annual Conference of the Cognitive Science Society.
    Moreno A. L., Bharath S. (2005) Structural stability and dynamic geometry: some ideas on situated proofs Zentralblatt für Didaktik der Mathematik 37(3) pp.130-139
    Parnafes O., Disessa A. (2004) Relations between types of resoning and computational representations. International Journal of Computers for Mathematical Learning 9(3) 251-280

Pastre D. (1978) Automatic theorem proving in set theory. Journal of Artificial Intelligence 10, 1-27.

Pastre D. (1989) MUSCADET: an automatic theorem proving system using knowledge and metaknowledge in mathematics. Journal of Artificial Intelligence 38, 257-318.

Pastre D. (1993) Automated theorem proving in mathematics. Annals on Artificial Intelligence and Mathematics 8, 425-447.

    Pitrat J. (1999) Vers un métamatématicien artificiel. J. Sallantin, J. Szczeciniarz (eds.) Le concept de preuve à la lumière de l'intelligence artificielle. (Nouvelle Encyclopédie Diderot). Paris : PUF, pp.117-138
    Py D. (2001) Environnements interactifs d'apprentissage et démonstration en géométrie. Documents d'habilitation n° 39 (63 pages). Rennes : IRISA et IFSIC

Recio T. (1998) Cálculo simbólico y geometricó. Madrid: Editorial Sintesis.

Recio T., Vélez P. (1999) Automated deduction of elementary geometry theorems. Journal of Automated Reasoning. (in press).

    Sallantin J., Szczeciniarz J.-J. (1999) Introduction, la preuve à la lumière (?) de l'intelligence artificielle. J. Sallantin, J. Szczeciniarz (eds.) Le concept de preuve à la lumière de l'intelligence artificielle. (Nouvelle Encyclopédie Diderot). Paris : PUF, pp.1-28
    Sallantin J. (1999) Les cadres probatoires. J. Sallantin, J. Szczeciniarz (eds.) Le concept de preuve à la lumière de l'intelligence artificielle. (Nouvelle Encyclopédie Diderot). Paris : PUF, pp.255-278
    Samper C., Leguizámon C., Camargo L. (2001) razonamiento en geometriá. Revista EMA 6(2) 141-158.
    Samper C., Leguizamón, Camargo L. (2002) La construcción de conceptos: une actividad importante para desarollar razonamiento en geometría. Revista EMA 7(3) 293-309
    Searle J. R. (2001) Rationality in action. Cambridge, MA : The MIT Press, Bradford Books
    Schwarz B., Neuman T., Gil J., Ilya M. (2001) Effects of argumentative activities on collective and individual arguments. In : Dillenbourg P., Eurelings A., Hakkarainen K. (eds.) European perspectives on computer-supported collaborative learning (pp. 545-552) Maastricht McLuhan Institute.

Simons M., Biersack M., Raschke R. (1994) Literate and structured presentation of formal proofs. In: Olderog E.-R. (ed.) IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET'94). (pp.61-81). North Holland.

Simons M. (1996) The presentation of formal proofs. Ph. D. Thesis. Berlin: Technische Universität.

    Sinclair, M., de Bruyn, Y., Hanna, G., and Harrison, P. (2004). Cinderella and the Geometer’s Sketchpad. Canadian Journal of Science, Mathematics and Technology Education, 4(3), 423-438.
    Sommer R., Rozenfeld M., Ravaglia R. (2000) A Proof Environment for Teaching Mathematics, E. Melis (ed.) Deduction Systems for Mathematics Education, Proceedings of a Workshop at CADE-17, pp. 35-43
    Spagnol J.-P. (2001) Argos, un démonstrateur de théorèmes en géométrie. Sciences et Technologies Educatives 8 (1/2) 113-125.
  Stylianides G. J., Stylianides A. J. (2005) Validation of solutions of construction problems in dynamic geometry environments. International Journal of Computers for mathematical learning. 10 (1) 31-47
    Szymanski W. A. (1994) Geometric computarized proofs = drawing package + Symbolic computation software. Journal of computers in Mathematics and Science Teaching. 13(4) 433-444.
    Szymanski, W. A. (1994): Geometric Computerized Proofs = Drawing Package + Symbolic Computation Software Journal of Computers in Mathematics and Science Teaching, vol. 13 n4 p. 433-44
    Szczeciniarz J.-J. (1999) Descartes et Euclide : le cogito comme ultime preuve. J. Sallantin, J. Szczeciniarz (eds.) Le concept de preuve à la lumière de l'intelligence artificielle. (Nouvelle Encyclopédie Diderot). Paris : PUF, pp.59-86
    Tarski A. (1969) Truth and proof. Scientific American 220, 63-77.

Zuber R. (1999) Règles, déduction, grammaire et langage. J. Sallantin, J. Szczeciniarz (eds.) Le concept de preuve à la lumière de l'intelligence artificielle. (Nouvelle Encyclopédie Diderot). Paris : PUF, pp.279-298