Dissemination of my work

Dissemination

Talks

Keynotes and Tutorial in Scientific Meetings

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


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

25/05/2020. Telejornal. RTP Madeira

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