WiL Online with Renata Wassermann

15 views

Skip to first unread message

Elaine Pimentel

unread,

Jun 23, 2026, 9:39:14 AM (5 days ago) Jun 23

to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA, Maria Osório Costa, Piotrovskaya, Katya

Dear colleagues,

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!

Katya Piotrovskaya & Maria Osório & 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