11 October 2024, 10:30-11:30. ENS, room S16. Datalog boundedness over temporal databases Abstract: We augment datalog with operators of linear temporal logic in order to query dynamic structures where relationships between objects change over time (e.g., in social network graphs, friendships may break but may later be restored). Unlike standard…
Multimodal Extraction of Proofs and Theorems from the Scientific Literature Thursday, July 4th, 2024 at 13:45 in Amphi Jaurès, 29 rue d’Ulm, Paris The PhD will be defended in front of a committee formed of: Elena Cabrio (Université Côte d’Azur), Reviewer Mohammed Hasanuzzaman (Queen’s University Belfast), Examiner Jean Ponce (ENS-PSL…
9 February 2024, 10:30-11:30. ENS, room S16. Property Graph Languages Abstract: The development of practical query languages for graph databases runs well ahead of the underlying theory. The ISO committee in charge of database query languages is currently developing a new standard called Graph Query Language (GQL), the main component…
To celebrate his scientific career and achievements, a scientific and festive event will be organized in Serge Abiteboul’s honor on the occasion of ICDT 2024 in Paestum, Italy, the 27th edition of a conference that Serge helped create in 1986, first held in Rome. The event will be held on…
October 4th, 2023, 10:00, Salles des Actes, ENS, 45 rue d’Ulm, Paris. Ontology-Based Query Answering: Expressivity and Extensions Jury: Carsten Lutz, PR., Leipzig Universität (Reviewer)Marie-Christine Rousset, Prof., Université de Grenoble (Reviewer)Balder ten Cate, Ass. PR., University of Amsterdam (Reviewer)Diego Figueira, CR, CNRS/Univ. Bordeaux (Member)Luc Segoufin, DR, Inria/ENS/PSL (Member)Sophie Tison, PR,…
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,…
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…
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…
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…
12 December 2022, 14:00-15:30. ENS, Hauts du DI. Intégration de données textuelles pour la détection des risques naturels en agriculture Agriculture is entering the digital age through data (which opens up precision agriculture) or knowledge (which opens up new decision support tools). Modern technologies and IoT devices have been applied…
