Mikaël Monet, Inria Lille. 25 février 2022, 10:30-11:30. ENS, S16. Shapley Values for Relational Databases and Machine Learning The Shapley value is a game-theoretic function that can be used to distribute the wealth of a team in a cooperative game. This function has strong theoretical justifications has been applied across…
12 mars 2021, 10:30-11:30 Séminaire en ligne : https://bbb.di.ens.fr/b/cam-pz6-kdj Traversal algorithms and heuristics for reasoning over logic based knowledge graphs (Davide Benedetto) Knowledge Graphs (KGs) provide a concise and intuitive abstraction for a variety of domains where edges capture the (potentially recursive) relationships between the entities. This is leading to…
5 mars 2021, 10:30-11:30 Séminaire en ligne : https://bbb.di.ens.fr/b/cam-pz6-kdj Grammars for Document Spanners (Liat Peterfreund) We propose a new grammar-based language for defining information-extractors from documents (text) that is built upon the well-studied framework of Document Spanners for extracting structured data from text. While previously studied formalisms for document spanners…
Meghyn Bienvenu, CNRS, Université de Bordeaux 18 décembre 2020, 10:30-11:30 Séminaire en ligne : https://bbb.di.ens.fr/b/cam-pz6-kdj Preferred repairs over inconsistent knowledge bases and connections to argumentation
Val Tannen, University of Pennsylvania 21 Février 2020, 10:00-11:00 ENS, S16 Provenance Analysis for First-order Model Checking
Nofar Carmeli, Technion, Israel Institute of Technology 28 Février 2020, 10:30-11:30 ENS, S16 The Complexity of Answering Unions of Conjunctive Queries
Evgenia (Eugenia) Ternovska Associate Professor | School of Computing Science Simon Fraser University 8888 University Dr., Burnaby, B.C. V5A 1S6 13 Février 2020, 10:30-11:30 ENS, S16 Logic of Information Flows: Expressing Reachability and Cardinality Properties
Silviu Maniu, Université Paris-Sud 7 février 2020, 10:30-11:30 ENS, S16 An Experimental Study of the Treewidth of Real-World Data
Juan Sequeda 29 Novembre 2019, 10:30-11:30 ENS, S16 A Brief History of Knowledge Graph’s Main Ideas
6 décembre 2019, 10h30-11h30. ENS, S16. Order-invariant first-order logic over hollow trees. Order-invariant first-order logic is the extension of first-order logic in which the usage of an additional ordering relation on the structure’s universe is allowed, provided that the evaluation of sentences is independent of the choice of a particular…
