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

Read full resume ↓

Identification

Personal identification

Full name: Eduardo Fermé

Citation names

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

Author identifiers

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

Email addresses

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

Telephones

Telephone

(351) 291705200 (Professional)

Addresses

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

Websites

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

Knowledge fields

Exact Sciences - Computer and Information Sciences - Computer Sciences
Humanities - Philosophy, Ethics and Religion - Philosophy

Languages

Language	Speaking	Reading	Writing	Listening	Peer-review
Spanish; Castilian (Mother tongue)
Portuguese	Proficiency (C2)	Proficiency (C2)	Proficiency (C2)	Proficiency (C2)	Proficiency (C2)
Italian	Proficiency (C2)	Proficiency (C2)	Advanced (C1)	Proficiency (C2)	Advanced (C1)
English	Upper intermediate (B2)	Advanced (C1)	Upper intermediate (B2)	Advanced (C1)	Upper intermediate (B2)

Education

	Degree	Classification
2011 Concluded	Philosophy (Doctor) Kungliga Tekniska Högskolan, Sweden "Extending the AGM Model" (THESIS/DISSERTATION)	Aprovado
2008 Concluded	Agregação em Engenharia Informatica (Título de Agregado) Major in Engenharia Informática Universidade da Madeira, Portugal	Unanimidade
1999 Concluded	Computer Science (Doutoramento) Major in Logic and Artificial Intelligence Universidad de Buenos Aires, Argentina "Revising the AGM Postulates" (THESIS/DISSERTATION)	Approved "Summa con laude"
1983 - 1991 Concluded	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" (THESIS/DISSERTATION)	Tesis: 10 (sobre 10)

Affiliation

Science

	Category Host institution	Employer
2014 - Current	Researcher (Research)	Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
	Universidade da Madeira, Portugal

Teaching in Higher Education

	Category Host institution	Employer
2020/12/15 - Current	Full Professor (University Teacher)	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	Associate Professor (University Teacher)	Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
	Universidade da Madeira, Portugal
2002/09/01 - 2005/06/18	Assistant Professor (University Teacher)	Universidade da Madeira, Portugal
	Universidade da Madeira, Portugal
1997/09/01 - 2002/08/31	Assistant Professor (University Teacher)	Universidad de Buenos Aires, Argentina
	Universidad de Buenos Aires, Argentina
1991/08/27 - 1997/08/31	Assistant (University Teacher)	Universidad de Buenos Aires, Argentina
	Universidad de Buenos Aires, Argentina

Projects

Contract

	Designation	Funders
2021/03/29 - 2024/03/28	Knowledge-Driven Profile Dynamics PTDC/CCI-COM/4464/2020 Principal investigator 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 Ongoing
2018/10 - 2021/10	Belief Bevision applied to Neurorehabilitation Therapy PTDC/CCI-COM/30990/2017 Principal investigator 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 Concluded
2019/01/01 - 2020/12/31	Advanced belief change operations based on comparison and conditionals: Towards a general framework N/A Principal investigator 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 Concluded
2019/01/01 - 2019/12/31	NOVA Laboratory for Computer Science and Informatics UID/CEC/04516/2019 Researcher 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 Concluded
2011/01/01 - 2013/12/31	Projecto Estratégico - UI 219 - 2011-2012 PEst-OE/MAT/UI0219/2011 Researcher Universidade da Madeira, Portugal Laboratório Regional de Engenharia Civil, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2010/01 - 2013/06	DROIDE II - Robots in Mathematics and Informatics Education 99850 Provided by PTCRIS: 99850 PTDC/CPE-CED/099850/2008 Researcher 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 Concluded
2010 - 2011	Implementation of Belief Revision Algorithms NA/07 Principal investigator Universidade da Madeira, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2010 - 2010	CLIO: Improvement belief change operators with limits of credibility NA/06 Principal investigator Universidade da Madeira, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2008 - 2009	Knowledge Dynamics in Cognitive Agents N/A - 1 Principal investigator Universidade da Madeira, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2003 - 2004	Relation between Deontic Logics and Belief Revision N/A - 2 Principal investigator Universidade da Madeira, Portugal	Fundação para a Ciência e a Tecnologia, I.P. Concluded
2001 - 2002	RbC. Revision by Comparison N/A - 4 Principal investigator Universidade da Madeira, Portugal	Fundação para a Ciência e a Tecnologia Concluded
2001 - 2002	Non-Monotonic Logics for models of belief change N/A - 3 Principal investigator Universidade da Madeira, Portugal	Fundação para a Ciência e a Tecnologia Concluded
1998 - 2002	Normativity and Non Monotonicity / Logical Consequence Notions of non Standard and Conditional Logics N/A - 5 Researcher Universidad de Buenos Aires Departamento de Computación, Argentina	Universidad de Buenos Aires Secretaría de Ciencia y Técnica Concluded

Outputs

Publications

Book	Fermé, Eduardo; Hansson, Sven Ove. Belief Change: Introduction and Overview. Springer International Publishing. 2018. Published • 10.1007/978-3-319-60535-7
Book chapter	Fermé, Eduardo; Sara Gonçalves. "On the Iteration of KM-Update". In Computational Models of Rationality, 243-261. College Publication, 2016. Published Arló-Costa, H.; Fermé, Eduardo. "Formal Epistemology and Logic". In A Companion to Latin American Philosophy, 482-495. John Wiley, 2009. Published 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. Published Fermé, Eduardo L.; Hansson, Sven Ove. "Shielded Contraction". In Frontiers in Belief Revision, 85-107. Springer Netherlands, 2001. Published • 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. Published • 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. Published 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. Published
Conference paper	Câmara, Joana; Ana Rita Silva; Paulino, Teresa; Sergi Bermúdez Badia; Vilar, Manuela; Eduardo Ferme. "Ecologically valid tablet-based cognitive training: a case report of a patient with bilateral thalamic stroke". Paper presented in SeGAH, Funchal, 2024. Accepted Fermé, E.; Konieczny, S.; Pérez, R.P.; Schwind, N.. "Credible Models of Belief Update". Paper presented in 20th International Conference on Principles of Knowledge Representation and Reasoning, (KR2023), 2023. Published Eduardo, F.; Marco, G.; Reis, M.D.L.. "Causes for Changing Profiles (Extended Abstract)". Paper presented in 21st International Workshop on Non-Monotonic Reasoning 2023, 2023. Published Garapa, M.; Fermé, Eduardo; Reis, M.D.L.; Fermé, E.. "System of Spheres-based Two Level Credibility-limited Revisions". Paper presented in Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023), 2023. Published • 10.4204/EPTCS.379.23 Fermé, Eduardo; Garapa, Marco; Reis, Maurício D. L.. "Causes for Changing Profiles (Preliminary Report)". Paper presented in ENIGMA 2023: AI-driven heterogeneous data management, 2023. Published Resina, F.; Garapa, M.; Wassermann, R.; Fermé, Eduardo; Reis, M.. "Choosing what to believe - New results in selective revision". Paper presented in 17th International Conference on Principles of Knowledge Representation and Reasoning - KR2020, 2020. Published 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". Paper presented in 13th International Joint Conference on Biomedical Engineering Systems and Technologies, 2020. Published Garapa, M.; Fermé, Eduardo; Reis, M.D.L.. "Shielded base contraction (extended abstract)". Paper presented in Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI 2019), 2019. Published • 10.24963/ijcai.2019/889 Garapa, M.; Fermé, E.; Reis, M.D.L.. "Studies in credibility-limited base revision". Paper presented in 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 2018. Published Casals, A.; Fermé, Eduardo; Brandao, A.A.F.. "Domain-specific trust for context-aware BDI agents preliminary work". Paper presented in 10th International Conference on Agents and Artificial Intelligence (ICAART 2018), 2018. Published • 10.5220/0006600602440249 Testa, Rafael; Fermé, Eduardo; Garapa, Marco; Reis, Maurício D. L.. "How to construct Remainder Sets for Paraconsistent Revisions". Paper presented in 17th International Workshop on Non-Monotonic Reasoning (NMR 2018), 2018. Published Giovanni Casini; Fermé, Eduardo; Thomas Meyer; Varzinczak, Ivan. "A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework". Paper presented in 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 2018. Published Fábio Pereira; Fermé, Eduardo. "Using Decision Theory for Analyzing Enrollment in a Scientific Study in the Health Area". Paper presented in 12th International Conference on Disability, Virtual Reality and Associated Technologies, 2018. Published 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)". Paper presented in Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017. Published • 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. Published • 10.1007/978-3-319-53480-0_62 Fermé, Eduardo; Wassermann, Renata. "Iterated Belief Change the Case of Expansion Into Inconsistency". Paper presented in 6th Brazilian Conference on Intelligent Systems (BRACIS), 2017. Published • 10.1109/bracis.2017.35 Gonçalves, Frederica; Fermé, Eduardo; Ferreira, João C.. "Emerging Opportunities for Ambient Intelligence in Creativity Support Tools". Paper presented in 16th International Conference on Intelligent Systems Design and Applications (ISDA 2016), 2017. Published • 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". Paper presented in 16th International Workshop on Non-Monotonic Reasoning, 2016. Published Booth, R.; Fermé, E.; Konieczny, S.; Pérez, R.P.. "Credibility-limited improvement operators". Paper presented in ECAI 21 (21th European Conference on Artificial Intelligence),, 2014. Published • 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". Paper presented in 13th International Conference on Principles of Knowledge Representation and Reasoning, (KR'12), 2012. Published Kern-Isberner, G.; Falappa, Marcelo Alejandro; Fermé, Eduardo. "On the logic of theory change: Relations between incision and selection functions". Paper presented in 17th European Conference on Artificial Intelligence (ECAI 17 ), 2006. Published
Edited book	Fermé, Eduardo; Simari, G.R.; Gutierrez Segura, Flábio; Rodríguez Melquiades, José Antonio. Advances in Artificial Intelligence - IBERAMIA 2018. Springer International Publishing. 2018. Published • 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. Published Fermé, Eduardo; Leite, Joao. JELIA 2014: Logics in Artificial Intelligence (LNAI,volume 8761). Springer International Publishing. 2014. Published • 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. Published 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. Published
Journal article	Joana Câmara; Andreia Geraldo; Manuela Vilar; Eduardo Fermé. "Remote delivered cognitive rehabilitation programs in Acquired Brain Injury: a systematic review of methods and outcomes". Current Psychology (2024): https://doi.org/10.1007/s12144-024-06526-z. 10.1007/s12144-024-06526-z 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. Open access • Published • 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. Open access • Published • 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. Open access • Published • 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. Open access • Published • 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. Published • 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. Published • 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. Published • 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. Published • 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. Published • 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. Published • 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. Published • 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. Open access • Published • 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. Published • 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. Open access • Published • 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. Open access • Published • 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. Open access • Published • 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. Open access • Published • 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. Open access • Published 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. Open access • Published • 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. Published • 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. Open access • Published • 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. Open access • Published • 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. Open access • Published • 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. Published • 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. Open access • Published • 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. Open access • Published • 10.48489/quadrante.22811 Fermé, Eduardo; Ricardo O. Rodríguez. "DFT and belief revision". Análisis filosófico 26 2 (2006): 373-393. Open access • Published 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. Open access • Published • 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. Published • 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. Published • 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. Published • 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. Published • 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): Published Fermé, Eduardo L.; Hansson, Sven Ove. "Selective Revision". Studia Logica 63 3 (1999): 331-342. http://dx.doi.org/10.1023/a:1005294718935. Published • 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. Published • 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. Published • 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. Published • 10.1023/a:1008241816078
Journal issue	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. Published 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. Published 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. Published
Thesis / Dissertation	"On the Logic of Theory Change: Extending the AGM Model". PhD, Kungliga Tekniska Högskolan, 2011. http://www.diva-portal.se/smash/record.jsf?pid=diva2%3A396827&dswid=-7471. "Revising the AGM Postulates". PhD, Universidad de Buenos Aires, 1999. https://bibliotecadigital.exactas.uba.ar/collection/tesis/document/tesis_n3127_Ferme.

Activities

Supervision

	Thesis Title Role	Degree Subject (Type) Institution / Organization
2022 - 2022	A Framework for AI Driven Neurorehabilitation Training: TheProfiling Challenge. Supervisor of Pedro Alexandre Gomes Rodrigues	MSc in Informatics Engineering (Master) 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 Supervisor of Marcos André Andrade Pestana	MSc in Informatics Engineering (Master) 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. Supervisor of António Fiel Mendes Carvalho	MSc in Informatics Engineering (Master) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2018 - 2018	Quality Assurance Engineering Supervisor of Rúben Manuel Moreira dos Santos	MSc in Informatics Engineering (Master) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2017 - 2017	Keepers of Intheris: Mechanics and Tecnology. Supervisor of Yuri Aristides da Silva Godinho de Almeida	MSc in Informatics Engineering (Master) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2017 - 2017	Desenvolvimento de Widgets para Internet Banking Supervisor of Maria Joselyn dos Ramos Ferreira	MSc in Informatics Engineering (Master) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2017 - 2017	Keepers of Intheris: Story and aesthetics Co-supervisor of Tatiana Severim Vieira.	MSc in Informatics Engineering (Master) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2015 - 2017	Advances on Belief Base Dynamics. Supervisor of Marco Paulo Ferreirinha Garapa	Matemática (PhD) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2016 - 2016	On the iteration of Katsuno and Mendelzon update. Supervisor of Sara Xavier Reis Gonçalves Rodrigues	Matemática (Master) Universidade da Madeira, Portugal
2016 - 2016	Academic-manager- sistema para a gestão escolar Supervisor of Rosa Elena do Nascimento Pascoal Garcia	Engenharia Informática (Master) Universidade da Madeira, Portugal
2016 - 2016	GDD Desde dentro: mitos e realidades Supervisor of Valeria Vition	Engenharia Informática (Master) Universidade da Madeira, Portugal
2016 - 2016	Definição de funções primitivas em Behavior Markup Language Supervisor of Mariana Patrícia Barros Teixeira	Matemática (Master) Universidade da Madeira, Portugal
2016 - 2016	Planeamento inteligente em gestão de projetos Supervisor of Maria Isabel Fernandes Nóbrega	MSc in Informatics Engineering (Master) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2016 - 2016	FLM Guide - Roteiro do Festival Literário da Madeira. Supervisor of Carolina Sofia Martins Sousa	Engenharia Informática (Master) Universidade da Madeira, Portugal
2016 - 2016	Bases para construir modelos de conhecimento coletivo no paradigma simbólico. Supervisor of Nélio Duarte Pereira Ramos	Engenharia Informática (Master) Universidade da Madeira, Portugal
2015 - 2015	Desenvolvimento de software na Ad Infinitum Business Supervisor of Márcio José Chaves Oliveira	MSc in Informatics Engineering (Master) 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. Supervisor of Roberto André Ferraz de Jesus	Engenharia Informática (Master) Universidade da Madeira, Portugal
2014 - 2014	3D Reconstruction Through Photographs Supervisor of Vítor Miguel Amorim de Almeida	Engenharia Informática (Master) Universidade da Madeira, Portugal
2013 - 2013	Aplicação de pedido de clientes FNAC - Relatório Estágio Supervisor of Vanda Rubina Vieira Trindade	Engenharia Informática (Master) 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 Supervisor of Elci Alcione Almeida dos Santos	Matemática (PhD) Universidade da Madeira, Portugal
2013 - 2013	Gestão de Projectos: Motivação, Projectos e Análise Supervisor of Paulo Jorge de Abreu	MSc in Informatics Engineering (Master) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2013 - 2013	PLET - Planificação Estratégica na PLAN 3 Supervisor of Francisco Xavier Ferreira Capelo	MSc in Informatics Engineering (Master) 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 Supervisor of Raúl Duarte Nóbrega Andrade	Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2013 - 2013	Argumentative Systems in Robots Supervisor of Cláudio Rodrigo Santos Gonçalves	MSc in Informatics Engineering (Master) 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 Supervisor of Marco Miguel de Olival Olim	MSc in Informatics Engineering (Master) 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 Supervisor of António Paulo Dias Pestana	MSc in Informatics Engineering (Master)
2006 - 2011	On Theory Multiple Contraction. Supervisor of Maurício Duarte Luís Reis	Matemática (PhD) Universidade da Madeira, Portugal
2008 - 2008	DROIDE M.L.P.: potencializando a plataforma Supervisor of Octavia Figueira	Engenharia Informática (Master) Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
2008 - 2008	DROIDE M.L.P: nxt software development kit Supervisor of Hélder Pestana	Engenharia Informática (Master) Universidade da Madeira, Portugal
2008 - 2008	Os robots nas aulas de informática: Plataformas e problemas Supervisor of Luís Alberto da Silva Gaspar	Matemática (Master) Universidade da Madeira, Portugal
2007 - 2007	A robótica na aprendizagem da matemática: Um estudo com alunos de 8º ano de escolaridade Supervisor of Rui Miguel Novais Oliveira	Educação Matemática (2do ciclo) (Master) Universidade da Madeira, Portugal
2006 - 2006	Gestão de Conhecimento e Comunidades de Prática: Aplicações no Contexto Escolar Supervisor of Rui Duarte Fernandes Brás	Engenharia Informática (Master) Universidade da Madeira, Portugal

Conference scientific committee

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

Journal scientific committee

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