[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 at
https://urldefense.com/v3/__https://youtube.com/live/C-GhblLQQqA?feature=share__;!!IBzWLUs!RNlqAgIME9yz5au47Oz7PiJvwWX88EeELYIdVVjnWWjYXHrGTnHQkFp_JvwKMfo1-lgVFC56fcU2GCKBiHZeyiiL3gFj-jnwEz73JH4$
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 & Katya & Elaine
Women in Logic
https://urldefense.com/v3/__https://womeninlogic.org/__;!!IBzWLUs!RNlqAgIME9yz5au47Oz7PiJvwWX88EeELYIdVVjnWWjYXHrGTnHQkFp_JvwKMfo1-lgVFC56fcU2GCKBiHZeyiiL3gFj-jnwOoxaYOc$
