Keynotes and Tutorial in Scientific Meetings

1/2024 Keynote Speaker: On belief update. Novel insights. 1st Cape-Kr. Workshop on Knowledge Representation. Cape Town, South Africa.

09/2023 Keynote Speaker: On belief update. Novel insights. 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023). Arras, France.

01/2023. Invited talk: Knowledge-Based Profile Dynamics. Workshop of Machine Teaching for Humans. MT4H. Funchal, Portugal.

09/2020. 4 hs Tutorial: Belief Change: From 1985 to present days. ECAI 2020. 24th European Conference on Artificial Intelligence. Santiago de Compostela, Spain.

12/2019. Invited Takl: (More) Philosophical Problems in Belief Revision. Philosophical Tools for Real-World Problems – Reflections on Sven Ove Hansson’s Style of Philosophizing. KTH, Stockholm, Sweden.

09/2019. Keynote: Non-Priorityzed Belief Change. First International Workshop Proof Theory for Automated Deduction, Automated Deduction for Proof Theory, Madeira. Portugal.

08/2019. Invited Talk: Belief Change with Limits of Credibility. The 16th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2019), Yanuca Island, Fiji.

10/2018. 4 hs Tutorial: Belief Revision: 30 years. KR2018, 1 6th International Conference on. Principles of Knowledge Representation and Reasoning Tempe, Arizona (USA).

10/2018. Invited Panellist: Today and Tomorrow in Knowledge Modularity, Contextuality, and Evolution. WOMoCoE 2018. 3rd International Workshop on Ontology Modularity, Contextuality, and Evolution. Tempe, Arizona (USA).

05/2017. 4 hs Tutorial: Belief Revision: 30 years. XVIII Brazilian Logic Conference. May 8-12, 2017 – Pirenópolis / GO, Brazil.

05/2017. Keynote: A Survey on Iterated Belief Change. XVIII Brazilian Logic Conference. May 8-12, 2017 – Pirenópolis / GO, Brazil.

02/2016. Keynote: Gabriele Kern Isberner and Belief Revision. Colloquium Computational Models of Rationality. Dortmund, Germany. February 09 - 10, 2016

05/2016. Tutorial 6 hs: Credibility-limited improvement operators. 1st Campinas Workshop in Contemporary Epistemology. Centre for Logic, Epistemology and the History of Science, Campinas, Brazil.

08/2013. 4 hs Tutorial: Belief Revision: From 1985 to 2013. 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). Beijing, China.

11/2001. Invited Talk: Credibility-Limited functions for belief bases. Third Augustus De Morgan Conference. Department of Computer Science, King’s College, London, UK.

11/2000. 6 hs Tutorial: Belief Revision. From AGM to Computational Models (with Chamir Shopra and Renata Wassermann). International Joint Conference SBIA ¬IBERAMIA 2000. Atibaia, Brazil.

11/1998. Invited Talk: Artificial Intelligence and Non-Standard Logic.. Argentinean Workshop of Philosophy. La Falda, Argentina.

Invited Talks at Universities or Research Groups

6/2024 Invited talk: Belief Change: An Introduction. Valencia Research Institute for Artificial Intelligence, Universitat Politècnica de València, Spain.

6/2024 Invited talk: Playing with spheres, preorders and rankings. Computer Science Department. FernUniversität in Hagen, Germany.

1/2024 Invited talk: Belief Change: From 1985 to present days. Department of Computer Science, University of Cape Town, South Africa

07/2023. Invited Talk: On belief update. Novel insights. Fakultät für Informatik, Technische Universität Dortmund, Germany.

05/2023. Keynote Speaker: De que falamos quando falamos de Inteligência Artificial? E de que deveríamos falar. Ciclo de Conferências | Transição Digital nos Ensinos Básico e Secundário: Da tecnologia à pedagogia. Centro de Congressos da Madeira, Funchal.

03/2023. Invited Talk: IA além do Machine Learning. Tertúlia ‘Transformação Digital: oportunidades e desafios”. Associação Portuguesa de Gestão de Projetos. Portugal.

02/2023. Invited talk: AI beyond ML: Trends and Challenges. Ordem dos Engenheiros. Madeira.

12/2022. Invited talk: (More) Philosophical Problems in Belief Revision. Centre de Recherche en Informatique de Lens (CRIL) Université d'Artois, Lens, France.

09/2022. Invited talk: Knowledge-Based Profile Dynamics. Computer Science Department. FernUniversität in Hagen, Germany.

08/2022. 2hs Tutorial: Belief Change: An Introduction. Departamento de Computación. Universidad de Buenos Aires. Argentina

08/2022. Invited talk: Knowledge-Based Profile Dynamics. Computer Science Department. Universidad Nacional del Sur, Argentina.

07/2022. 15 hs Tutorial: Revisión de Creencias: Perspectiva histórica y desafíos actuales. (with Marcelo Falappa). Escuela de Ciencias Informáticas. Universidad de Buenos Aires.

05/2022. Invited talk: Knowledge-Based Profile Dynamics. Centre de Recherche en Informatique de Lens (CRIL) Université d'Artois, Lens, France.

05/2022. Invited talk: Belief Change with Limits of Credibility. Laboratoire d’Informatique Paris Descartes (LIPADE), Université Paris Cité, Paris, France.

01/2021. Keynote Speaker: Belief Change with Limits of Credibility. 3rd Workshop on Proof Theory and its Applications Workshop on Proof Theory and its Applications, Funchal, Portugal.

12/2020. Invited talk: O renascer da Inteligência Artificial. Riscos e Desafios. Colégio Regional da Madeira de Engenharia Informática, Ordem dos Engenheiros.

11/2020. Invited talk: Advanced Topics in Belief Change. Computer Science Department. University of Buenos Aires.

11/2020. Invited talk: Belief Revision: An introduction. Computer Science Department. University of Buenos Aires.

06/2020. Invited Panellist: III Simpósio de Inteligência Artificial. I2AI. São Paulo, Brazil.

02/2020. Invited talk: Iterated Belief Change. Sociedad Argentina de Análisis Filosófico. (SADAF), Argentina.

05/2019. Invited Talk: Artificial Intelligence and Changes. Risks and Challenges. Department of Business Administration. University of Patras, Greece.

03/2018. 2 hs Tutorial: Belief Revision: 30 years. Institut de Recherche en Informatique de Toulouse (IRIT) at Université Paul Sabatier. March 2, 2018. Toulouse, France.

06/2017. Invited Talk: A Survey on Iterated Belief Change. IME. São Paulo University, Brazil.

09/2013. Invited Talk: O uso de Robots no Ensino de Inteligência Artificial. Computer Science Department. São Paulo University, Brazil.

08/2013. Invited Talk: Carlos Alchourrón- From AGM to DFT. Law Faculty, University of São Paulo.

08/2013. Invited Talk: Belief Revision: From 1985 to 2013. Computer Science Department. São Paulo University, Brazil.

11/2012. Invited Talk: AGM-25 years. Computer Science and Communication Lab, University of Luxembourg.

09/2012. Invited Talk: AGM-25 years. Faculdade de Ciências e Tecnologia. Universidade Nova de Lisboa.

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

05/2010. Invited Talk: 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. 4 hs Tutorial: HighFive Collaborative Workshop. CMU Portugal, Madeira Summer Academy in HCI, CMU Portugal. Madeira. Portugal.

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

12/2006. Invited Talk: Robots for teaching Mathematics and Informatics. Mahasarakham University, Thailand.

09/2004. Invited Talk: From AGM to .... Sciences Faculty, University of Lisbon, Portugal.

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

07/2002. Invited Talk: From AGM to .... University of Birmingham, UK.

11/2001. Invited Talk: Belief Revision: An Introduction. Philosophy Department. University of Regensburg, Germany.

03/2001. Invited Talk: Belief Revision in Computer Science. Universidade Federal de Per¬nambuco, Brazil.

11/2000. Invited Talk: Credibility Limited Functions for Theory Change. IME. São Paulo University, Brazil.

03/2000. Invited Talk: On the notion of Credibility-Limited Functions. Philosophy Department. University of Regensburg, Germany.

07/ 1999. Invited Talk: Belief Revision in Computer Science. Escuela de Ciencias Informáticas, DC- Universidad de Buenos Aires. Argentina.

11/1997. Invited Talk: Semi-Contraction. Philosophy Department- Uppsala University, Sweden.

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

10/ 1995. Invited Talk: Theory Change vs. Base Change. Sociedad Argentina de Analisis Filosófico. (SADAF), Argentina.

02/1995. 2 hs Tutorial: Belief Revision and Non-Monotonic Logics. Departamento de Ciências da Computação. Universidade Federal do Ceará, Brazil.

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

07/ 1992. Invited Talk: Belief revision and knowledge base updat. Facultad de Ciencias. Universidad Católica de Nues¬tra Señora de la Asunción, Paraguay.

In Media

16/05/2023. Youtube. Transição Digital nos
Ensinos Básico e Secundário

20/04/2023. Nem + nem -. RTP Madeira

25/05/2020. Telejornal. RTP Madeira

26/09/2017. Interview: Olhar Indiscreto. RTP
Madeira