Eduardo Fermé (C515-D92F-8F54)

Curriculum Vitae

Eduardo Fermé

NOVA-LINCS Group: INTELLIGENT SYSTEMS. Research Topics: - Knowledge Representation and Reasoning. Logics for Artificial Intelligence. Non Monotonic Reasoning. Belief Change. Google Scholar profile: http://scholar.google.pt/citations?user=Qu6aCR8AAAAJ&hl=pt-PT&oi=ao Full Professor at the Faculty of Exact Science and Engineering (FCEE), University of Madeira , where is he is professor since 2002. Assistant Professor from 1997 to 2002, Computer Science Department. University of Buenos Aires. Education 2011 - PhD in Philosophy. Royal Institute of Technology (KTH), Sweden. 2008 - Habilitation (“Agregação”) in Informatics Engineering – Branch Artificial Intelligence. University of Madeira. 1999 - PhD in Computer Science (summa cum laude). University of Buenos Aires (UBA). Argentina. Main Projects as PI - ProDy Knowledge-Driven Profile Dynamics. Sponsors: Fundação para a Ciência e a Tecnologia (FCT). https://doi.org/10.54499/PTDC/CCI-COM/4464/2020. 2021/04 – 2025/03 - BRANT: Belief Revision applied to Neurorehabilitation Therapy. Sponsors: Fundação para a Ciência e a Tecnologia (FCT). https://dx.doi.org/10.13039/501100001871 2018/11 – 2022/10 Supervisions 4 Postdocs researchers 3 PhD Students (concluded) and 4 PhD Students (ongoing) 32 MSc students (concluded) and 1MSc Student (ongoing) 4 1st degree projects (pre-Bologna) at University of Madeira 5 1st degree thesis at Computer Science Department – University of Buenos Aires. Selected 5 Publications from 2018: [Book] 2018 “Belief Change: Introduction and Overview”. Eduardo Fermé and Sven Ove Hansson. Springer Briefs in Computer Science Series. Springer. ISBN 978-3-319-60535-7. https://doi.org/10.1007/978-3-319-60535-7 [Journal Paper] 2023 Levi and Harper identities for non-prioritized belief base change. Marco Garapa, Eduardo Fermé, and Maurício D. L. Reis. Artificial Intelligence Journal. Volume 319, pages 1–24 Elsevier Publisher. https://doi.org/10.1016/j.artint.2023.103907. [Journal Paper] 2022 Belief Revision and Argumentation: A Critical Comparison. Pietro Baroni, Eduardo Fermé, Massimiliano Giacomin, Guillermo Ricardo Simari. Journal of Logic, Language and Information Volume 31(4), pages 555-589. https://doi.org/10.1007/s10849-022-09369-8 [Journal Paper] 2020 Credibility-limited Base Revision: New Classes and Their Characterizations. Marco Garapa, Eduardo Fermé, and Maurício D. L. Reis. Journal of Artificial Intelligence Research (JAIR) 69 (2020) 1023-1075. https://doi.org/10.1613/jair.1.12298 [Journal Paper] 2018 “Shielded base contraction”. Marco Garapa, Eduardo Fermé, Maurício D. L. Reis. Artificial Intelligence Journal 259. 186-216. https://doi.org/10.1016/j.artint.2018.03.007

Ler resumo completo ↓

Identificação

Identificação pessoal

Nome completo: Eduardo Fermé

Nomes de citação

Fermé, Eduardo
Eduardo Ferme
Eduardo Leopoldo Fermé
Eduardo L. Fermé

Identificadores de autor

Ciência ID: C515-D92F-8F54
ORCID iD: 0000-0002-9618-2421
Google Scholar ID: https://scholar.google.com/citations?user=Qu6aCR8AAAAJ&hl
Researcher Id: J-3015-2012
Scopus Author Id: 6507544015

Endereços de correio eletrónico

ferme@uma.pt (Profissional)
elferme@staff.uma.pt (Profissional)
eduardo.ferme@staff.uma.pt (Profissional)

Telefones

Telefone

(351) 291705200 (Profissional)

Moradas

Faculty of Exact Sciences and Engineering, University of Madeira. Campus Universitario da Penteada, 9020-105, Funchal, Madeira, Portugal (Profissional)

Websites

https://people.web.uma.pt/eduardoferme/ (Profissional)

Domínios de atuação

Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
Humanidades - Filosofia, Ética e Religião - Filosofia

Idiomas

Idioma	Conversação	Leitura	Escrita	Compreensão	Peer-review
Espanhol; Castelhano (Idioma materno)
Português	Utilizador proficiente (C2)	Utilizador proficiente (C2)	Utilizador proficiente (C2)	Utilizador proficiente (C2)	Utilizador proficiente (C2)
Italiano	Utilizador proficiente (C2)	Utilizador proficiente (C2)	Utilizador proficiente (C1)	Utilizador proficiente (C2)	Utilizador proficiente (C1)
Inglês	Utilizador independente (B2)	Utilizador proficiente (C1)	Utilizador independente (B2)	Utilizador proficiente (C1)	Utilizador independente (B2)

Formação

	Grau	Classificação
2011 Concluído	Philosophy (Doctor) Kungliga Tekniska Högskolan, Suécia "Extending the AGM Model" (TESE/DISSERTAÇÃO)	Aprovado
2008 Concluído	Agregação em Engenharia Informatica (Título de Agregado) Especialização em Engenharia Informática Universidade da Madeira, Portugal	Unanimidade
1999 Concluído	Computer Science (Doutoramento) Especialização em Logic and Artificial Intelligence Universidad de Buenos Aires, Argentina "Revising the AGM Postulates" (TESE/DISSERTAÇÃO)	Approved "Summa con laude"
1983 - 1991 Concluído	Licenciatura en Ciencias de la Computación (Licenciatura) Universidad de Buenos Aires, Argentina "Actualización de Bases de Conocimiento usando Teorías de Cambio de Creencias" (TESE/DISSERTAÇÃO)	Tesis: 10 (sobre 10)

Percurso profissional

Ciência

	Categoria Profissional Instituição de acolhimento	Empregador
2014 - Atual	Investigador (Investigação)	Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
	Universidade da Madeira, Portugal

Docência no Ensino Superior

	Categoria Profissional Instituição de acolhimento	Empregador
2020/12/15 - Atual	Professor Catedrático (Docente Universitário)	Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
	Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2005/06/19 - 2020/12/15	Professor Associado (Docente Universitário)	Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
	Universidade da Madeira, Portugal
2002/09/01 - 2005/06/18	Professor Auxiliar (Docente Universitário)	Universidade da Madeira, Portugal
	Universidade da Madeira, Portugal
1997/09/01 - 2002/08/31	Professor Auxiliar (Docente Universitário)	Universidad de Buenos Aires, Argentina
	Universidad de Buenos Aires, Argentina
1991/08/27 - 1997/08/31	Assistente (Docente Universitário)	Universidad de Buenos Aires, Argentina
	Universidad de Buenos Aires, Argentina

Projetos

Projeto

	Designação	Financiadores
2021/03/29 - 2024/03/28	Knowledge-Driven Profile Dynamics PTDC/CCI-COM/4464/2020 Investigador responsável Universidade da Madeira, Portugal Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal	Fundação para a Ciência e a Tecnologia Em curso
2018/10 - 2021/10	Belief Bevision applied to Neurorehabilitation Therapy PTDC/CCI-COM/30990/2017 Investigador responsável Universidade da Madeira, Portugal Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal	Fundação para a Ciência e a Tecnologia Fundação para a Ciência e a Tecnologia Concluído
2019/01/01 - 2020/12/31	Advanced belief change operations based on comparison and conditionals: Towards a general framework N/A Investigador responsável Universidade da Madeira, Portugal Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal	Associação para a Inovação e Desenvolvimento da FCT Concluído
2019/01/01 - 2019/12/31	NOVA Laboratory for Computer Science and Informatics UID/CEC/04516/2019 Investigador Associação para a Inovação e Desenvolvimento da FCT, Portugal Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2011/01/01 - 2013/12/31	Projecto Estratégico - UI 219 - 2011-2012 PEst-OE/MAT/UI0219/2011 Investigador Universidade da Madeira, Portugal Laboratório Regional de Engenharia Civil, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2010/01 - 2013/06	DROIDE II - Robots in Mathematics and Informatics Education 99850 Provided by PTCRIS: 99850 PTDC/CPE-CED/099850/2008 Investigador Universidade da Madeira, Portugal Instituto Universitário de Ciências Psicológicas Sociais e da Vida Centro de Investigação em Educação, Portugal Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal	Fundação para a Ciência e a Tecnologia, I.P. Fundação para a Ciência e a Tecnologia Concluído
2010 - 2011	Implementation of Belief Revision Algorithms NA/07 Investigador responsável Universidade da Madeira, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2010 - 2010	CLIO: Improvement belief change operators with limits of credibility NA/06 Investigador responsável Universidade da Madeira, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2008 - 2009	Knowledge Dynamics in Cognitive Agents N/A - 1 Investigador responsável Universidade da Madeira, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2003 - 2004	Relation between Deontic Logics and Belief Revision N/A - 2 Investigador responsável Universidade da Madeira, Portugal	Fundação para a Ciência e a Tecnologia, I.P. Concluído
2001 - 2002	RbC. Revision by Comparison N/A - 4 Investigador responsável Universidade da Madeira, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2001 - 2002	Non-Monotonic Logics for models of belief change N/A - 3 Investigador responsável Universidade da Madeira, Portugal	Fundação para a Ciência e a Tecnologia Concluído
1998 - 2002	Normativity and Non Monotonicity / Logical Consequence Notions of non Standard and Conditional Logics N/A - 5 Investigador Universidad de Buenos Aires Departamento de Computación, Argentina	Universidad de Buenos Aires Secretaría de Ciencia y Técnica Concluído

Produções

Publicações

Artigo em conferência	Fermé, E.; Konieczny, S.; Pérez, R.P.; Schwind, N.. "Credible Models of Belief Update". Trabalho apresentado em 20th International Conference on Principles of Knowledge Representation and Reasoning, (KR2023), 2023. Publicado Eduardo, F.; Marco, G.; Reis, M.D.L.. "Causes for Changing Profiles (Extended Abstract)". Trabalho apresentado em 21st International Workshop on Non-Monotonic Reasoning 2023, 2023. Publicado Garapa, M.; Fermé, Eduardo; Reis, M.D.L.; Fermé, E.. "System of Spheres-based Two Level Credibility-limited Revisions". Trabalho apresentado em Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023), 2023. Publicado • 10.4204/EPTCS.379.23 Fermé, Eduardo; Garapa, Marco; Reis, Maurício D. L.. "Causes for Changing Profiles (Preliminary Report)". Trabalho apresentado em ENIGMA 2023: AI-driven heterogeneous data management, 2023. Publicado Resina, F.; Garapa, M.; Wassermann, R.; Fermé, Eduardo; Reis, M.. "Choosing what to believe - New results in selective revision". Trabalho apresentado em 17th International Conference on Principles of Knowledge Representation and Reasoning - KR2020, 2020. Publicado Almeida, Y.; Sirsat, M.S.; Bermúdez I Badia, S.; Fermé, Eduardo. "AI-Rehab: A framework for AI driven neuro rehabilitation training - The profiling challenge". Trabalho apresentado em 13th International Joint Conference on Biomedical Engineering Systems and Technologies, 2020. Publicado Garapa, M.; Fermé, Eduardo; Reis, M.D.L.. "Shielded base contraction (extended abstract)". Trabalho apresentado em Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI 2019), 2019. Publicado • 10.24963/ijcai.2019/889 Garapa, M.; Fermé, E.; Reis, M.D.L.. "Studies in credibility-limited base revision". Trabalho apresentado em 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 2018. Publicado Casals, A.; Fermé, Eduardo; Brandao, A.A.F.. "Domain-specific trust for context-aware BDI agents preliminary work". Trabalho apresentado em 10th International Conference on Agents and Artificial Intelligence (ICAART 2018), 2018. Publicado • 10.5220/0006600602440249 Testa, Rafael; Fermé, Eduardo; Garapa, Marco; Reis, Maurício D. L.. "How to construct Remainder Sets for Paraconsistent Revisions". Trabalho apresentado em 17th International Workshop on Non-Monotonic Reasoning (NMR 2018), 2018. Publicado Giovanni Casini; Fermé, Eduardo; Thomas Meyer; Varzinczak, Ivan. "A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework". Trabalho apresentado em 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 2018. Publicado Fábio Pereira; Fermé, Eduardo. "Using Decision Theory for Analyzing Enrollment in a Scientific Study in the Health Area". Trabalho apresentado em 12th International Conference on Disability, Virtual Reality and Associated Technologies, 2018. Publicado Reis, Maurício D. L.; Fermé, Eduardo; Peppas, Pavlos. "Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract)". Trabalho apresentado em Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017. Publicado • 10.24963/ijcai.2017/719 Gonçalves, F.; Fermé, Eduardo; Martins, A.L.; Ferreira, J.C.. "Towards activity theory - preliminary report: Ambient intelligence applied to smart education". 2017. Publicado • 10.1007/978-3-319-53480-0_62 Fermé, Eduardo; Wassermann, Renata. "Iterated Belief Change the Case of Expansion Into Inconsistency". Trabalho apresentado em 6th Brazilian Conference on Intelligent Systems (BRACIS), 2017. Publicado • 10.1109/bracis.2017.35 Gonçalves, Frederica; Fermé, Eduardo; Ferreira, João C.. "Emerging Opportunities for Ambient Intelligence in Creativity Support Tools". Trabalho apresentado em 16th International Conference on Intelligent Systems Design and Applications (ISDA 2016), 2017. Publicado • 10.1007/978-3-319-53480-0_63 Garapa, Marco; Fermé, Eduardo; Reis, Maurício D.L.. "Studies on Brutal Contraction and Severe Withdrawal: Preliminary Report". Trabalho apresentado em 16th International Workshop on Non-Monotonic Reasoning, 2016. Publicado Booth, R.; Fermé, E.; Konieczny, S.; Pérez, R.P.. "Credibility-limited improvement operators". Trabalho apresentado em ECAI 21 (21th European Conference on Artificial Intelligence),, 2014. Publicado • 10.3233/978-1-61499-419-0-123 Booth, R.; Fermé, Eduardo; Konieczny, S.; Pérez, R.P.. "Credibility-limited revision operators in propositional logic". Trabalho apresentado em 13th International Conference on Principles of Knowledge Representation and Reasoning, (KR'12), 2012. Publicado Kern-Isberner, G.; Falappa, Marcelo Alejandro; Fermé, Eduardo. "On the logic of theory change: Relations between incision and selection functions". Trabalho apresentado em 17th European Conference on Artificial Intelligence (ECAI 17 ), 2006. Publicado
Artigo em revista	Eduardo Fermé; Marco Garapa; Maurício D.L. Reis; Yuri Almeida; Teresa Paulino; Mariana Rodrigues. "Knowledge-driven profile dynamics". Artificial Intelligence (2024): https://doi.org/10.1016/j.artint.2024.104117. 10.1016/j.artint.2024.104117 Fermé, Eduardo; Garapa, Marco; Nayak, Abhaya; Reis, Maurício D.L.. "Relevance, recovery and recuperation: A prelude to ring withdrawal". International Journal of Approximate Reasoning 166 (2024): 109108. http://dx.doi.org/10.1016/j.ijar.2023.109108. Acesso aberto • Publicado • 10.1016/j.ijar.2023.109108 Faria, Ana Lúcia; Almeida, Yuri; Branco, Diogo; Câmara, Joana; Cameirão, Mónica; Ferreira, Luis; Moreira, André; et al. "NeuroAIreh@b: an artificial intelligence-based methodology for personalized and adaptive neurorehabilitation". Frontiers in Neurology 14 (2024): http://dx.doi.org/10.3389/fneur.2023.1258323. Acesso aberto • Publicado • 10.3389/fneur.2023.1258323 Fermé, Eduardo; Gonçalves, Sara. "On the logic of theory change iteration of KM-update". International Journal of Approximate Reasoning 162 (2023): 109005. http://dx.doi.org/10.1016/j.ijar.2023.109005. Acesso aberto • Publicado • 10.1016/j.ijar.2023.109005 Garapa, Marco; Fermé, Eduardo; Reis, Maurício D.L.. "Levi and Harper identities for non-prioritized belief base change". Artificial Intelligence 319 (2023): 103907. http://dx.doi.org/10.1016/j.artint.2023.103907. Acesso aberto • Publicado • 10.1016/j.artint.2023.103907 Aguiar, Carina Patrícia Correia de; Fermé, Eduardo; AGUIAR, CARINA; Eduardo Ferme. "Teoria da Atividade como ferramenta para analisar o trote universitário". Diversitas Journal 8 1 (2023): 0526-0538. http://dx.doi.org/10.48017/dj.v8i1.2432. Publicado • 10.48017/dj.v8i1.2432 Câmara, Joana; Paulino, Teresa; Spínola, Mónica; Branco, Diogo; Cameirão, Mónica; Faria, Ana Lúcia; Ferreira, Luís; et al. "Cognitive training following stroke: a pilot study with the Neuroaireh@b platform.". Psicologia, Saúde & Doença 23 2 (2022): 374-381. http://dx.doi.org/10.15309/22psd230203. Publicado • 10.15309/22psd230203 Baroni, Pietro; Fermé, Eduardo; Giacomin, Massimiliano; Simari, Guillermo Ricardo. "Belief Revision and Computational Argumentation: A Critical Comparison". Journal of Logic, Language and Information 31 4 (2022): 555-589. http://dx.doi.org/10.1007/s10849-022-09369-8. Publicado • 10.1007/s10849-022-09369-8 Preto, Sandro; Fermé, Eduardo; Finger, Marcelo. "Coherence of probabilistic constraints on Nash equilibria". Journal of the Brazilian Computer Society 28 1 (2022): 38-51. http://www.scopus.com/inward/record.url?eid=2-s2.0-85170911191&partnerID=MN8TOARS. Publicado • 10.48550/arxiv.2201.00746 Garapa, Marco; Fermé, Eduardo; Reis, Maurício. "Credibility-limited Base Revision: New Classes and Their Characterizations". Journal of Artificial Intelligence Research 69 (2020): 1023-1075. http://dx.doi.org/10.1613/jair.1.12298. Publicado • 10.1613/jair.1.12298 Sirsat, Manisha Sanjay; Fermé, Eduardo; Câmara, Joana. "Machine Learning for Brain Stroke: A Review". Journal of Stroke and Cerebrovascular Diseases 29 10 (2020): 105162. http://dx.doi.org/10.1016/j.jstrokecerebrovasdis.2020.105162. Publicado • 10.1016/j.jstrokecerebrovasdis.2020.105162 Fermé, Eduardo; Simari, Guillermo R.; Fermé, E.; Simari, G.R.. "Introduction to the special issue on belief revision, argumentation, ontologies, and norms". Annals of Mathematics and Artificial Intelligence 87 3 (2019): 185-186. http://dx.doi.org/10.1007/s10472-019-09674-2. Publicado • 10.1007/s10472-019-09674-2 Fermé, Eduardo; Wassermann, Renata. "On the logic of theory change: iteration of expansion". Journal of the Brazilian Computer Society 24 1 (2018): http://dx.doi.org/10.1186/s13173-018-0072-4. Acesso aberto • Publicado • 10.1186/s13173-018-0072-4 Garapa, Marco; Fermé, Eduardo; Reis, Maurício D.L.. "Shielded base contraction". Artificial Intelligence 259 (2018): 186-216. http://dx.doi.org/10.1016/j.artint.2018.03.007. Publicado • 10.1016/j.artint.2018.03.007 Fermé, E.; Garapa, M.; Reis, M.D.L.. "OUP accepted manuscript". Journal Of Logic And Computation (2017): http://dx.doi.org/10.1093/logcom/exx008. Acesso aberto • Publicado • 10.1093/logcom/exx008 Garapa, M.; Fermé, E.; Reis, M. D. L.. "Studies on Brutal Contraction and Severe Withdrawal". Studia Logica 105 2 (2016): 331-360. http://dx.doi.org/10.1007/s11225-016-9691-y. Acesso aberto • Publicado • 10.1007/s11225-016-9691-y Reis, Maurício D.L.; Fermé, Eduardo; Peppas, Pavlos. "Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result". Artificial Intelligence 233 (2016): 122-141. http://dx.doi.org/10.1016/j.artint.2016.01.001. Acesso aberto • Publicado • 10.1016/j.artint.2016.01.001 Reis, Maurício D. L.; Peppas, Pavlos; Fermé, Eduardo. "Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions". Annals of Mathematics and Artificial Intelligence 78 3-4 (2015): 181-203. http://dx.doi.org/10.1007/s10472-015-9454-x. Acesso aberto • Publicado • 10.1007/s10472-015-9454-x Fermé, Eduardo; David Makinson. "Editorial: Carlos Alchourrón Special Issue". South American Journal of Logic 1 2 (2015): 337-338. Acesso aberto • Publicado FERMÉ, EDUARDO; REIS, MAURÍCIO D. L.. "Epistemic Entrenchment-Based Multiple Contractions". The Review of Symbolic Logic 6 3 (2013): 460-487. http://dx.doi.org/10.1017/s1755020313000105. Acesso aberto • Publicado • 10.1017/s1755020313000105 Fermé, Eduardo; Reis, Maurício D. L.. "System of Spheres-based Multiple Contractions". Journal of Philosophical Logic 41 1 (2011): 29-52. http://dx.doi.org/10.1007/s10992-011-9197-z. Publicado • 10.1007/s10992-011-9197-z Reis, Maurício D. L.; Fermé, Eduardo. "Possible Worlds Semantics for Partial Meet Multiple Contraction". Journal of Philosophical Logic 41 1 (2011): 7-28. http://dx.doi.org/10.1007/s10992-011-9198-y. Acesso aberto • Publicado • 10.1007/s10992-011-9198-y Fermé, Eduardo; Hansson, Sven Ove. "Editorial Introduction—25 Years of AGM Theory". Journal of Philosophical Logic 40 2 (2011): 113-114. http://dx.doi.org/10.1007/s10992-011-9173-7. Acesso aberto • Publicado • 10.1007/s10992-011-9173-7 Fermé, Eduardo; Hansson, Sven Ove. "AGM 25 Years". Journal of Philosophical Logic 40 2 (2011): 295-331. http://dx.doi.org/10.1007/s10992-011-9171-9. Acesso aberto • Publicado • 10.1007/s10992-011-9171-9 Ferme, E.; Krevneris, M.; Reis, M.. "An Axiomatic Characterization of Ensconcement-Based Contraction". Journal of Logic and Computation 18 5 (2008): 739-753. http://dx.doi.org/10.1093/logcom/exm093. Publicado • 10.1093/logcom/exm093 Fermé, E.. "Belief revision,Revisión de creencias". Revista Iberoamericana de Inteligencia Artificial 11 34 (2007): 17-39. http://www.scopus.com/inward/record.url?eid=2-s2.0-36049046482&partnerID=MN8TOARS. Acesso aberto • Publicado • 10.4114/ia.v11i34.907 Rui Oliveira; Fernandes, Elsa; Fermé, Eduardo; Oliveira, Rui; Fernandes, Elsa; Fermé, Eduardo. "Proporcionalidade directa como função: Da perfeição à realidade a bordo de um robot". Quadrante XVI 1 (2007): 81-110. https://doi.org/10.48489/quadrante.22811. Acesso aberto • Publicado • 10.48489/quadrante.22811 Fermé, Eduardo; Ricardo O. Rodríguez. "DFT and belief revision". Análisis filosófico 26 2 (2006): 373-393. Acesso aberto • Publicado Fermé, Eduardo; Rott, Hans. "Revision by comparison". Artificial Intelligence 157 1-2 (2004): 5-47. http://dx.doi.org/10.1016/j.artint.2004.04.007. Acesso aberto • Publicado • 10.1016/j.artint.2004.04.007 Fermé, E.; Mikalef, J.; Taboada, J.. "Credibility-limited functions for belief bases". Journal of Logic and Computation 13 1 (2003): 99-110. http://www.scopus.com/inward/record.url?eid=2-s2.0-0037328921&partnerID=MN8TOARS. Publicado • 10.1093/logcom/13.1.99 Fermé, Eduardo; Saez, Karina; Sanz, Pablo. "Multiple Kernel Contraction". Studia Logica 73 2 (2003): 183-195. http://dx.doi.org/10.1023/a:1022927828817. Publicado • 10.1023/a:1022927828817 Hansson, Sven Ove; Fermé, Eduardo Leopoldo; Cantwell, John; Falappa, Marcelo Alejandro. "Credibility-limited revision". Journal of Symbolic Logic 66 4 (2001): 1581-1596. http://dx.doi.org/10.2307/2694963. Publicado • 10.2307/2694963 Ferme, E.. "Irrevocable belief revision and epistemic entrenchment". Logic Journal of IGPL 8 5 (2000): 645-652. http://dx.doi.org/10.1093/jigpal/8.5.645. Publicado • 10.1093/jigpal/8.5.645 Falappa, Marcelo Alejandro; Fermé, Eduardo. "On the Implementation of the Belief Change Operators". Journal of Computer Science & Technology 1 2 (2000): Publicado Fermé, Eduardo L.; Hansson, Sven Ove. "Selective Revision". Studia Logica 63 3 (1999): 331-342. http://dx.doi.org/10.1023/a:1005294718935. Publicado • 10.1023/a:1005294718935 Ferme RO Rodriguez, E.. "A brief note about Rott contraction". Logic Journal of IGPL 6 6 (1998): 835-842. http://dx.doi.org/10.1093/jigpal/6.6.835. Publicado • 10.1093/jigpal/6.6.835 Fermé, Eduardo; Rodriguez, Ricardo. "Semi-Contraction: Axioms and Construction". Notre Dame Journal of Formal Logic 39 3 (1998): http://dx.doi.org/10.1305/ndjfl/1039182250. Publicado • 10.1305/ndjfl/1039182250 Fermé, Eduardo L.. "Journal of Logic, Language and Information". Journal of Logic, Language and Information 7 2 (1998): 127-137. http://dx.doi.org/10.1023/a:1008241816078. Publicado • 10.1023/a:1008241816078
Capítulo de livro	Fermé, Eduardo; Sara Gonçalves. "On the Iteration of KM-Update". In Computational Models of Rationality, 243-261. College Publication, 2016. Publicado Arló-Costa, H.; Fermé, Eduardo. "Formal Epistemology and Logic". In A Companion to Latin American Philosophy, 482-495. John Wiley, 2009. Publicado Fernandes, Elsa; Fermé, Eduardo; Rui Oliveira. "Viajando com Robots na Aula de Matemática". In Ambientes Educativos Emergentes, 11-34. Centro Competência. Universidade do Minho, 2008. Publicado Fermé, Eduardo L.; Hansson, Sven Ove. "Shielded Contraction". In Frontiers in Belief Revision, 85-107. Springer Netherlands, 2001. Publicado • 10.1007/978-94-015-9817-0_4 Fermé, Eduardo L.. "Five Faces of Recovery". In Frontiers in Belief Revision, 247-259. Springer Netherlands, 2001. Publicado • 10.1007/978-94-015-9817-0_12 Renata Wassermann; Fermé, Eduardo. "A note on Prototype Revision". In Spinning Ideas¿ (Electronic Essays dedicated to Peter Gardenfors on his 50th Birthday). 1999. Publicado Becher, V.; Fermé, Eduardo; Lazzer, S.; Oller, C.; Palau, G.; Rodriguez, R. "Some Observations on C. Alchourrón’s Theory of Defeasible Conditional". In Norms, Logics and Information Systems. New studies on Deontic Logic and Computer Science, 219-230. Ios Press., 1999. Publicado
Edição de livro	Fermé, Eduardo; Simari, G.R.; Gutierrez Segura, Flábio; Rodríguez Melquiades, José Antonio. Advances in Artificial Intelligence - IBERAMIA 2018. Springer International Publishing. 2018. Publicado • 10.1007/978-3-030-03928-8 Carlos I Chesnevar, Marcelo A. Falappa; Fermé, Eduardo; Alejandro J. Garcia, Ana G. Maguitman, Diego C. Martinez, Maria Vanina Martinez, Ricardo O. Rodrigues and Gerado I. Sima. Argumentation-based Proofs of Endearment: Essays in Honor of Guillermo R. Simari on the Occasion of his 70th Birthday. College Publication. 2018. Publicado Fermé, Eduardo; Leite, Joao. JELIA 2014: Logics in Artificial Intelligence (LNAI,volume 8761). Springer International Publishing. 2014. Publicado • 10.1007/978-3-319-11558-0 Papini, Odile, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier; Fermé, Eduardo; Tommie Meyer, Renata Wassermann, Torsten Hahmann, Ken Baclawski, Adila Krisnadhi, Pavel Klinov, Stefano Borgo, Oliver Ku. Proceedings of JOWO-2015. The Joint Ontology Workshops at IJCAI 2015. CEUR Workshop Proceedings. 2014. Publicado Fernandes E, Santos A, Lopes C; Fermé, Eduardo; Matos JF, Gaspar L, Abrantes. Aprender matemática e informática com robots. Universidade da Madeira. 2013. Publicado
Edição de número de revista	Fermé, Eduardo; Guillermo R. Simari. "Belief Revision and Computational Argumentation". Annals of Mathematics and Artificial Intelligence 87 3 (2019): https://link.springer.com/journal/10472/volumes-and-issues/87-3. Publicado Fermé, Eduardo; David Makinson. "Special Issue in Honour of Carlos E. Alchourrón". South American Journal of Logic 1 2 (2015): http://www.sa-logic.org/sajl-12.html. Publicado Fermé, Eduardo; Hansson, Sven Ove. "Special Issue on 25 Years of AGM Theory". Journal of Philosophical Logic 40 2 (2011): https://link.springer.com/journal/10992/volumes-and-issues/40-2. Publicado
Livro	Fermé, Eduardo; Hansson, Sven Ove. Belief Change: Introduction and Overview. Springer International Publishing. 2018. Publicado • 10.1007/978-3-319-60535-7
Tese / Dissertação	"On the Logic of Theory Change: Extending the AGM Model". Doutoramento, Kungliga Tekniska Högskolan, 2011. http://www.diva-portal.se/smash/record.jsf?pid=diva2%3A396827&dswid=-7471. "Revising the AGM Postulates". Doutoramento, Universidad de Buenos Aires, 1999. https://bibliotecadigital.exactas.uba.ar/collection/tesis/document/tesis_n3127_Ferme.

Atividades

Orientação

	Título / Tema Papel desempenhado	Curso (Tipo) Instituição / Organização
2022 - 2022	A Framework for AI Driven Neurorehabilitation Training: TheProfiling Challenge. Orientador de Pedro Alexandre Gomes Rodrigues	MSc in Informatics Engineering (Mestrado) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2019 - 2019/10	Different software development methods from the point of view of Project Management Orientador de Marcos André Andrade Pestana	MSc in Informatics Engineering (Mestrado) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2018 - 2018	An Interface Between Webshops for eCommerce and ERP Sustems at MM Software Consulting Gmbh. Orientador de António Fiel Mendes Carvalho	MSc in Informatics Engineering (Mestrado) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2018 - 2018	Quality Assurance Engineering Orientador de Rúben Manuel Moreira dos Santos	MSc in Informatics Engineering (Mestrado) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2017 - 2017	Keepers of Intheris: Mechanics and Tecnology. Orientador de Yuri Aristides da Silva Godinho de Almeida	MSc in Informatics Engineering (Mestrado) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2017 - 2017	Desenvolvimento de Widgets para Internet Banking Orientador de Maria Joselyn dos Ramos Ferreira	MSc in Informatics Engineering (Mestrado) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2017 - 2017	Keepers of Intheris: Story and aesthetics Coorientador de Tatiana Severim Vieira.	MSc in Informatics Engineering (Mestrado) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2015 - 2017	Advances on Belief Base Dynamics. Orientador de Marco Paulo Ferreirinha Garapa	Matemática (Doutoramento) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2016 - 2016	On the iteration of Katsuno and Mendelzon update. Orientador de Sara Xavier Reis Gonçalves Rodrigues	Matemática (Mestrado) Universidade da Madeira, Portugal
2016 - 2016	Academic-manager- sistema para a gestão escolar Orientador de Rosa Elena do Nascimento Pascoal Garcia	Engenharia Informática (Mestrado) Universidade da Madeira, Portugal
2016 - 2016	GDD Desde dentro: mitos e realidades Orientador de Valeria Vition	Engenharia Informática (Mestrado) Universidade da Madeira, Portugal
2016 - 2016	Definição de funções primitivas em Behavior Markup Language Orientador de Mariana Patrícia Barros Teixeira	Matemática (Mestrado) Universidade da Madeira, Portugal
2016 - 2016	Planeamento inteligente em gestão de projetos Orientador de Maria Isabel Fernandes Nóbrega	MSc in Informatics Engineering (Mestrado) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2016 - 2016	FLM Guide - Roteiro do Festival Literário da Madeira. Orientador de Carolina Sofia Martins Sousa	Engenharia Informática (Mestrado) Universidade da Madeira, Portugal
2016 - 2016	Bases para construir modelos de conhecimento coletivo no paradigma simbólico. Orientador de Nélio Duarte Pereira Ramos	Engenharia Informática (Mestrado) Universidade da Madeira, Portugal
2015 - 2015	Desenvolvimento de software na Ad Infinitum Business Orientador de Márcio José Chaves Oliveira	MSc in Informatics Engineering (Mestrado) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2014 - 2014	Desenvolvimento de Serviços de Publicação de Anúncios Publicitários na Ad8Biz. Orientador de Roberto André Ferraz de Jesus	Engenharia Informática (Mestrado) Universidade da Madeira, Portugal
2014 - 2014	3D Reconstruction Through Photographs Orientador de Vítor Miguel Amorim de Almeida	Engenharia Informática (Mestrado) Universidade da Madeira, Portugal
2013 - 2013	Aplicação de pedido de clientes FNAC - Relatório Estágio Orientador de Vanda Rubina Vieira Trindade	Engenharia Informática (Mestrado) Universidade da Madeira, Portugal
2013 - 2013	Contribuição para o Estudo da Aprendizagem da Matemática e da Programação em Comunidades Virtuais de Prática com Foco no Uso de Robots como Mediadores da Aprendizagem Orientador de Elci Alcione Almeida dos Santos	Matemática (Doutoramento) Universidade da Madeira, Portugal
2013 - 2013	Gestão de Projectos: Motivação, Projectos e Análise Orientador de Paulo Jorge de Abreu	MSc in Informatics Engineering (Mestrado) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2013 - 2013	PLET - Planificação Estratégica na PLAN 3 Orientador de Francisco Xavier Ferreira Capelo	MSc in Informatics Engineering (Mestrado) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2013 - 2013	Criação de uma Estação de Testes para um Micro-Helicóptero Autónomo Orientador de Raúl Duarte Nóbrega Andrade	Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2013 - 2013	Argumentative Systems in Robots Orientador de Cláudio Rodrigo Santos Gonçalves	MSc in Informatics Engineering (Mestrado) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2013 - 2013	Design e Gestão de Sistemas, Robótica, Redes e Médias Interactivos Orientador de Marco Miguel de Olival Olim	MSc in Informatics Engineering (Mestrado) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2013 - 2013	Dados, Informação, Conhecimento, Ensino de Programação, a Inteligência Empresarial e as suas Motivações Orientador de António Paulo Dias Pestana	MSc in Informatics Engineering (Mestrado)
2006 - 2011	On Theory Multiple Contraction. Orientador de Maurício Duarte Luís Reis	Matemática (Doutoramento) Universidade da Madeira, Portugal
2008 - 2008	DROIDE M.L.P.: potencializando a plataforma Orientador de Octavia Figueira	Engenharia Informática (Mestrado) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2008 - 2008	DROIDE M.L.P: nxt software development kit Orientador de Hélder Pestana	Engenharia Informática (Mestrado) Universidade da Madeira, Portugal
2008 - 2008	Os robots nas aulas de informática: Plataformas e problemas Orientador de Luís Alberto da Silva Gaspar	Matemática (Mestrado) Universidade da Madeira, Portugal
2007 - 2007	A robótica na aprendizagem da matemática: Um estudo com alunos de 8º ano de escolaridade Orientador de Rui Miguel Novais Oliveira	Educação Matemática (2do ciclo) (Mestrado) Universidade da Madeira, Portugal
2006 - 2006	Gestão de Conhecimento e Comunidades de Prática: Aplicações no Contexto Escolar Orientador de Rui Duarte Fernandes Brás	Engenharia Informática (Mestrado) Universidade da Madeira, Portugal

Arbitragem científica em conferência

	Nome da conferência	Local da conferência
2020 - Atual	European Conference on Artificial Intelligence (ECAI)
2019 - Atual	AAAI Conference on Artificial Intelligence (AAAI)
2019 - Atual	European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU)
2018 - Atual	International Conference on Principles of Knowledge Representation and Reasoning (KR)
2016 - Atual	International Workshop on Non-Monotonic Reasoning (NMR)
2014 - Atual	European Conference on Logics in Artificial Intelligence (JELIA)
2011 - Atual	International Joint Conference on Artificial Intelligence (IJCAI)
2019 - 2021	Pacific Rim International Conference on Artificial Intelligence (PRICAI)

Arbitragem científica em revista

	Nome da revista (ISSN)	Editora
2020/12/01 - Atual	Argument and Computation ( 1946-2174)	IOS Press
2019 - Atual	Journal of Applied Logics.	College Publications.
2019 - Atual	CAAI Transactions on Intelligence Technology.	Chinese Association for Artificial Intelligence (CAAI).
2010 - Atual	Inteligencia Artificial. Iberoamerican Journal of Artificial Intelligence.	Iberamia