Dear all, We are excited to announce the next talk in the seminar series "Women in Logic Online" by Renata Wassermann!
Date: Thursday, July 9, 2026 Time: 17:00 CEST Venue: Online via Zoom or streaming on Youtube (link to be sent later) You can register for free at https://ucl.zoom.us/webinar/register/WN_2nPv-PImQYWQDGuVLMozsQ TITLE: Belief Change and Ontology Repair: two sides of the same coin? ABSTRACT: In this talk, I will introduce the basics of Belief Change, focusing on contraction operators, i.e., removing unwanted beliefs. I will then give a brief overview of what is being done in Ontology Repair and how it relates to contraction. While one area gives more attention to philosophical aspects of rationality, the other aims at computational feasibility. Cross-fertilization brings new possibilities for both areas. SHORT BIO: Renata Wassermann is an Associate Professor at the Computer Science Department of the University of São Paulo and part of the Logic, Artificial Intelligence, and Formal Methods research group (LIAMF). She is a researcher at the C4AI (Center for Artificial Intelligence, IBM-FAPESP) and one of the directors of Lawgorithm, an Association for Research in Artificial Intelligence and Law. Her area of research is Artificial Intelligence, with emphasis on Logic and Knowledge Representation. She received a PhD in 2000 from the Institute for Logic, Language and Computation of the University of Amsterdam, with a thesis on "Resource-bounded Belief Revision". Since then, she has been exploring various related topics, such as relevance, ontologies, temporal and dynamic logics, and argumentation, but always biased towards solving all problems with the theory of Belief Revision. Over the last fifteen years, she has been actively applying belief revision techniques to the problem of ontology evolution and repair. We hope to see you there! Maria Osório & Katya Piotrovskaya & Elaine Pimentel Women in Logic https://womeninlogic.org/ -- Elaine. ----------------------------------- Elaine Pimentel Schools Outreach Lead Professor of Logic and Computation Deputy Director of the Computer Science and Philosophy programme Programming Principles, Logic, and Verification Department of Computer Science, Office: Room 3.11, 66-72 Gower Street University College London URL: https://sites.google.com/site/elainepimentel/ UCL Computer Science is an Athena Swan Gold award winner for gender equality UCL is ranked among the top ten in the QS World University Rankings 2024 and is winner of The Times and Sunday Times University of the Year 2024 ----------------------------------- -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BXh6soEGgXFLuVi3Q47ywQ5EDOU3FV2VsvOR_fA5hrB7Q%40mail.gmail.com.
