Curriculum Vitae. Prof. Dr. Eduardo L. Fermé

Transcription

1 Curriculum Vitae Prof. Dr. Eduardo L. Fermé Contents Personal Data 3 Education 4 Languages Scholarships 4 Administrative Experience 5 Teaching Experience 6 Teaching Statement Academic Positions Lecturing Research Supervision PhD Thesis Degree Thesis Research Experience 10 Research Statement Research Grants Participation as Grant Holder Participation as Senior Researcher Internships Committees and Reviewing Activity Invited Talks Scientific Meetings Publications 18 Journals Book Chapters Book Reviews

2 Refereed Conference Publications Thesis Lecture Notes (In Spanish) Industrial activities 22 References 23 Additional References

3 Personal Data Full Name Born Passport Marital Status Eduardo Leopoldo Fermé. 10/11/1964 in Buenos Aires, Argentina Argentina. Married. Children One son (born 30/12/2001). Address Amenabar G (1429) Buenos Aires Argentina. Telephone Fax Homepage Nationality Current Position ferme@dc.uba.ar. Argentine. Professor (Profesor Adjunto) Computer Science Department University of Buenos Aires. 3

4 Education 1999 PhD. in Computer Science. University of Buenos Aires. Qualification: Sobresaliente (summa cum laude). Advisor: (Prof. Dr. Carlos E. Alchourrón, until his death in 1996) Prof. Dr. Sven Ove Hansson, Uppsala University, Sweden. Awarded with the 2nd place in the II Ibero-American Thesis and Dissertation Contest. IBERAMIA - SBIA. San Pablo. Brazil Licenciado en Ciencias de la Computación. University of Buenos Aires. Qualification: 10. Advisor: Prof. Raúl Carnota, University of Buenos Aires. Languages Spanish English Italian Portuguese Mother tongue. Reading Comprehension (Good) Written (Good) Spoken (Good). Reading Comprehension (Very Good) Written (Very Good) Spoken (Very Good). Reading Comprehension (Very Good) Written (Very Good) Spoken (Very Good). Scholarships Awarded a research fellowship from the Swedish Institute, to fund one year of research activity in Sweden. This fellowship was used to support partially my stay in Sweden during the third year of my PhD., where I worked on my PhD. thesis with my advisor Prof. Dr. Sven Ove Hansson Awarded a research fellowship from the International Bank for Reconstruction and Development (IBRD). This fellowship supported my PhD studies in the Computer 4

5 Science Department, University of Buenos Aires. It also provided additional funds for traveling to Sweden to visit my advisor in January Awarded a research fellowship from the Secretary of Science and Technique - University of Buenos Aires. This fellowship support my research activities in the Computer Science Department, University of Buenos Aires. Administrative Experience Member of the Departmental Council (CoDep) that constitutes the legislative organ of the Computer Science Department. University of Buenos Aires Member of the council responsible for revising the Computer Science curricula of University of Buenos Aires. 5

6 Teaching Experience Teaching Statement My background includes a knowledge of mainstream computer science, (standard and non-standard) logic, and Artificial Intelligence (AI). Topics I feel I could comfortably teach include, but are not limited to Software Engineering, (Requirement Engineering, Dynamic of Requirements, Software Project Management, Software Development Process, Testing), Classical Logic, Non-Standard Logic (Theory Change, Non-Monotonic, Conditional, Deontic, etc.), and Artificial Intelligence. I had an interesting experience teaching at University of Buenos Aires. In my courses, I generally try to make students research by making them combine their knowledge from previous courses with the contents of the course they are taking. This experience has been very positive and sometimes led to new lines of research, that we explore with the students under the form of degree thesis. Fortunately, this can be done in both in small courses (around 10 students) and in larger and in bigger (around 50 students). In the second case, we divide the students in groups of research and organize workshops to share experiences. I have examined the curricula of Imperial College, and I think that my previous experience can contribute to complement the actual offer of courses. In particular, in the course Software Engineering II, we teach Software Project Management that is a complement for the current courses of Software Engineering given by the Imperial College and my courses of Logic of Theory Change, Non-Monotonic Logic and Conditional Logic can extend the offer in the Logic area, since these courses are related with the courses offered by Professor Marek Sergot and Dr. Ian Hodkinson. On the other hand I would also be delighted to give many of the existing courses. Academic Positions Professor (Profesor Adjunto), Computer Science Department, University of Buenos Aires. 6

7 The duties of the position include defining the contents, preparing teaching material, lecturing and coordinating helpers for assigned courses, advising students with their degree thesis and administrative duties in the Department Teaching Assistant (Ayudante de Primera and Jefe de Trabajos Prácticos), Computer Science Department, University of Buenos Aires Teaching Assistant (Ayudante de Segunda), Ciclo Básico Común, University of Buenos Aires. Lecturing As a Professor (Profesor Adjunto) I have taught given the following courses: Software Engineering II-Project Management Concepts General Objectives: To allow students to understand the fundamentals of and main activities included in Software Project Management. The students will be able to write a plan for a project according to an established standard. The students will comprehend the role of the manager in each phase of the software development life cycle. Contents: Introduction to Software Project Management - Introduction to Quality Culture - The 5 dimensions of Software Development - Requirements analysis - Risk analysis - Feasibility analysis - Cost and Size Analysis - Allocation Resources - Tracking Projects - Software Configuration Management - Metrics Plan GQM - Testing Plan - Inspections - CMM. This course usually has between 40 and 60 students per semester Term Term Term 2 Logic of Theory Change General Objectives: To introduce the students the AGM model for Logic of Theory Change. To present alternative models and extensions of the classical AGM model. Contents: The elements of an Epistemological Theory. The AGM Account: The consequence operator. Belief Sets. The AGM dynamics for belief sets. Expansion. Contraction. Revision. Relations Between Contraction and Revision. Constructive Methods: Partial Meet Functions. 7

8 Epistemic Entrenchment. Safe and Kernel Contraction. Semantic Approach. Extensions of the AGM model: Belief Bases. Non-Prioritised revision functions. Withdrawal Contractions. Non-Crisp Models. This course usually has between 10 and 15 students per semester Term Term Term 1 Algorithms and Data Structures I General Objectives: To teach students to solve simple algorithmic problems based on treatment of sequences using pseudocode. To Introduce the notion of program correctness. To implement small projects using all concepts taught in the course. Students program in Prolog, Gopher and C++. Contents: Specification and implementation of programs. Correction of programs. Types. Abstract types. Treatments of sequences. Sequential files. This course usually has between 100 and 130 students per semester Term Term Term 2 Non-Standard Logic I Objectives: To teach the non classical logics that have been developed in the last decades. These logics have been designed to address specific limitations of classical logic. Focus is on conditional logic, non-monotonic logic, modal logic, deontic logic, temporal logic, etc. Non-Standard Logic I is focused in conditional logic. Contents: The necessity of a conditional logic. Analysis of conditional sentences in natural language. Inadequacy of the material conditional. Strict conditionals. Theories of minimal change: Counterfactuals, Stalneker System C2. Lewis Systems VM and VC, Pollock System, etc.. Conditionals of small and maximal change. Material conditional vs. other conditionals. Probabilistic conditional. Taxonomy of Conditionals. Relation between conditional logic and other paradigms: belief revision, non-monotonic logic, etc. This course has around 15 students per semester Term 1 As a Teaching Assistant, I have collaborated in the following courses: Knowledge Base Update 3 Terms. 8

9 Logic of Theory Change 5 Terms. Non-Monotonic Logic 2 Terms. Artificial Intelligence 5 Terms. Research Supervision PhD Thesis Rodolfo di Chiazza. Applying Belief Revision in Software Engineering. University of Buenos Aires, Argentina. Diego Letzen. Paraconsistent Belief Revision. University of Córdoba, Argentina. Degree Thesis In the Computer Science Department of the University of Buenos Aires, the curricula of the degree in Computer Science includes a degree thesis. The level of the thesis is equivalent of a Master Thesis in other universities (the only difference is that can be made by two or three students together). 200 Daniel V. Rozengardt, Andrea Baglietto. Migration of Legacy Systems. University of Buenos Aires Martín Krevneris. Ensconcement s Axiomatic. University of Buenos Aires. Ariel Bender. Studies in Non-monotonic Logics. University of Buenos Aires Liliana Cabanelas Ramos. Implementing Multiple Kernel Contraction. Computer Science Department. University of Buenos Aires Pablo Sanz, Karina Saez. Multiple Kernel Contraction. Computer Science Department. University of Buenos Aires Juan Mikalef, Jorge Taboada. Credibility-Limited Functions for Belief Bases. University of Buenos Aires Lionel Rossi, Marcelo Viegas. Combining Data Mining and Belief Revision. University of Buenos Aires. 9

10 Research Experience Research Statement Since I started researching in 1991, my main research goal has been to explore Logic-based techniques as formal tools for systems construction/ implementation. In particular, my studies was focuses in Logic of Theory Change and Non-Monotonic Logic. In these areas I have defined new theoretical models based on problems that cannot be solved via the traditional models. My current research plan consists in capitalising my theoretical studies to construct applications for Software Engineering. This goal includes applying Logic of Theory Change to Dynamic of Requirements, developing robust tools to help a System Analyst in the decisions when he updates / corrects the requirements in a software project (See Figure 1). In addition, I hope to continue to explore Logic of Theory Change and Non-Monotonic Logic to improve the information obtained via Data Mining technics in distributed databases. (See Figure 2). Research Grants Participation as Grant Holder Dynamics of Requirements [ ] Sponsor: Secretary of Science and Technique - University of Buenos Aires. Abstract: One of the most difficult tasks in the construction of Software Systems is requirement analysis. In spite of this, there is no formal widely accepted methodology for revising or updating requirement specifications. The main goal of the project is to provide a formalism that allows us to make changes in specifications, doing so by improvement or evolution of requirements. Our hypothesis is that this formal definition is possible and will allow to set quality attributes to evaluate if specification changes are well founded or not. The tool we shall use to develop this formalism is Logic of Theory Change, that has shown to be an adequate tool for defining dynamics in logic systems. As a second phase, we will apply the formalism to systems that have evolved on requirements and compare with changes that they might have suffered using our method. These experiments will allow us to measure the relevance of our work. 10

11 Revision by Comparison [ ] Sponsor: Argentinean-German project. Fundación Antorchas - Deutscher Akademischer Austauschdienst. German Chair: Prof. Dr. Hans Rott. Abstract: Since the early 1980s, logical theories of belief revision have developed formal methods for the transformation of knowledge bases or corpora of data and beliefs. Early models have dealt with unconditional acceptance and integration of potentially belief-contravening pieces of information into the existing corpus. More recently, models of non-prioritized revision were proposed that allow the agent rationally to refuse to accept the new information. This project proposes a refined method by which changes of belief can be effected by specifying constraints on the relative plausibility of propositions. Like the earlier belief revision models, this method would be qualitative one, in the sense that no numbers (which would be hard to interpret) are needed in order to specify the posterior plausibility of the new information. We will use reference beliefs in order to determine the degree of entrenchment of the newly accepted piece of information. We will give a logical characterization of the new model and study its relation with other operations of belief revision and contraction. Non-Monotonic Logics for models of belief change [ ] Sponsor: Argentinean-Brazilian project. Fundación Antorchas - Vitae. Brazilian Chair: Prof. Dr. Renata Wassermann. Abstract: We propose to study the relation between belief revision models (in particular Revision by Comparison, Prototype Revision and Wassermann and Chopra Computational Model) and their corresponding non-monotonic logics. Participation as Senior Researcher Norms and Non-Monotonicity [ ]. 2dn part of Notions of non Standard and Conditional Logics [ ] Sponsor: Secretary of Science and Technique - University of Buenos Aires. Chair: Prof. Dr. Gladys Palau. Abstract: The main goals of this research project are: 1) To study the antecedents in the history of logic concerning the analysis of plausible reasoning and its correction criteria. 2) To analyse taxonomies of plausible reasoning in Informal Logic (Critical Thinking), and in Artificial Intelligence; evaluation criteria for them. 3) To analyse the structural 11

12 relations between the different non-classical notions of consequence, which we shall call non-standard, and the possibility of unifying the different non-monotonic formalisms. 4 ) To study, from a computational point of view, the expressive power of the formal languages of conditional logics and their computational tractability, together with that of non-monotonic formalisms. Alpha Project: Tools for Teaching [ ] Chair: Prof. Dr. María Manzano, Salamanca University. Spain. Argentinean Coordinator: Prof. Dr. Gladys Palau. Participant Countries: Argentina, Brazil, Holland, Italy, Mexico, Peru, Spain, United Kingdom, Uruguay. United Kingdom Participants: Coordinator: Dr. Ian Hodkinson (Imperial College) Other Participants: Dr. Krysia Broda, (Imperial College, London), Prof. Dov Gabbay (Kings College, London) and Prof. Wilfrid Hodges (Queen Mary and Westfield College). Abstract: TOOLS FOR TEACHING is a project designed to develop a series of useful tools for the interdisciplinary training required by our society. LOGIC is the interdisciplinary matter par excellence since it acts as the nucleus of an emerging science; the transmission of information. So, focusing on creating educational material for the teaching of logic is exemplary because it combines disciplines in which the symbolic aspects of information processing are paramount. Theory Change and Theory of Conditionals [ ] Sponsor: Secretary of Science and Technique - University of Buenos Aires.Chairs: Prof. Dr. Carlos E. Alchourrón (until his death in January 1996) - Prof. Dr. Gladys Palau. Summary: (a) The results obtained in this project concerning Theory Change and its intrinsic problems were: postulate K *5 (Recovering) was identified as the most questionable in the theory; an alternative reconstruction of the theory that does not include it was put forward. Furthermore, it was shown that the AGM Theory of Change and the Updating Theory of Change can be formalized within the same semantic frame. (b) Concerning theory of conditionals the following results were achieved: (i) A taxonomy of conditionals was built, with special emphasis on the so-called epistemic conditional, so it as to take as reference for the analysis of the concept of defeasible conditional. (ii) The inadequacy of D. Lewis characterization of the notion of scientific law involving couterfactual conditionals was pointed out. (iii) An 12

13 exhaustive characterization of material, relevant and intuitionistic conditionals was achieved taking into account their formal properties, and the consequence relation of each system. (iv) A solution to Soeteman s dilemma in normative logic was put forward; this solution is found not in deontic logic itself, but at the level of application of norms. Internships 11/2001 Institute for Philosophy. University of Regensburg, Germany. I worked in the project Revision by Comparison. 03/2000 Institute for Philosophy. University of Regensburg, Germany. Initial work that would be the basis of a project with Prof. Dr. Hans Rott Institute for Philosophy. Uppsala University, Sweden. (from 8/1997 to 8/1998). I wrote my PhD. thesis. 01/1997 Institute for Philosophy. Uppsala University, Sweden. I worked in my Ph.D. thesis. 11/1996 Computer Science Department. Universidad Nacional del Sur. Bahía Blanca, Argentina. I met my advisor Prof. Dr. Sven Ove Hansson for the first time, during his visit to Bahía Blanca. Committees and Reviewing Activity 2002 Member of the Programme Committee: ASAI Argentinean Symposium of Artificial Intelligence Argentina Referee of 12 degree thesis. Computer Science Department. University of Buenos Aires Referee of 1 master thesis. Computer Science Department. Universidad Nacional de Sur. Bahía Blanca. Argentina Co-chair: ASAI Argentinean Symposium of Artificial Intelligence Buenos Aires, Argentina. (2001) 13

14 2000 Member of the Programme Committee: III Encuentro de Tesistas de Postgrado. Usuahia. Argentina Member of the Programme Committee: CLEI Panel Latin American Conference on Informatics. Mexico Co-chair ATIA. Workshop on Theoretical aspects of Artificial Intelligence, La Plata, Argentina Member of the Programme Committee: Workshop of Logic and Computation. Mexico Reviewer: ESSLI th European School in Logic, Language and Information. Student Session. The Netherlands Reviewer: CACIC 98. Argentinean Congress of Computer Science. Neuquén. Argentina Reviewer: Iberamia 98. IberoAmerican Congress of Artificial Intelligence. Lisbon, Portugal Member of the Programme Committee: ECI 97. School of Computer Science. Buenos Aires, Argentina Member of the Programme Committee: ATIA 97. Workshop on Theoretical aspects of Artificial Intelligence. La Plata. Argentina Reviewer: I Argentinean Congress of Computer Science. CACIC 95. Bahía Blanca. Argentina Reviewer: Brazilian Symposium of Computer Science. SBC 95. Porto Alegre. Brazil Member of the Programme Committee: ECI 95. School of Computer Science. Buenos Aires, Argentina. Invited Talks Nov 2001 Mar 2001 Belief Revision: An Introduction. Philosophy Department. University of Regensburg, Germany. Logic of Theory Change in Computer Science. Computer Science Department. Federal University of Pernambuco, Brazil. 14

15 Nov 2000 Nov 2000 Jul 1999 Mar 1999 Nov 1998 Apr 1998 Credibility Limited Functions for Theory Change. IME. University of Sao Paulo, Brazil. Tutorial: Belief Revision. From AGM to Computational Models. With Chamir Shopra and Renata Wassermann. International Joint Conference SBIA - IBERAMIA Atibaia, Brazil. Logic of Theory Change in Computer Science. Escuela de Ciencias Informáticas, Computer Science Department, University of Buenos Aires. On the notion of Credibility-Limited Functions. Philosophy Department. University of Regensburg, Germany. Artificial Intelligence and Non-Standard Logic. Argentinean Workshop of Philosophy. La Falda, Argentina. Tutorial: Irrevocable Belief Revision. Philosophy Department. University of Uppsala, Sweden. Nov 1997 Semi-Contraction. Philosophy Department. University of Uppsala, Sweden. Feb 1997 Oct 1995 Feb 1995 May 1994 May 1993 Apr 1992 Jul 1992 Applied Theory Change to Update Knowledge Bases. Philosophy Department. University of Uppsala, Sweden. Theory Change vs. Base Change in the Argentinean Society of Philosophical Analysis (SADAF), Argentina. Tutorial: Belief Revision and Non-Monotonic Logics. Computer Science Department. Federal University of Ceará, Brazil. CWR: Contraction Without Recovery, in the Argentinean Society of Philosophical Analysis (SADAF), Argentina. Mutual belief revision and its application to Knowledge base update, Computer Science Department. University of Buenos Aires, Argentina. Tutorial: A Logic for Default Reasoning. Philosophy Department. University of Buenos Aires, Argentina. Belief revision and knowledge base update, Faculty of 15

16 Sciences and Technology. Universidad Católica de Nuestra Seora de la Asunción, Paraguay. Scientific Meetings Speaker Third Augustus De Morgan Conference. Department of Computer Science, King s College, London, UK Chair Workshop on Logic and Belief Revision. Computer Science Department, University of Buenos Aires and Argentinean Society of Philosophical Analysis (SADAF), Argentina Speaker International Joint Conference. 7th Iberoamerican Conference on Artificial Intelligence. 15th Brazilian Conference on Artificial Intelligence. Atibaia, Brazil Speaker Ad-hoColloquium: Belief Change and Pragmatist Philosophy. Philosophy Department. University of Regensburg, Germany Speaker International Workshop of Logic, Language, Information and Computation, (WoLLIC 99). Itatiaia, Brazil Speaker International Workshop on Belief Revision, as part of KR98. Trento, Italy Speaker UGLLI Workshop on Belief Revision. Uppsala, Sweden Attendant Symposium on Stig Kanger Contribution to Logic and Philosophy. Uppsala, Sweden Speaker International Workshop of Logic, Language, Information and Computation, (WoLLIC 97). Fortaleza, Brazil Speaker III Workshop on Theoretical Aspects of Artificial Intelligence. San Luis - Argentina Speaker I Meeting in Non-Standard Logics. Vaquerías - Córdoba - Argentina Speaker II Workshop on Theoretical Aspects of Artificial Intelligence. Bahía Blanca - Argentina Speaker XXIV Argentinean Conference on Computer Science and Operational Research. Buenos Aires - Argentina. 16

17 1994. Chair I Workshop on Theoretical Aspects of Artificial Intelligence. Buenos Aires - Argentina Attendant XI Brazilian Symposium on Artificial Intelligence. Fortaleza - Brazil Attendant XIX Latinoamerican Conference in Computer Science. Buenos Aires - Argentina Attendant XX Argentinean Conference on Computer Science and Operational Research. Buenos Aires - Argentina. 17

18 Publications Journals Credibility-Limited Revision. Sven Ove Hansson - Eduardo Fermé - John Cantwell - Marcelo Falappa. Journal of Symbolic Logic. To appear Multiple Kernel Contraction. Eduardo Fermé - Karina Saez - Pablo Sanz. Studia Logica. Kluwer Academic Publisher. To appear Irrevocable Belief Revision and Epistemic Entrenchment. Eduardo Fermé. Logic Journal of the IGPL. 8 (5) Oxford University Press Selective Revision. Eduardo Fermé - Sven Ove Hansson. Studia Logica. Kluwer Academic Publisher. 63 (3): On the Implementation of the Belief Change Operators. Electronic Journal of Computer Science and Technology. ISTEC (Iberoamerican Science & Technology Education Consortium). Eduardo Fermé - Marcelo Falappa Semi-Contraction: Axioms and Construction. Eduardo Fermé - Ricardo Rodriguez. Notre Dame Journal of Formal Logic. University of Notre Dame. 39 (3): A brief note about the Rott Contraction. Eduardo Fermé - Ricardo Rodriguez. Logic Journal of the IGPL. Oxford University Press. 6 (6): On the Logic of Theory Change: Contraction Without Recovery. Eduardo Fermé. Journal of Logic, Language and Information. Kluwer Academic Publisher. 7 (2): Book Chapters Shielded Contraction (Invited Paper). Eduardo Fermé - Sven Ove Hansson. In H.Rott and M-A Williams eds. Frontiers in Belief Revision. Kluwer Academic Publisher. 18

19 Five Faces of Recovery. Eduardo Fermé. In H.Rott and M-A Williams eds. Frontiers in Belief Revision. Kluwer Academic Publisher A note on Prototype Revision (Invited Paper). Renata Wassermann - Eduardo Fermé. Spinning Ideas (Electronic Essays dedicated to Peter Gärdenfors on his 50th Birthday). Wlodek Rabinowicz, Nils-Eric Sahlin eds. Also as Report PP : Institute of Logic, Language and Computation, Amsterdam, Holanda Some Observations on C. Alchourrón s Theory of Defeasible Conditional. Verónica Becher - Eduardo Fermé - Sandra Lazzer - Carlos Oller - Gladys Palau - Ricardo Rodríguez. In Norms, Logics and Information Systems. New studies on Deontic Logic and Computer Science Mc. Namara P. and Prakke (eds). Ios Press. Book Reviews A Textbook of Belief Dynamics : Sven Ove Hansson. Kluwer Academic Publishers. Dordrecht, Eduardo Fermé. Erkenntnis. (To appear) 14. Book Review: An Essay of Contraction : André Fuhrmann. CSLI Publications, Studies in Logic, Language and Information. Stanford, Eduardo Fermé. Journal of Logic, Language and Information. Kluwler Academic Publisher Eds. (To appear) Refereed Conference Publications Revisando los Postulados de AGM (in Spanish). Eduardo Fermé. 2nd place II Ibero-American Thesis and Dissertations Contest in Artificial Intelligence. Proceedings International Joint Conference. 7th Iberoamerican Conference on Artificial Intelligence. 15th Brazilian Conference on Artificial Intelligence. Atibaia, Brazil. pp Extended abstract of the PhD thesis A little Note about Maxichoice and Epistemic Entrenchment. Eduardo Fermé. Proceedings Wollic99. Workshop on Logic, Language and Information, Itatiaia, Brazil. pp Construcción de funciones Semi-Contraction (in Spanish). Eduardo Fermé - Ricardo Rodriguez. Proceedings III Workshop on 19

20 Theoretical aspects of Artificial Intelligence. ATIA 96. San Luis - Argentina: Teoría de Cambio de Creencias: Relación entre las funciones de Contracción G AGM y Kernel (in Spanish). Eduardo Fermé. Proceedings II Workshop on Theoretical aspects of Artificial Intelligence. ATIA 95. Bahía Blanca - Argentina: Revisión Mutua de Creencias (in Spanish). Eduardo Fermé - Osvaldo Gonzalez. Proceedings XVIII Conferencia Latino Americana de Informática. Las Palmas de Gran Canaria, Spain Actualización de Bases de Conocimiento usando Teorías de Cambio de Creencias (in Spanish). Extended abstract of the degree thesis. Eduardo Fermé. Proceedings III Congreso Iberoamericano de Inteligencia Artificial; IBERAMIA 92. La Habana. Cuba Contracción en Bases de Conocimiento usando teoría de grafos (in Spanish). Eduardo Fermé - Osvaldo Gonzalez. Proceedings XXI JAIIO, Buenos Aires - Argentina. Thesis Revising the AGM Postulates. PhD thesis. Eduardo Fermé. University of Buenos Aires. Argentina Actualización de Bases de Conocimiento usando Teorías de Cambio de Creencias (in Spanish). Degree Thesis. Eduardo Fermé. University of Buenos Aires. Argentina Lecture Notes (In Spanish) Metodología para la resolución de problemas II. Unión de Docentes Argentinos. Metodología para la resolución de problemas I. Unión de Docentes Argentinos. Teoría de Cambio de Creencias. Artificial Intelligence Course. University of Buenos Aires. 20

21 Razonamiento Abductivo en I.A. Artificial Intelligence Course. University of Buenos Aires. Las aventuras de Juan Número. Parte II. Ciclo Básico Común. University of Buenos Aires. Published by F.U.B.A.. Las aventuras de Juan Número. Parte I. Ciclo Básico Común. University of Buenos Aires. Published by F.U.B.A.. 21

22 Industrial activities Since 1987 I have worked as a consultant in Software Engineering and Knowledge Management in the following Companies and Government Organizations: Banks: Bank of Boston, Banco de Galicia, Banco Credicoop Coop. Ldo., CityBank. Software: Umai Consultores, Sofrecom Argentina, SOFOS, Soft Center, Desarrollo de Sistemas S.A. Government: Dirección de Bienes de la Ciudad de Buenos Aires, Secretaría de Agricultura, Ganadería y Pesca, PAMI, Biblioteca del Congreso de la Nación. Universities: Facultad de Agronomía Universidad de Buenos Aires. Manufacturing: Eduardo de Dios, Comexa SRL, Asociación Braford Argentina, Técnica Nuclear Veterinaria, Griscan Iluminación, Plen SA, La Paulina S.A., Editorial Humanitas,Heregal SRL, LUCIX SRL, Kid s, ACCINSA SA., Dreyfus. 22

23 References Gabriel Baum. Computer Science Department. University of La Plata. Argentina. Sven Ove Hansson. Royal Institute of Technology. Sweden. David Clement Makinson. Department of Computer Science King s College London. UK. makinson@dcs.kcl.ac.uk Hans Rott. University of Regensburg. Germany. hans.rott@psk.uniregensburg.de Hugo Scolnik. Computer Science Department. University of Buenos Aires. Argentina. scolnik@fd.com.ar Additional References Sten Lindström. University of Umea. Sweden. sten.lindstrom@philos.umu.se Tarcisio Pequeno. Computer Science Department. Federal University of Ceará. Brazil. tarcisio@lia.ufc.br Wlodek Rabinowicz. University of Lund. Sweden. wlodek.rabinowicz@fil.lu.se Krister Segerberg. University of Uppsala. Sweden. Krister.Segerberg@filosofi.uu.se Daniel Yankelevich. Computer Science Department. University of Buenos Aires. Argentina. dyankele@pragma.com.ar 23