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 /1
Personal information Name Gender Date and place of birth Nationality National identification numbers Passaport Address E-mail Webpage Eduardo Leopoldo Fermé. Male 10/11/1964 Buenos Aires, Argentina. Argentinean / Portuguese 17.202.659 Argentina. 15.751.544 Portugal 17.202.659 N Argentina. // L 176.555 Portugal 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. ferme@uma.pt. 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. /2
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. /3
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 1 st 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 1 st Degree in Informatics Education and 1 st 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. 1 st 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. /4
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. Requirement Engineering and Software Project Management. Master in Informatics Engineering. DME-UMa. 2006/2007 2nd term 2004/2005 2nd term. 1 st Degree Logic and Reasoning 2nd term, 2007/2008, 2008/2009, 2009/2010, 2010/2011, 2011/2012. Artificial Intelligence 1 st 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 1 st term 2002/2003, 2003/2004, 2004/2005, 2005/2006, 2006/2007, 2007/2008 Computability and Complexity 1 st term 2002/2003, 2003/2004, 2004/2005, 2005/2006. Requirement Engineering 2nd term 2003/2004, 2004/2005, 2005/2006. Deontology 2002/2003 2nd term /5
At UBA 1 st Degree Software Engineering II (Software Project Management) Algorithms and Data Structures Artificial Intelligence 4 times as Assistant Professor 3 times as Assistant Professor 5 times as Teaching Assistant Graduate Belief Revision Non Monotonic Logic Conditional Logic Knowledge Bases Update 4 times as Assistant Professor 5 times as Teaching Assistant 2 times as Assistant Professor. 1 time as Assistant Professor 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. /6
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. 1 st Degree University of Madeira (projects) 2006/2007 Graciete Sofia Freitas Tavares - Carlos Herberto Aleixo Reis. /7
Title: UMa C&T. 1 st 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 1 st 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. 1 st 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. /8
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 [2010] Improvement belief change operators with limits of credibility 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? Sponsors: French-Portuguese project. CNRS France Ministério da Ciência e do Ensino Superior. Governo de Portugal. French Co-Chair: Sébastien Konieczny 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 /9
[2008/2009] Knowledge Dynamics in Cognitive Agents DROIDE: Robots in Mathematics and Informatics Education. [2005/2008] Relation between Deontic Logics and Belief Revision [2003/2004] 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). 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. 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. 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. /10
Revision by Comparison [2001 2002] Non-Monotonic Logics for models of belief change [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. 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] Normativity and Non Monotonicity. [2001 2002]. 2ª part of Logical Consequence Notions of non Standard and Conditional Logics. [1998 2000] Alfa Project: Tools for Teaching [1997 2000] Sponsor: Fundação da Ciência e Tecnología (FCT) Chair: Elsa Fernandes Sponsors: Secretaria de Ciencia y Técnica. UBA. Argentina. Argentinean Chair: Gladys Palau. Sponsors: Alfa Project. European Community. Chair: Mara Manzano, Salamanca University, Spain. Argentinean Chair: Gladys Palau. As Junior Researcher /11
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) Computer Science Department, UBA. Argentina. 7/2010 (1 month) 9/2010 (15 days) Faculté des Sciences. Université d'artois, Lens France. Computer Science Department. Universidade Nacional del Sur. Bahía Blanca, Argentina. 07/2008 (1 month) 11/2009 (1 month) 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) 04/2002 (15 days) 08/2002 (15 days) 2/2002 (15 days) 11/2001 (1 month) 03/2000 (1 month) Computer Science Department, UBA. Argentina Instituto de Matemática e Estatística (IME) University of São Paulo. Brazil. 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 1 st 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 /12
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. of Computer Science and Engineering, Universidad Nacional del Sur. 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. of Computer Science and Engineering, Universidad Nacional del Sur. 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: /13
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 1 st Workshop in Belief Revision and Argumentation, Madeira, Portugal. 2012 Area Chair- Knowledge Representation and Reasoning (with Guillermo Simari) of 13 th Ibero American Conference on Artificial Intelligence (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, /14
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 /15
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. Computer Science and Communication Lab, 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. /16
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 /17
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 1 st Workshop in Belief Revision and Argumentation, Madeira, G. Simari) 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 Argentinean 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 /18
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. /19
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. /20