Valda Seminar: Avijeet Ghosh

25 September 2023, 10:30-11:30. ENS, room S16. Complexity Study of Reasoning about Knowledge and Public Observations Abstract: This talk explores the model checking and satisfiability problems in logical systems for reasoning about knowledge and observations of intelligent agents and their interactions. We examine the foundations laid by Kripke and Hintikka,…

Continue reading

Valda Seminar: Kuldeep Meel

18 July 2023, 10:30-11:30. ENS, room Emmy Noether, on level -2 of Aile Rataud. Distinct Elements in Streams: An Algorithm for the (Text) Book Abstract: Given a data stream of m elements, the Distinct Elements problem is to estimate the number of distinct elements in the stream. Distinct Elements has…

Continue reading

Valda Seminar: Arnab Bhattacharyya

Postponed. ENS, S16. On Approximating Total Variation Distance Abstract: Total variation distance (TV distance) is a fundamental notion of distance between probability distributions. we introduce and study the problem of computing the TV distance between two product distributions over the domain {0,1}^n. In particular, we establish the following results. The…

Continue reading

Valda Seminar: Lucas Larroque

26 May 2023, 10:30-11:30. ENS, S16. Normalisations of Existential Rules: Not so Innocuous! Existential rules are an expressive knowledge representation language mainly developed to query data. In the literature, they are often supposed to be in some normal form that simplifies technical developments. For instance, a common assumption is that…

Continue reading