cv elf en - cee.uma.ptcee.uma.pt/people/faculty/eduardo.ferme/papers/cv_elf_en.pdf · non monotonic...

25
/1 Curriculum Vitae Eduardo Leopoldo Fermé 20/03/2013 Index Personal information .............................................................................................................. 2 Education ................................................................................................................................ 3 Academic Degrees .............................................................................................................. 3 Languages ........................................................................................................................... 3 Scholarships ........................................................................................................................ 3 Activities in Universities ........................................................................................................ 4 Teaching Experience .............................................................................................................. 5 Academic Positions ............................................................................................................ 5 Lecturing............................................................................................................................. 5 Supervision ......................................................................................................................... 6 PhD ................................................................................................................................. 6 M.Sc. Pre-Bologna ......................................................................................................... 7 M.Sc. Post-Bologna ........................................................................................................ 7 1 st Degree ........................................................................................................................ 7 Research Activities ................................................................................................................. 9 Participation in Research Centres ....................................................................................... 9 Research Grants .................................................................................................................. 9 as Grant Holder............................................................................................................... 9 As Senior Researcher ................................................................................................... 11 As Junior Researcher .................................................................................................... 11 Internships and short visits ............................................................................................... 12 Committees and Reviewing Activity................................................................................ 12 PhD Thesis, Academic and Research Positions and Scientific Projects ...................... 12 Academic Journals and Books...................................................................................... 13 Congress and Scientific Events .................................................................................... 14 Invited Talks and Tutorials ............................................................................................... 16 Participation in Scientific Meetings ................................................................................. 18 Publications ...................................................................................................................... 19 Edited Books/ Special Issue of Journals ....................................................................... 19 Peer-Reviewed International Journals .......................................................................... 19 Peer-Reviewed National or Regional Journals ............................................................. 20 Book Chapters .............................................................................................................. 20 Refereed Conference Publications................................................................................ 21 Thesis and Monographs ................................................................................................ 23 Lecture Notes................................................................................................................ 23 Industrial or commercial activities ....................................................................................... 23

Upload: phamtram

Post on 28-Nov-2018

217 views

Category:

Documents


0 download

TRANSCRIPT

/1

Curriculum Vitae Eduardo Leopoldo Fermé

20/03/2013

Index Personal information .............................................................................................................. 2 Education ................................................................................................................................ 3 

Academic Degrees .............................................................................................................. 3 Languages ........................................................................................................................... 3 Scholarships ........................................................................................................................ 3 

Activities in Universities ........................................................................................................ 4 Teaching Experience .............................................................................................................. 5 

Academic Positions ............................................................................................................ 5 Lecturing ............................................................................................................................. 5 Supervision ......................................................................................................................... 6 

PhD ................................................................................................................................. 6 M.Sc. Pre-Bologna ......................................................................................................... 7 M.Sc. Post-Bologna ........................................................................................................ 7 1st Degree ........................................................................................................................ 7 

Research Activities ................................................................................................................. 9 Participation in Research Centres ....................................................................................... 9 Research Grants .................................................................................................................. 9 

as Grant Holder ............................................................................................................... 9 As Senior Researcher ................................................................................................... 11 As Junior Researcher .................................................................................................... 11 

Internships and short visits ............................................................................................... 12 Committees and Reviewing Activity ................................................................................ 12 

PhD Thesis, Academic and Research Positions and Scientific Projects ...................... 12 Academic Journals and Books ...................................................................................... 13 Congress and Scientific Events .................................................................................... 14 

Invited Talks and Tutorials ............................................................................................... 16 Participation in Scientific Meetings ................................................................................. 18 Publications ...................................................................................................................... 19 

Edited Books/ Special Issue of Journals ....................................................................... 19 Peer-Reviewed International Journals .......................................................................... 19 Peer-Reviewed National or Regional Journals ............................................................. 20 Book Chapters .............................................................................................................. 20 Refereed Conference Publications................................................................................ 21 Thesis and Monographs ................................................................................................ 23 Lecture Notes ................................................................................................................ 23 

Industrial or commercial activities ....................................................................................... 23 

/2

Personal information Name Eduardo Leopoldo Fermé. Gender Male Dateandplaceofbirth

10/11/1964 Buenos Aires, Argentina.

Nationality Argentinean / Portuguese National identification numbers

17.202.659 Argentina. 15.751.544 Portugal

Passaport 17.202.659 N Argentina. // L 176.555 Portugal Address Centro de Competências das Ciências Exactas e da Engenharia.

Universidade da Madeira. Campus Universitário da Penteada 9000-390 Funchal. Madeira. Portugal Telefone + 351 291 705179. Fax + 351 291 705199.

E-mail [email protected].

Webpage http://cee.uma.pt/ferme/

Current Position Associate Professor with Aggregation Centre of Exact Sciences and Engineering (CEE). University of Madeira. Portugal Professor of Madeira Interactive Technologies Institute (M-ITI). Faculty at CMU|Portugal Masters Program in HCI.

/3

Education

Academic Degrees 2011 PhD in Philosophy.

Royal Institute of Technology (KTH), Sweden. Supervisor: John Cantwell.

2008 “Provas de Agregação” in Informatics Engineering – Branch Artificial Intelligence. University of Madeira (UMa).

1999 PhD in Computer Science (summa cum laude). University of Buenos Aires (UBA). Argentina. Supervisor Carlos E. Alchourrón (until his death in 1996) - Sven Ove Hansson. Awarded with the 2nd place in the “II Ibero-American Thesis and Dissertation Contest”. Iberamia-Sbia. São Paulo. Brazil.

1991 Licenciado en Ciencias de la Computación. Computer Science Department (DC). UBA.

Languages Understanding Speaking Writing Spanish Mother Tongue English Very Good Good Good Italian Very Good Very Good Good Portuguese Very Good Very Good Good

Scholarships 1997 – 1998 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 in Computer Science.

1996 – 1999 Awarded a research fellowship from the International Bank for Reconstruction and Development (IBRD). This fellowship supported my PhD studies in Computer Science.

1994 – 1995 This fellowship supports my research activities in the DC, UBA.

/4

Activities in Universities (in bold the most relevant) From 2012 Course Director. 1st Degree in Informatics Engineering. UMa. 2010-2011 Head of Scientific Council M-ITI 2010-2011 Course Director. Master in Informatics Engineering. UMa 2009-2011 Member of the Scientific Council CEE-UMa. 2009-2011 Member of the Pedagogic Council CEE-UMa 2009-2011 Member of the Assembly CEE-UMa. 2008 – 2009 Head of Department. Mathematics and Engineering Department

(DME) - UMa. 2007 – 2009 Member of Course Council – 1st Degree in Informatics Education -

UMa. 2007 – 2008 Course Director. 1st Degree in Informatics Engineering. UMa. 2006 – 2008 Senator (representing DME-PhDs) - UMa. 2006 – 2007 Coordinator of the task force responsible for the adequacy to

Bologna Process of the 1st Degree in Informatics Education and 1st Degree in Mathematics Education. UMa.

2006 – 2007 Member of Course Council. 1st Degree in Mathematics. UMa. 2004 – 2007 Member of Course Council. Master in Informatics Engineering.

UMa. 2002 – 2007 Member of Course Council. 1st Degree in Informatics Engineering.

UMa. 2002 – 2007 Course Director. 1st Degree in Informatics Education. UMa. 2002 – 2009 Member of Scientific Council. DME. UMa. 2002-2004 and 2006 – 2007

Member of Course Council. 1st Degree in Telecommunication and Network Engineering. UMa.

1995 – 2000 Member of the Departmental Council (CoDep) CD-UBA 1996 – 1997 Member of the council responsible for revising the Computer

Science curricula of UBA.

/5

Teaching Experience

Academic Positions From 2005 Associate Professor with Aggregation.

CEE (from 2009) (2008-2009 DME) UMa. 2005 – 2008 Associate Professor. DME - UMa. 2002 – 2005 Assistant Professor. DME - UMa. 1997 – 2002 Assistant Professor. DC. UBA. 1991 – 1997 Teaching Assistant (Jefe de Trabajos Practicos). DC. UBA. 1991 – 1995 Teachhing Assistant (Ayudante de Primera). DC. UBA. 1985 – 1987 Student teaching assistant (Ayudante de Segunda). CBC. UBA.

Lecturing At UMa Pre-Bolonha Master Project Management and Decision-Making Master in Strategic Management and Tourism Development. Department of Economics – UMa.

2006/2007 2nd term

Requirement Engineering and Software Project Management. Master in Informatics Engineering. DME-UMa.

2004/2005 2nd term.

1st Degree Logic and Reasoning 2nd term, 2007/2008, 2008/2009,

2009/2010, 2010/2011, 2011/2012. Artificial Intelligence 1st term, 2008/2009, 2009/2010,

2010/2011, 2011/2012, 2012/2013. 2nd term 2003/2004, 2004/2005, 2005/2006, 2006/2007, 2007/2008.

Logic / Computational Logic 1st term 2002/2003, 2003/2004, 2004/2005, 2005/2006, 2006/2007, 2007/2008

Computability and Complexity 1st term 2002/2003, 2003/2004, 2004/2005, 2005/2006.

Requirement Engineering 2nd term 2003/2004, 2004/2005, 2005/2006.

Deontology 2002/2003 2nd term

/6

At UBA 1st Degree Software Engineering II (Software Project Management)

4 times as Assistant Professor

Algorithms and Data Structures 3 times as Assistant Professor Artificial Intelligence 5 times as Teaching Assistant Graduate Belief Revision 4 times as Assistant Professor

5 times as Teaching Assistant Non Monotonic Logic 2 times as Assistant Professor. Conditional Logic 1 time as Assistant Professor Knowledge Bases Update 3 times as Teaching Assistant

Supervision

PhD 2011 Mauricio Duarte Luis Reis.

Title: On Theory Multiple Contraction. PhD in Mathematics – Branch Logic and Computer Science. CEE-UMa

Ongoing (jointly oriented with Sven Ove Hansson) Rui Correia Title: TBD Royal Institute of Technology (KTH), Sweden.

Ongoing (jointly oriented with Elsa Fernandes) Rui Duarte Fernandes Brás. PhD in Informatics Engineering – Branch Artificial Intelligence. CEE - UMa. Topic: Representation and modelling of knowledge, activities and relations in communities of practices.

Ongoing (jointly oriented with Elsa Fernandes) Elci Alcione dos Santos. PhD in Mathematics Education CEE - UMa. Topic: The use of Robots in collaborative learning in a web environment.

/7

M.Sc. Pre-Bologna 2008 Luís Alberto da Silva Gaspar.

"Os robots nas aulas de informática: Plataformas e problemas". Master in Informatics Engineering. DME – UMa.

2007 (jointly oriented with Elsa Fernandes) Rui Miguel Novais Oliveira. Title: “A robótica na aprendizagem da matemática: Um estudo com alunos de 8º ano de escolaridade”. Master in Mathematics Education. DME – UMa.

2006 (jointly oriented with Elsa Fernandes) Rui Duarte Fernandes Brás. Title: “ Gestão de Conhecimento e Comunidades de Prática: Aplicações no Contexto Escolar”. Master in Informatics Engineering. DME – UMa.

M.Sc. Post-Bologna 2012 Paulo Jorge de Abreu

Title: “Gestão de Projectos: Motivação, Projectos e Análise”. CCCEE – UMa.

2012 Raúl Duarte Nóbrega Andrade Title: “Criação de uma Estação de Testes para um Micro-Helicóptero Autónomo”. CCCEE – UMa.

2012 Cláudio Rodrigo Santos Gonçalves Title: “Argumentative Systems in Robots”. CCCEE – UMa.

2012 Marco Miguel de Olival Olim Title: “ Design e Gestão de Sistemas, Robótica, Redes e Médias Interactivos”. CCCEE – UMa.

2012 António Paulo Dias Pestana Tittle: “Dados, Informação, Conhecimento, Ensino de Programação, a Inteligência Empresarial e as suas Motivações”. CCCEE – UMa.

2008 Octavia Figueira. Title: “DROIDE M.L.P.: potencializando a plataforma” Master in Informatics Engineering. DME – UMa.

2008 Hélder Pestana. Title: “DROIDE M.L.P: nxt software development kit.” Master in Informatics Engineering. DME – UMa.

1st Degree University of Madeira (projects) 2006/2007 Graciete Sofia Freitas Tavares - Carlos Herberto Aleixo Reis.

/8

Title: “UMa – C&T”. 1st Degree in Informatics Engineering. DME – UMa.

2005/2006 Luís Manuel Gomes Dias - Milton Alex Pestana Abreu. Title: “Aplicação Web gestora de processo de formação da DTIM”. 1st Degree in Informatics Engineering - DME – UMa.

2005/2006 Cláudio César Gouveia – Pedro Ítalo Rolim de Freitas Mala. Title: “Análise e Gestão de Projecto do Sistema de Gestão Bibliotecária da Uma” 1st Degree in Informatics Engineering. DME – UMa.

2004/2005 Susana Figueira. Title: “Análise e Especificação de Requisitos para o sistema Mapa Interactivo do Funchal”. 1st Degree in Telecommunications and Networks - DME – UMa.

University of Buenos Aires (Thesis) 2002 Martín Krevneris.

Title: “Axiomática para Ensconcement”. DC - UBA.

2001 Liliana Cabanelas Ramos. Title: “Implementación de Multiple Kernel Contraction”. DC. UBA.

2001 Pablo Sanz, Karina Saez. Title: “Multiple Kernel Contraction”. DC - UBA.

2001 Juan Mikalef, Jorge Taboada. Title: “Credibility-Limited Functions for Belief Bases”. DC - UBA.

2000 Lionel Rossi, Marcelo Viegas. Title: “Combining Data Mining and Belief Revision”. DC - UBA.

/9

Research Activities

Participation in Research Centres From 2012 Member of Centre for Artificial Intelligence

(CENTRIA). New University of Lisbon. 2010-2012 Member of Madeira Interactive Technologies Institute

(M-ITI) – UMa. 2007-2010 Member of “Centro de Ciências Matemáticas” - UMa.

Fundação da Ciência e Tecnología (FCT) – research centre.

2003- 2006 Member of LABMAG (Laboratory of Agent Modelling ) Centro de Investigação da Faculdade de Ciências. Lisbon University. FCT research centre.

From 2001 Collaborator of LIAMF ( Laboratory of Logics, Artificial Intelligence and Formal Methods). Computer Science Department. University of São Paulo (USP/SP).

Research Grants

as Grant Holder [2010-2011] Implementation of Belief Revision Algorithms

Sponsors: Argentinean-Portuguese project. Secretaría de Ciencia, Tecnología, e Innovación Productiva. Gobierno de Argentina. Ministério da Ciência e do Ensino Superior. Governo de Portugal. Argentinean Co-Chair: Ricardo Rodríguez. Abstract: We propose to develop algorithms aimed to perform belief change in resource bounded agents. In order to do that, we must first try to answer the following research questions: 1. “Which of the constructive models is more suitable for implementations?” 2. “How can the models proposed in the 1980’s be evaluated at the light of the AGM theory? Which properties can we rescue/reuse?” 3. How can we move (back) from the knowledge level to the symbolic level? How can we define the metrics to evaluate the different algorithms?

[2010] Improvement belief change operators with limits of credibility

Sponsors: French-Portuguese project. CNRS–France‐ Ministério da Ciência e do Ensino Superior. Governo de Portugal.French Co-Chair: SébastienKonieczny Abstract: The purpose of the project is defining a new model of belief revision called “improvement operator with a limit of credibility”. This operator will be work

/10

in the following way: Every time than an rational agent receives a new information (typically a formula) this formula will gain in plausibility in the epistemic state of the agent. And if the agent receives the same new information many times, such that reach the status of a credible sentence, then he will finally believe it. This operator will combine two previous models proposed in the literature: Credibility-Limited functions, proposed by (Hansson, Fermé, Cantwell and Falappa 2001), by (Fermé and Hansson 2001) and by (Fermé, Mikalef and Taboada 2003) and Improvement Operators, proposed by (Konieczny and Pino Perez 2009).

[2008/2009] Knowledge Dynamics in Cognitive Agents

Sponsors: Argentinean-Portuguese project. Secretaría de Ciencia, Tecnología, e Innovación Productiva. Gobierno de Argentina. Ministério da Ciência e do Ensino Superior. Governo de Portugal. Argentinean Co-Chair: Marcelo Falappa. Abstract: The project proposes a Logical axiomatisation for belief bases functions (like Levi contraction, Semi-Contraction), how to extend the results for belief bases of partial meet contraction and kernel contraction for supplementary postulates and how to elucidate the relation among different kinds of supplementary postulates for belief bases.

DROIDE: Robots in Mathematics and Informatics Education. [2005/2008]

Chairs: Eduardo Fermé - Elsa Fernandes. Sponsors: DME - UMa and Secretaria Regional de Educação da Madeira. Abstract: The project proposes to create problems in Mathematics Education/Informatics areas to be solved through robots; to implement problem solving using robotics in three kinds of classrooms: mathematics classes at K-9 and K-12 levels; Informatics in K-12 levels; Artificial Intelligence, Didactics of Mathematics and Didactics of Computer Science/Informatics subjects at high level; to analyze students’ activity.

Relation between Deontic Logics and Belief Revision [2003/2004]

Sponsors: Argentinean-Portuguese project. Secretaría de Ciencia, Tecnología, e Innovación Productiva. Gobierno de Argentina. Ministério da Ciência e do Ensino Superior. Governo de Portugal. Argentinean Co-Chair: Ricardo Rodríguez. Abstract: The main topic of research of this project is the definition of logical formalisms to supporting the specification and reasoning of normative concepts, which are basic not only to representing laws, but also in the area of the specification of agents and organizations.

/11

Revision by Comparison [2001 – 2002]

Sponsor: Argentinean-German project. Fundación Antorchas - Deutscher Akademischer Austauschdienst. German Co-Chair: Hans Rott. Abstract: 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 [2001 – 2002]

Sponsor: Argentinean-Brazilian project. Fundación Antorchas - Vitae. Brazilian Co-Chair: 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.

As Senior Researcher DROIDE II - Robots in Mathematics and Informatics Education. [2010 - 2013]

Sponsor: Fundação da Ciência e Tecnología (FCT) Chair: Elsa Fernandes

Normativity and Non Monotonicity. [2001 – 2002]. 2ª part of Logical Consequence Notions of non Standard and Conditional Logics. [1998 – 2000]

Sponsors: Secretaria de Ciencia y Técnica. UBA. Argentina. Argentinean Chair: Gladys Palau.

Alfa Project: “Tools for Teaching” [1997 – 2000]

Sponsors: Alfa Project. European Community. Chair: Mara Manzano, Salamanca University, Spain. Argentinean Chair: Gladys Palau.

As Junior Researcher

/12

Change Theory and Conditional Theory [1995 – 1997]

Sponsors: Secretaria de Ciencia y Técnica. UBA. Argentina. Chairs: Carlos Alchourrón - Gladys Palau.

Internships and short visits 11/2012 (5 days) Computer Science and Communication Lab, University

of Luxembourg 2/2011 (15 days) Division of Philosophy, Royal Institute of

Technology (KTH), Stockholm. Sweden 8/2011 (1 month) 7/2010 (1 month)

Computer Science Department, UBA. Argentina.

9/2010 (15 days) Faculté des Sciences. Université d'Artois, Lens – France.

07/2008 (1 month) 11/2009 (1 month)

Computer Science Department. Universidade Nacional del Sur. Bahía Blanca, Argentina.

09/2007 (10 days) Human-Computer Interaction Institute - Carnegie Mellon University, USA.

11/2006 (10 days) Computer Science Department. Mahasarakam University, Thailandia.

11/2004 (1 month) 11/2003 (1 month)

Computer Science Department, UBA. Argentina

04/2002 (15 days) 08/2002 (15 days)

Instituto de Matemática e Estatística (IME) University of São Paulo. Brazil.

2/2002 (15 days) 11/2001 (1 month) 03/2000 (1 month)

Philosophy Department. University of Regensburg, Germany.

1997 – 1998 (1 year) Philosophy Department. Uppsala University, Sweden. 01/1997 (1 month) Philosophy Department. Uppsala University, Sweden. 11/1996 (15 days) Computer Science Department. Universidade Nacional

del Sur. Bahía Blanca, Argentina.

Committees and Reviewing Activity

PhD Thesis, Academic and Research Positions and Scientific Projects (I exclude Master Thesis or 1st Degree Thesis Committees) 2012 PhD Thesis. “On the Formal Verication of Specications based on

Typestates with Access Permissions”. Universidade da Madeira. 2012 Phd Thesis. Martin Slota. "Updates of Hybrid Knowledge Bases".

Faculdade de Ciências e Tecnologia. Universidade Nova de Lisboa. 2011 Phd Thesis. Luciano Tarmargo. “Dinámica de Conocimiento en

Sistemas Multi-Agentes: Plausibilidad, Revisión de Creencias y Retransmición de Información”

/13

Dept. of Computer Science and Engineering, Universidad Nacional del Sur. Argentina.

2010 Referee for the Program STIC AmSud (cooperation projects between France and South America)

2007 Phd Thesis. Diego César Martínez:“Sistemas Argumentativos Abstractos Extendidos” Dept.ofComputerScienceandEngineering,UniversidadNacionaldelSur.Argentina.

2005 Referee candidature Reseach Career. CONICET (Comision Nacional de Investigaciones Cientificas y Técnicas). Argentina.

2004 Evaluator of Research Project Proposals. Computer Science Area. Secretaria de Ciencia y Técnica. Gobierno de Argentina.

2003 Phd Thesis. Marcela Capobianco. “Argumentación rebatible en entornos dinâmicos” Dept.ofComputerScienceandEngineering,UniversidadNacionaldelSur.Argentina.

1995 – 2002 Member of the Evaluator Committee for Academic Position DC-UBA. Argentina Profesor Adjunto Interino área Ingeniería de Software: Agosto 2002. Jefe de Trabajos Prácticos área Ingeniería de Software: 4 times Jefe de Trabajos Prácticos área Métodos No Numéricos: 3 times Ayudante de Segunda área Métodos No Numéricos: 3 times Ayudante de Primera área Métodos No Numéricos: 2 times

Academic Journals and Books 2012 Referee British Journal for the Philosophy of Science. Oxford

University Press. 2012 Referee Journal of Artificial Intelligence Research (JAIR), AAAI

Press. 2012 Referee Journal: “Annals of Mathematics and Artificial

Intelligence”. Springer 2012 Referee Journal: “Review of Symbolic Logic”. Cambridge

University Press. 2012 Referee Journal: “Studia Logica”. Springer. 2012 Referee: “Journal of Philosophical Logic”. Springer. 2011 Referee Journal: “Artificial Intelligence”. Elsevier 2011 Referee: “Journal of Philosophical Logic”. Springer. 2010 Referee: “Journal of Philosophical Logic”. Springer. 2009 Referee: Journal: “Synthese”. Springer. 2009 Referee of the book "The Many Sides of Logic". Editors: W. A.

Carnielli, M. E. Coniglio, I. M. Loffredo D' Ottaviano. Series "Studies in Logic", College Publications, London. ISBN number:

/14

978-1-904987-78-9. 2009 Referee Journal: “Diánoia. Revista de Filosofía”. Instituto de

Investigaciones Filosóficas - UNAM. 2008 Referee Journal: “Artificial Intelligence”. Elsevier. 2008 Referee of the Book “Preference Change: Approaches from

philosophy, economics and psychology” Sven Ove Hansson and Till Grune-yanoff Editors. Theory and Decision Library. Springer.

2007 Referee Journal: “Theoria”. 2007 Referee Journal: “Information and Computation”. Elsevier 2007 Referee Journal: “Studia Logica”. Kluwer Academic Publisher. 2004 Referee Journal: “Studia Logica”. Kluwer Academic Publisher. 2002 Referee: “Rasta02Book”. Livro de artigos seleccionados do

“International Workshop on Regulated AgentBased Social Systems: Theories and Applications”. Bologna, Italy..

2001 Referee journal: “Computación y Sistemas. Revista Iberoamericana de Computación”. México.

Congress and Scientific Events 2013 Program Committee Member: CLTM-2013. XX Latin American

Contest of Master Thesis () as part of CLEI 2013, XXXIX Latin American Conference on Computation. Naiguatá, Venezuela.

2013 Program Committee Member: IJCAI 2013. Twenty-Third International Joint Conference on Artificial Intelligence. Beijing, China.

2013 Program Committee Member: NRAC-2013 - Nonmonotonic Reasoning, Action and Change. Beijing, China.

2013 Program Committee Member: XX Master Thesis Latin American Contest (CLTM-2013)- CLEI 2013 : XXXIX Latin American computing conference, Venezuela.

2012 Referee: LFCS 2013. Symposium on Logical Foundations of Computer Science. San Diego, California.

2012 Program Committee Member: ECAI 2012 Workshop on Belief Revision, Non-monotonic Reasoning, and Conflict resolution. Montpellier, France.

2012 Chair (with Guillermo Simari) of 1st Workshop in Belief Revision and Argumentation, Madeira, Portugal.

2012 Area Chair- Knowledge Representation and Reasoning (with Guillermo Simari) of 13th Ibero‐AmericanConferenceonArtificialIntelligence(Iberamia 2012), Cartagena de Indias, Colombia.

2011 Program Committee Member: IJCAI 2011. Twenty-Second International Joint Conference on Artificial Intelligence. Barcelona, Spain.

2011 Program Committee Member: Nonmonotonic Reasoning, Action,

/15

and Change (NRAC-11). Barcelona, Spain. 2011 Program Committee Member: Simpósio Doutoral em Inteligência

Artificial (SDIA 2011). Lisbon, Portugal. 2010 Program Committee Member: XXXVI CLEI 2010 (Latin American

Conference on Informatics), Asunción, Paraguay. 2009 Program Committee Member: “Relational approaches to knowledge

representation and learning” Workshop at 32nd Annual Conference on Artificial Intelligence, Paderborn, Germany.

2008 Program Committee Member: "Action and Belief Change: International Workshop on Non-Monotonic Reasoning (NMR-08”), Sydney, Australia.

2008 Referee“Ninth International Conference on Deontic Logic in Computer Science (DEON'08)”, Luxembourg.

2007 Referee “The Twenty-Second AAAI Conference on Artificial Intelligence”. Vancouver, British Columbia, Canada

2007 Program Committee Member: “ASAI 2007 (Simposio Argentino de Inteligencia Artificial)”. Argentina

2006 Program Committee Member: “IBERAMIA/SBIA: Ibero-American AI Conference- Brazilian AI Symposium) Ribeirão Preto (SP), Brazil.

2005 Referee: “Asse 2005 - Sixth Argentine Symposium On Software Engineering”. Rosario, Argentina.

2005 Program Committee Member : “ASAI 2005 (Simposio Argentino de Inteligencia Artificial)”. Argentina

2003 Referee: “ECAI 04. 16th European Conference on Artificial Intelligence”. Valência, Spain.

2003 Referee: “IJCAI 03. Eighteenth International Joint Conference on Artificial Intelligence”. Acapulco, México.

2002 Program Committee Member: “CACIC 2002. Argentinean Congress of Computer Science”. Buenos Aires, Argentina.

2002 Referee: “II CMSRA. Computational models of scientific reasoning and applications”. Las Vegas, USA

2002 Referee: “CISCI 2002. Conferencia Iberoamericana en Sistemas, Cibernética e Informática”. Orlando, USA.

2002 Program Committee Member: “ASAI 2002. Argentinean Symposium of Artificial Intelligence” Argentina.

2001 Chair (with Alejandro Cecatto): “ASAI 2001. Argentinean Symposium of Artificial Intelligence” Buenos Aires, Argentina.

2001 Referee: “CLEI 2001. Latin American Conference on Informatics”. Venezuela.

2001 Referee: “International Workshop Computational Models Of Scientific Reasoning And Applications (Cmsra-2001)”Las Vegas, Nevada, USA.

2000 Program Committee Member: “III Encuentro de Tesistas de Postgrado”. Usuahia. Argentina.

2000 Program Committee Member: “CLEI Panel 2000. Latin American

/16

Conference on Informatics”. Mexico. 2000 Co-Chair “ATIA. Workshop on Theoretical aspects of Artificial

Intelligence”, La Plata, Argentina. 1999 Program Committee Member: Workshop of Logic and

Computation. Mexico. 1998 Referee: “ESSLI’98. 10th European School in Logic, Language

and Information”. Student Session. Neederland. 1998 Referee: CACIC 98. Argentinean Congress of Computer Science.

Neuquén. Argentina. 1998 Referee: “Iberamia 98. IberoAmerican Congress of Artificial

ntelligence”. Lisbon, Portugal. 1997 Program Committee Member: “ECI’ 97. School of Computer

Science”. Buenos Aires, Argentina. 1997 Program Committee Member: “ATIA’97. Workshop on Theoretical

aspects of Artificial Intelligence”. La Plata. Argentina. 1995 Referee: “I Argentinean Congress of Computer Science”.

CACIC’95. Bahía Blanca. Argentina. 1995 Referee: “Brazilian Symposium of Computer Science. SBC’95”.

Porto Alegre. Brazil. 1995 Program Committee Member: “ECI’ 95. School of Computer

Science”. Buenos Aires, Argentina.

Invited Talks and Tutorials 08/2013 “Belief Revision: From 1985 to 2013”. 4 hs Tutorial.

23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). Beijing, China.

11/2012 “AGM-25 years”.ComputerScienceandCommunicationLab,University of Luxembourg

09/2012 “AGM-25 years”. Faculdade de Ciências e Tecnologia. Universidade Nova de Lisboa.

09/2012 “O fascinio pelos Robots”. Seminar: “Os robots na educação matemática e informática” Universidade da Madeira

05/2011 “Cognitive Robotic”. Invited talk for the course Cognitive Psychology II. UMa, Madeira. Portugal

05/2011 “Será que posso construir um Robot Inteligente?” Escola Básica dos 2º e 3º Ciclos do Estreito de Câmara de Lobos, Madeira. Portugal

09/2010 “Robots in Mathematics and Informatics Education” Faculté des Sciences. Université d'Artois, Lens - France

05/2010 “Raciocínio e Dinâmica de Conhecimento em Robots”. Conferência comemorativa do 58º aniversário da Força Aérea Portuguesa, UMa, Madeira. Portugal.

07/ 2008 3 days Tutorial: “Tópicos avanzados en revisión de creencias”. Universidad Nacional del Sur, Bahía Blanca, Argentina.

/17

07/ 2008 “Si para hacer aceite de oliva preciso aceitunas, qué preciso para hacer aceite de bebé?” Pragma Consultores. Buenos Aires, Argentina.

12/2006 “Robots for teaching Mathematics and Informatics”. Mahasarakham University, Thailand.

11/2006 “Os Robots no Ensino”. (with Elsa Fernandes). Escola de Segundo Ciclo Santana, Madeira, Portugal.

06/2006 “Se a Lógica não serve para nada, porque é que sou professor de Lógica?”. Escola Básica e Secundária Padre Manuel Álvares. Madeira. Portugal

02/2005 “Ethics Codes in Informatics Engineering”. (with Ana Isabel Cardoso). UMa, Portugal.

09/ 2004 “From AGM to ...”, Sciences Faculty, University of Lisbon, Portugal.

08/2002 “Revisão de crenças, uma perspectiva histórica. ”. IME. São Paulo University, Brazil.

07/ 2002 “From AGM to ...”, University of Birmingham, UK. 11/2001 “Belief Revision: An Introduction”. Philosophy Department.

University of Regensburg, Germany. 03/2001 “Belief Revision in Computer Science” Universidade Federal de

Pernambuco, Brazil. 11/2000 “Credibility Limited Functions for Theory Change”. IME. São Paulo

University, Brazil. 11/2000 Tutorial: “Belief Revision. From AGM to Computational Models”.

(with Chamir Shopra and Renata Wassermann). “International Joint Conference SBIA IBERAMIA 2000”. Atibaia, Brazil.

03/2000 “On the notion of Credibility-Limited Functions”. Philosophy Department. University of Regensburg, Germany.

07/ 1999 “Belief Revision in Computer Science”. Escuela de Ciencias Informáticas, DC- UBA. Argentina

11/1998 “Artificial Intelligence and Non Standard Logic”. Argentinean Workshop of Philosophy. La Falda, Argentina.

04/1998 Tutorial: “Irrevocable Belief Revision”. Philosophy Department- Uppsala University, Sweden

11/1997 ”Semi-Contraction”. Philosophy Department- Uppsala University, Sweden.

02/1997 ”Applied Theory Change to Update Knowledge Bases”. Philosophy Department- Uppsala University, Sweden.

10/ 1995 “Theory Change vs. Base Change” Sociedad Argentina de Analisis Filosófico. (SADAF), Argentina.

02/1995 Tutorial: “Belief Revision and NonMonotonic Logics”. Departamento de Ciências da Computação. Universidade Federal do Ceará, Brazil.

05/1994 “CWR: Contraction Without Recovery”, Sociedad Argentina de Analisis Filosófico. (SADAF), Argentina.

05/ 1993 “Mutual belief revision and its application to Knowledge

/18

base update”, DC-UBA. Argentina. 07/ 1992 “Belief revision and knowledge base update”, Faculdad de

Ciências. Universidad Católica de Nuestra Señora de la Asunción, Paraguay.

04/1992 Tutorial: “A Logic for Default Reasoning”. Philosophy Department. UBA, Argentina.

Participation in Scientific Meetings 2012. Speaker Foundations and Challenges of Change and Evolution in

Ontologies. Dagstuhl, Germany. 2012. Speaker KR-2012. 13th International Conference on Principles of

Knowledge Representation and Reasoning. Rome, Italy. 2012. Chair (with G. Simari)

1st Workshop in Belief Revision and Argumentation, Madeira, Portugal.

2011. Speaker Stockholm Workshop on Belief Revision and Logic. Stockholm, Sweden.

2009. Speaker Information processing, rational belief change and social interaction. Dagstuhl, Germany.

2008. Attendant IBERAMIA 2008, 11th Ibero-American Conference on AI, Lisbon, Portugal,

2007. Speaker Artificial Intelligence in Education Workshop. Cambridge UK 2007. Speaker Formal Models of Belief Change in Rational Agents. Dagstuhl,

Germany. 2007. Speaker V Conferência Internacional de Tecnologias de Informação e

Comunicação na Educação, Challenges 2007. Braga, Portugal. 2006. Speaker ICMI 17 Study Conference. Hanoi University of Technology.

Vietnam 2006. Speaker Eleventh International Workshop on Non-Monotonic Reasoning.

Lake District area, UK. 2005. Speaker Belief Change in Rational Agents: Perspectives from Artificial

Intelligence, Philosophy, and Economics. Dagstuhl, Germany. 2004. Co-Chair Organizing Committee

Seventh International Workshop on Deontic Logic in Computer Science. DEON’04. Madeira Island, Portugal.

2001. Speaker Third Augustus De Morgan Conference. Department of Computer Science, King’s College, London, UK.

2001. Chair Workshop on Logic and Belief Revision. CD - UBA and Argen-tinean Society of Philosophical Analysis (SADAF), Argentina.

2000. Speaker International Joint Conference. 7th Ibero-American Conference on Artificial Intelligence. 15th Brazilian Conference on Artificial Intelligence. Atibaia, Brazil.

2000. Speaker AdhoColloquium: Belief Change and Pragmatist Philosophy. Philosophy Department. University of Regensburg, Germany.

1999. Speaker International Workshop of Logic, Language, Information and

/19

Computation, (WoLLIC 99). Itatiaia, Brazil. 1998. Speaker International Workshop on Belief Revision, as part of KR98.

Trento, Italy. 1998. Speaker UGLLI Workshop on Belief Revision. Uppsala, Sweden. 1997. Attendant Symposium on Stig Kanger Contribution to Logic and Philosophy.

Uppsala, Sweden. 1997. Speaker International Workshop of Logic, Language, Information and

Computation, (WoLLIC 97). Fortaleza, Brazil. 1996. Speaker III Workshop on Theoretical Aspects of Artificial Intelligence.

San Luis, Argentina. 1996. Speaker I Meeting in Nonstandard Logics. Vaquerías, Córdoba, Argentina. 1995. Speaker II Workshop on Theoretical Aspects of Artificial Intelligence.

Bahía Blanca, Argentina. 1995. Speaker XXIV Argentinean Conference on Computer Science and

Operational Research. Buenos Aires, Argentina. 1994. Chair I Workshop on Theoretical Aspects of Artificial Intelligence.

Buenos Aires, Argentina. 1994. Attendant XI Brazilian Symposium on Artificial Intelligence. Fortaleza,

Brazil. 1993. Attendant XIX Latin-American Conference in Computer Science. Buenos

Aires, Argentina. 1991. Attendant XX Argentinean Conference on Computer Science and

Operational Research. Buenos Aires, Argentina.

Publications

Edited Books/ Special Issue of Journals 1. 201* “Trends in Belief Revision and Argumentation Dynamics” Eduardo Fermé,

Dov Gabbay and Guillermo Simari (Eds). College Publications. Studies in Logic (Logic & Cognitive Systems). In preparation.

2. 2011. "Special Issue on 25 Years of AGM Theory” - Guest Edited by Eduardo Fermé and Sven Ove Hansson. Journal of Philosophical Logic Volume 40, (2).

a. 2011 “Editorial Introduction—25 Years of AGM Theory”. Eduardo Fermé and Sven Ove Hansson. Guest Editor Introduction. Journal of Philosophical Logic 40, (2) : 113-114.

Peer-Reviewed International Journals

1. 201* “Epistemic Entrenchment-based Multiple Contractions”. Eduardo Fermé and Maurıcio D. L. Reis. To appear Review of Symbolic Logic.

2. 2012 “Possible world semantics for partial meet multiple contractions”. Maurıcio D. L. Reis and Eduardo Fermé. Journal of Philosophical Logic 41, (1) : 7-28.

3. 2012 System of spheres-based multiple contractions. Eduardo Fermé and Maurıcio D. L. Reis. Journal of Philosophical Logic 41, (1) : 29-52.

/20

4. 2011 “AGM 25 Years: Twenty-Five Years of Research in Belief Change” Eduardo Fermé and Sven Ove Hansson. Journal of Philosophical Logic 40, (2) : 295-331.

5. 2008 “An axiomatic characterization of ensconcement-based contraction”. Eduardo Fermé - Martín Krevneris – Maurício Reis. Journal of Logic and Computation. 18(5):739-753.

6. 2006 “DFT and Belief Revision”. Eduardo Fermé, Ricardo Rodriguez. Análisis Filosófico. Vol XXVI (2) pp 373-393.

7. 2004. “Revision by Comparison”. Eduardo Fermé, Hans Rott. Artificial Intelligence. Elsevier Publisher. 157 pp 5 -- 47.

8. 2003. “Multiple Kernel Contraction”. Eduardo Fermé, Karina Saez, Pablo Sanz. Studia Logica. Kluwer Academic Publisher. 73 (2) pp 183-195.

9. 2003. “Credibility-Limited Functions for Belief Bases. Eduardo Fermé, Juan Mikalef, Jorge Taboada”. Journal of Logic and Computation. 13 (1), pp. 101 — 112.

10. 2001. “Credibility-Limited Revision”. Sven Ove Hansson, Eduardo Fermé, John Cantwell, Marcelo Falappa. Journal of Symbolic Logic 66 (4) pp: 1581-1596.

11. 2000. “Irrevocable Belief Revision and Epistemic Entrenchment”. Eduardo Fermé. Logic Journal of the IGPL. 8 (5). 645-652. Oxford Universidade Press.

12. 2000. “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.

13. 1999. “Selective Revision”. Eduardo Fermé, Sven Ove Hansson. Studia Logica. Kluwer Academic Publisher. 63 (3):331-342.

14. 1998. “Semi-Contraction: Axioms and Construction”. Eduardo Fermé, Ricardo Rodriguez. Notre Dame Journal of Formal Logic. Universidade of Notre Dame. 39 (3): 332-345.

15. 1998. “A brief note about the Rott Contraction”. Eduardo Fermé, Ricardo Rodriguez. Logic Journal of the IGPL. Oxford Universidade Press. 6 (6): 835–842.

16. 1998. “On the Logic of Theory Change: Contraction Without Recovery”. Eduardo Fermé. Journal of Logic, Language and Information. Kluwer Academic Publisher. 7 (2): 127-137.

Peer-Reviewed National or Regional Journals

17. 2008“Proporcionalidade directa como função: Da perfeição à realidade a bordo de um robot” (in Portuguese). Rui Oliveira - Elsa Fernandes - Eduardo Fermé. Quadrante. Lisbon: Associação de Professores de Matemática.

18. 2007 "Revisión de Creencias" (in Spanish). Eduardo Fermé, Revista Iberoamericana de Inteligencia Artificial 11 (34) pp 17-39.

Book Chapters

19. 2010. “Formal Epistemology and Logic” Horácio Arló Costa, Eduardo Fermé. A Companion to Latin American Philosophy. In Susana Nuccetelli, Ofelia Schutte and Otavio Bueno (Editors). Balckwell Comoanio to Philosophy. Publisher: John Wiley. 482-495.

/21

20. 2008 “Viajando com Robots na Aula de Matemática” (in Portuguese). Elsa Fernandes, Eduardo Fermé, Rui Oliveira. In P. Dias e A.J. Osório (Coord), Ambientes Educativos Emergentes. Centro Competência. Universidade do Minho, Campus Gualtar. Braga. (ISBN: 978-972-98456-2-8), pp 11-34.

21. 2006 “On the Logic of Theory Change: Relations between Incision and Selection Functions”. M. A. Falappa, E. L. Fermé & G. Kern-Isberner. Frontiers in Artificial Intelligence and Applications, (ISBN 978-1-58603-642-3). G. Brewka (Editor), S. Coradeschi (Editor), A. Perini (Editor) & P. Traverso (Editor), IOS Press. 141: 402-406. Proceeding of ECAI 17 (17th European Conference on Artificial Intelligence)

22. 2001. “Shielded Contraction” (Invited Paper). Eduardo Fermé, Sven Ove Hansson. In H.Rott and MA Williams eds. Frontiers in Belief Revision. Kluwer Academic Publisher.

23. 2001. “Five Faces of Recovery”. Eduardo Fermé. In H.Rott and MA Williams eds. Frontiers in Belief Revision. Kluwer Academic Publisher.

24. 1999. “A note on Prototype Revision” (Invited Paper). Renata Wassermann, Eduardo Fermé. “Spinning Ideas” (Electronic Essays dedicated to Peter Gardenfors on his 50th Birthday). In Wlodek Rabinowicz, NilsEric Sahlin eds. http://lucs.lu.se/spinning..

25. 1999. “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. 219–230. Mc. Namara P. and Prakke (eds). Ios Press.

Refereed Conference Publications

26. 2012. “Credibility Limited Revision Operators in Propositional Logic”. Richard Booth, Eduardo Fermé, Sébastien Konieczny, and Ramón Pino Pérez. To appear Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning, (KR'12), Rome.

27. 2009 “The Robot Race: Understanding Proportionality as a function with Robots in Mathematics Class”. Elsa Fernandes, Eduardo Fermé and Rui Oliveira. Proceedings of CERME 6 - Sixth Conference of European Research in Mathematics Education. Lyon, France. 1211-1220.

28. 2007 “Crossing the river with robots: Changing the way of working in an AI subject". Eduardo Fermé - Elsa Fernandes. Proceedings of the 3rd UK Workshop on AI in Education, pp 22-29. Cambridge UK.

29. 2007 “RCX+PROLOG: A platform to use Lego Mindstorms(tm) Robots in Artificial Intelligence courses”. Eduardo Fermé - Luís Gaspar. Proceedings of the 3rd UK Workshop on AI in Education, pp 30-36. Cambridge UK.

30. 2007 "Viajando com Robots na Aula de Matemática". (in Portuguese) Elsa Fernandes - Eduardo Fermé - Rui Oliveira. Proceedings of the V Conferência Internacional de Tecnologias de Informação e Comunicação na Educação, Challenges 2007, pp 129-139 (im Portuguese). Braga, Portugal. (Preliminary version of book chapter “Viajando com Robots na Aula de Matemática”)

31. 2007 “Droide Virtual: Utilização De Robots Na Aprendizagem Colaborativa Da

/22

Programação Através Da Web”. (in Portuguese) Alcione Santos - Eduardo Fermé - Elsa Fernandes. Proceedings of the V Conferência Internacional de Tecnologias de Informação e Comunicação na Educação, Challenges 2007, pp 263-267. Braga, Portugal.

32. 2007 “Utilização De Robots No Ensino De Programação: O Projecto Droide” (in Portuguese), Alcione Santos - Eduardo Fermé - Elsa Fernandes. Proceedings IX Congresso da SPCE “Educação para o sucesso: políticas e actores”. Madeira, 2007.

33. 2006 "An axiomatic characterization of ensconcement-based contraction. (Preliminary Version)". Eduardo Fermé - Martín Krevneris. Proceedings of the Eleventh International Workshop on Non-Monotonic Reasoning (NMR06). UK. pp 465-470. (Preliminary version of the journal paper)

34. 2006 "Using Robots to Learn Functions in Math Class". Elsa Fernandes, Eduardo Fermé and Rui Oliveira. Proceedings of the ICMI 17 Study Conference: Technology Revisited, pp 152-159. Hanoi University of Technology. Editors, Le Hung Son, Nathalie Sinclair, Jean Baptiste Lagrange and Celia Hoyles. Vietnam.

35. 2000. “Revisando los Postulados de AGM” (in Spanish). Eduardo Fermé. 2nd place “II IberoAmerican 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. 345-352.

36. 1999. “A little Note about Maxichoice and Epistemic Entrenchment”. Eduardo Fermé. Proceedings Wollic´99. Workshop on Logic, Language and Information, Itatiaia, Brazil. pp. 111-113.

37. 1999. “Irrevocable Belief Revision and Epistemic Entrenchment” Proceedings Wollic´99. Workshop on Logic, Language and Information, Itatiaia, Brazil. pp. 103-110. (Preliminary version of the journal paper)

38. 1998. “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. Proceedings of DEON98. Fourth International Workshop on Deontic Logic in Computer Science. Bologna, Italia (Preliminary version of the book chapter)

39. “A little note about the Rott Contraction”. Eduardo Fermé, Ricardo Rodriguez 1997. Proceedings 4th Workshop on Logic, Language, Information and Computation (WoLLIC'97) (Preliminar version of the book chapter)

40. 1996. “Construcción de funciones SemiContraction” (in Spanish). Eduardo Fermé -Ricardo Rodriguez. Proceedings III Workshop on Theoretical aspects of Artificial Intelligence . ATIA’96. San Luis Argentina: 678-688. (Preliminar version of the journal paper “Semi-Contraction Axioms and Construction”)

41. 1995. “Teoría de Cambio de Creencias: Relación entre las funciones de Contraccionn G AGM y Kernel” (in Spanish). Eduardo Fermé. Proceedings II Workshop on Theoretical aspects of Artificial Intelligence. ATIA’95, pp 483-493.. Bahía Blanca, Argentina.

42. 1992. “Revisión Mutua de Creencias” (in Spanish). Eduardo Fermé - Osvaldo Gonzalez. Proceedings XVIII Conferencia Latino Americana de Informática. Las Palmas de Gran Canaria, Espanha.

43. 1992. “Actualización de Bases de Conocimiento usando Teorías de Cambio de

/23

Creencias” (in Spanish). Extended abstract of the degree thesis. Eduardo Fermé. Proceedings III Congreso Iberoamericano de Inteligencia Artificial; IBERAMIA’92, pp: 419-436, La Habana. Cuba.

44. 1992. “Contracción en Bases de Conocimiento usando teoría de grafos” (in Spanish). Eduardo Fermé - Osvaldo Gonzalez. Proceedings XXI JAIIO, Buenos Aires Argentina.

Thesis and Monographs 45. 2011. “On the Logic of Theory Change: Extending the AGM Model”. PhD Thesis

in Philosophy. Royal Institute of Technology. Sweden. (Available at http://kth.diva-portal.org/smash/record.jsf?pid=diva2:396827)

46. 2008. “Tópicos Avançados em Revisão de Crenças” (in Portuguese). Eduardo Fermé. Summary of the lesson for the “Provas de Agregação”. UMa.

47. 1999. “Revising the AGM Postulates”. PhD Thesis in Computer Science. Eduardo Fermé. UBA. Argentina

48. 1991. “Actualización de Bases de Conocimiento usando Teorías de Cambio de Creencias” (in Spanish). 1st Degree Thesis in Computer Science. Eduardo Fermé. UBA. Argentina

Lecture Notes

“Apontamentos (Acetatos - Sebentas) do curso de Teoría da Computabilidade e Complexidade.”. UMa.

“Apontamentos (Acetatos Sebentas) do curso de Lógica”. UMa. “Apontamentos (Acetatos Sebentas) do curso de Engenharía de Requisitos”. UMa. “Apuntes de Ingeniería de Software II”. Unión de Docentes Argentinos. “Metodología para la resolución de problemas II”. Unión de Docentes Argentinos “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. “Razonamiento Abductivo en I.A”. Artificial Intelligence Course. UBA. “Las aventuras de Juan Número. Parte 2. UBA. Publicado por F.U.B.A. “Las aventuras de Juan Número. Parte 1. UBA. Publicado por F.U.B.A.

Industrial or commercial activities I have worked between 1987 and 2002 in Argentina as a consultant in Software Engineering and Knowledge Management in the following Companies and Government Organizations: Echagüe & Feuerstein

(200-2001) Secretaría de Agricultura, Ganadería y Pesca de la Nación. System for the administrative management of the processes related with the Law 25080 in the Dirección de Forestación. Position: Project Leader (2001) Facultad de Agronomía. UBA. System for management the

/24

Faculty Council Resolutions. Position: Project Leader.

Umai (2001) Banco de Galicia. Feasibility Analysis regarding the adoption of Knowledge Management tools in the organization. Position: Senior Consultant.

Lemma Informática

(2000)BibliotecaGeneraldelaNación.Pre‐project.FeasibilityAnalysistocomputerizethebibliographicscathing.

Sofrecom (1999‐2000)BancodeGalicia: ReportandDiagnosisofthePrivateBanking.OrganizationandMethods,AdministrativeCircuits,Systems.Position:ProjectLeader.\\(2000)LibertyART.FeasibilityAnalysistooptimizetheadministrationofaffiliates.Position:SeniorConsultant.

Grupo Palermo (2001-2002) Banco de Boston: Digitalization, Verification and Management of Documents (Oficios). Position: Project Leader. (1999-2000) Banco Credicoop: Reengineering of the System to Management the Department of Credits and Credits Risk Analysis. Position: Annalist Sr. + Responsible for the Design of the New Database and Migration of Data. (1998‐1999)BancoCredicoop:DevelopmentoftheSystemtoManagementtheDepartmentofLegalAffairs.Position:SeniorAnalyst.(1996‐1997)BancoCredicoop:RequirementEngineeringoftheSystemtoManagementtheDepartmentofLegalAffairs.Position:SeniorAnalyst. (1993-1996) Banco Credicoop: Development of the System to Management the Department of Credits and Credits Risk Analysis. Position: System Programmer + Analyst. (1992) Banco Provincia. Development of a Parser to Capture the Data Structure of a Undocumented System Programmed in Cobol. Position: System Programmer.

Imagen Digital (1999-2000) Argentores (Sociedad Argentina de Actores). Development of Digitalization and Management System for the Historic Scathing of scripts of plays. Position: Project Leader.

E-Commsulting (2000‐2001)Mailfast/UsaDirect.E‐commerceProject.Position:ProjectLeader.

Independent (2000) Chutrau, Byco. Tracking System for Imports. (1994-1997) Accinsa S.A. System for Administration of Sales, Stock, Purchases and Personal. (1990-1993) Heregal SRL. Administration of Sales, Stock, Purchases and Distribution of Merchandises. Previous (From 1987): Estudio Thebas, Comexa SRL, Asociación Braford Argentina, Técnica Nuclear Veterinaria, Griscan Iluminación, Soft Center, Plen SA, La Paulina S.A., Editorial Humanitas, PAMI, Biblioteca del Congreso de la Nación, LUCIX SRL, Kid's, Hierromat, Faglomad, Melam y Resinfor Metanol.

/25