Publications

Publications

Publications HAL du labo/EPI VALDA

2025

Article dans une revue

titre
Finding meaningful paths in heterogeneous graphs with PathWays
auteur
Nelly Barret, Antoine Gauquier, Jia-Jean Law, Ioana Manolescu
article
Information Systems, 2025, 127, pp.102463. ⟨10.1016/j.is.2024.102463⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04727209/file/revised.pdf BibTex

Communication dans un congrès

titre
Apprentissage multimodal modulaire pour l’extraction de théorèmes et de preuves dans des documents scientifiques longs
auteur
Shrey Mishra, Antoine Gauquier, Pierre Senellart
article
Extraction et Gestion des Connaissances (EGC), Jan 2025, Strasbourg, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04806300/file/main.pdf BibTex

2024

Article dans une revue

titre
ω-Regular Energy Problems
auteur
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber
article
Formal Aspects of Computing, In press, ⟨10.1145/3678265⟩
Accès au bibtex
https://arxiv.org/pdf/2205.04392 BibTex
titre
Expected Shapley-Like Scores of Boolean Functions: Complexity and Applications to Probabilistic Databases
auteur
Pratik Karmakar, Mikaël Monet, Pierre Senellart, Stéphane Bressan
article
Proceedings of the ACM on Management of Data, 2024, 2 (2 (PODS)), ⟨10.1145/3651593⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04393781/file/main.pdf BibTex
titre
Time-Series Anomaly Detection: Overview and New Trends
auteur
Qinghua Liu, Paul Boniol, Themis Palpanas, John Paparrizos
article
Proceedings of the VLDB Endowment (PVLDB), 2024, 17 (12), pp.4229-4232. ⟨10.14778/3685800.3685842⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04708918/file/VLDB_2024_TSAD_Tutorial.pdf BibTex

Communication dans un congrès

titre
Modular Multimodal Machine Learning for Extraction of Theorems and Proofs in Long Scientific Documents
auteur
Shrey Mishra, Antoine Gauquier, Pierre Senellart
article
JCDL, Dec 2024, Hong Kong, China. ⟨10.1145/3677389.3702540⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04805597/file/main.pdf BibTex
titre
Knowledge Base Embeddings: Semantics and Theoretical Properties
auteur
Camille Bourgaux, Ricardo Guimarães, Raoul Koudijs, Victor Lacerda, Ana Ozaki
article
KR 2024 – 21st International Conference on Principles of Knowledge Representation and Reasoning, Nov 2024, Hanoi, Vietnam
Accès au texte intégral et bibtex
https://hal.science/hal-04730708/file/KR2024_BouGuiKouLacOza.pdf BibTex
titre
Queries With Exact Truth Values in Paraconsistent Description Logics
auteur
Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko
article
KR 2024 – 21st International Conference on Principles of Knowledge Representation and Reasoning, Nov 2024, Hanoi, Vietnam
Accès au texte intégral et bibtex
https://hal.science/hal-04730579/file/KR2024_BieBouKoz.pdf BibTex
titre
Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
auteur
Meghyn Bienvenu, Camille Bourgaux, Robin Jean
article
KR 2024 – 21st International Conference on Principles of Knowledge Representation and Reasoning, Nov 2024, Hanoi, Vietnam
Accès au texte intégral et bibtex
https://hal.science/hal-04730664/file/KR2024-BieBouJea.pdf BibTex
titre
Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable
auteur
David Carral, Lucas Larroque, Michaël Thomazo
article
KR 2024 – 21st International Conference on Principles of Knowledge Representation and Reasoning, Nov 2024, Hanoi, Vietnam
Accès au texte intégral et bibtex
https://hal.science/hal-04710719/file/2024-kr-obqa-datalog-expressible-undecidable.pdf BibTex
titre
Towards Efficient Construction of a Traceable, Multimodal, and Heterogeneous Data Warehouse
auteur
Antoine Gauquier
article
VLDB 2024 PhD Workshop – The 50th International Conference on Very Large Data Bases, Aug 2024, Guangzhou, China
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04617269/file/main.pdf BibTex
titre
DTGraph: Declarative Transformations of Property Graphs
auteur
Angela Bonifati, Yann Ramusat, Filip Murlak, Amela Fejza, Rachid Echahed
article
VLDB 2024 – 50th International Conference on Very Large Databases, Aug 2024, Guangzhou, China. ⟨10.14778/3685800.3685851⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04771261/file/paper.pdf BibTex
titre
First Steps in Building a Knowledge Base of Mathematical Results
auteur
Shrey Mishra, Yacine Brihmouche, Theo Delemazure, Antoine Gauquier, Pierre Senellart
article
SDP Fourth Workshop on Scholarly Document Processing at ACL 2024, Aug 2024, Bangkok, Thailand
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04639523/file/main.pdf BibTex
titre
Querying Inconsistent Prioritized Data
auteur
Camille Bourgaux
article
DL 2024 – 37th International Workshop on Description Logics, Jun 2024, Bergen, Norway
Accès au texte intégral et bibtex
https://hal.science/hal-04591700/file/DL2024.pdf BibTex
titre
A Dichotomy in the Complexity of Consistent Query Answering for Two Atom Queries With Self-Join
auteur
Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo
article
PODS’24 – ACM Conference on Principle of Database Systems, Jun 2024, Santiago, Chile. pp.1-15, ⟨10.1145/3651137⟩
Accès au bibtex
https://arxiv.org/pdf/2309.12059 BibTex
titre
ADecimo: Model Selection for Time Series Anomaly Detection
auteur
Paul Boniol, Emmanouil Sylligardos, John Paparrizos, Panos Trahanias, Themis Palpanas
article
ICDE 2024 – IEEE 40th International Conference on Data Engineering, May 2024, Utrecht, Netherlands
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04590326/file/ADecimo__ICDE_demo%20%281%29.pdf BibTex
titre
d_symb playground: an interactive tool to explore large multivariate time series datasets
auteur
Sylvain W Combettes, Paul Boniol, Charles Truong, Laurent Oudre
article
ICDE 2024 IEEE 40th International Conference on Data Engineering, May 2024, Utrecht, Netherlands
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04590314/file/dsymb_demo%20%281%29.pdf BibTex
titre
An Interactive Dive into Time-Series Anomaly Detection
auteur
Paul Boniol, John Paparrizos, Themis Palpanas
article
ICDE 2024 – 40th International Conference on Data Engineering, May 2024, Utrecht, Netherlands
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04590244/file/ICDE2024_TUTORIAL%20%281%29.pdf BibTex

Chapitre d’ouvrage

titre
On the Impact of Provenance Semiring Theory on the Design of a Provenance-Aware Database System
auteur
Pierre Senellart
article
Antoine Amarilli; Alin Deutsch. The Provenance of Elegance in Computation — Essays Dedicated to Val Tannen, Schloss Dagstuhl, 2024, OpenAccess Series in Informatics, ⟨10.4230/OASIcs.Tannen.2024.12⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04561331/file/main.pdf BibTex

Thèse

titre
Extraction multimodale de preuves et de théorèmes à partir de la littérature scientifique
auteur
Shrey Mishra
article
Information Retrieval [cs.IR]. Université Paris Sciences & Lettres, 2024. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://hal.science/tel-04665528/file/thesis.pdf BibTex

Pré-publication, Document de travail

titre
Modular Multimodal Machine Learning for Extraction of Theorems and Proofs in Long Scientific Documents (Extended Version)
auteur
Shrey Mishra, Antoine Gauquier, Pierre Senellart
article
2024
Accès au bibtex
https://arxiv.org/pdf/2307.09047 BibTex

2023

Article dans une revue

titre
GPC: a pattern calculus for property graphs
auteur
Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Alastair Green, Jan Hidders, Bei Li, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Stefan Plantikow, Ognjen Savkovic, Michael Schmidt, Juan Sequeda, Slawek Staworko, Dominik Tomaszuk, Hannes Voigt, Domagoj Vrgoč, Mingxi Wu, Dusan Zivkovic
article
Proceedings of the ACM on Management of Data, 2023, 1 (2), pp.241-250. ⟨10.1145/3584372.3588662⟩
Accès au bibtex
https://arxiv.org/pdf/2210.16580 BibTex
titre
Tractable Orders for Direct Access to Ranked Answers of Conjunctive Queries
auteur
Nofar Carmeli, Nikolaos Tziavelis, Wolfgang Gatterbauer, Benny Kimelfeld, Mirek Riedewald
article
ACM Transactions on Database Systems, 2023, 48 (1), pp.1-45. ⟨10.1145/3578517⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04278100/file/TODS%20final.pdf BibTex
titre
Improving text mining in plant health domain with GAN and/or pre-trained language model
auteur
Shufan Jiang, Stéphane Cormier, Rafael Angarita, Francis Rousseaux
article
Frontiers in Artificial Intelligence, 2023, 6, pp.1072329. ⟨10.3389/frai.2023.1072329⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04008864/file/GAN_ChouBERT.pdf BibTex

Communication dans un congrès

titre
Extracting Definienda in Mathematical Scholarly Articles with Transformers
auteur
Shufan Jiang, Pierre Senellart
article
The 2nd Workshop on Information Extraction from Scientific Publications at IJCNLP-AACL 2023, Nov 2023, Online, Indonesia
Accès au texte intégral et bibtex
https://hal.science/hal-04282533/file/jiang2023extracting.pdf BibTex
titre
Normalisations of Existential Rules: Not so Innocuous!
auteur
David Carral, Lucas Larroque, Michaël Thomazo, Marie-Laure Mugnier
article
BDA 2023 – 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France
Accès au bibtex
https://arxiv.org/pdf/2206.03124 BibTex
titre
Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
auteur
Meghyn Bienvenu, Camille Bourgaux
article
20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Sep 2023, Rhodes, Greece. pp.97-106, ⟨10.24963/kr.2023/10⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04204432/file/BieBouKR2023.pdf BibTex
titre
Confidential Truth Finding with Multi-Party Computation
auteur
Angelo Saadeh, Pierre Senellart, Stéphane Bressan
article
DEXA 2023 – 34th International Conference on Database and Expert Systems Applications, Aug 2023, Penang, Malaysia
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04139281/file/main.pdf BibTex
titre
Automatically Inferring the Document Class of a Scientific Article
auteur
Antoine Gauquier, Pierre Senellart
article
DocEng 2023 – 23rd ACM Symposium on Document Engineering, Aug 2023, Limerick, Ireland. ⟨10.1145/3573128.3604894⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04138880/file/main.pdf BibTex
titre
SQL Nulls and Two-Valued Logic
auteur
Leonid Libkin, Liat Peterfreund
article
SIGMOD/PODS ’23: International Conference on Management of Data, Jun 2023, Seattle WA, United States. pp.11-20, ⟨10.1145/3584372.3588661⟩
Accès au bibtex
BibTex
titre
Querying Incomplete Numerical Data: Between Certain and Possibile Answers
auteur
Marco Console, Leonid Libkin, Liat Peterfreund
article
SIGMOD/PODS ’23: International Conference on Management of Data, Jun 2023, Seattle WA, United States. pp.349-358, ⟨10.1145/3584372.3588660⟩
Accès au bibtex
https://arxiv.org/pdf/2210.15395 BibTex
titre
Conjunctive Queries With Self-Joins, Towards a Fine-Grained Complexity Analysis
auteur
Nofar Carmeli, Luc Segoufin
article
PODS’23, Jun 2023, Seattle, United States
Accès au bibtex
https://arxiv.org/pdf/2206.04988 BibTex
titre
PG-Schema: schemas for property graphs
auteur
Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Alastair Green, Jan Hidders, Bei Li, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Stefan Plantikow, Ognjen Savkovic, Michael Schmidt, Juan Sequeda, Slawek Staworko, Dominik Tomaszuk, Hannes Voigt, Domagoj Vrgoč, Mingxi Wu, Dusan Zivkovic
article
ACM SIGMOD International Conference on Management of Data (SIGMOD), Jun 2023, Seattle, WA, United States. pp.1-25, ⟨10.1145/3589778⟩
Accès au bibtex
https://arxiv.org/pdf/2211.10962 BibTex
titre
ChouBERT : Pré-entraînement d’un modèle de langue française pour le Crowdsensing avec des Tweets dans un contexte phytosanitaire
auteur
Shufan Jiang, Rafael Angarita, Stéphane Cormier, Julien Orensanz, Francis Rousseaux
article
INFORSID 2023 – INFormatique des ORganisations et Systèmes d’Information et de Décision, May 2023, La Rochelle, France
Accès au texte intégral et bibtex
https://hal.science/hal-04377395/file/INFORSID_2023_p171-172.pdf BibTex
titre
A Simple Algorithm for Consistent Query Answering under Primary Keys
auteur
Diego Figueira, Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo
article
ICDT 2023 – International Conference on Database Theory, Mar 2023, Ioannina, Greece
Accès au bibtex
https://arxiv.org/pdf/2301.08482 BibTex
titre
A Researcher’s Digest of GQL
auteur
Nadime Francis, Amelie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoč
article
26th International Conference on Database Theory (ICDT 2023), Mar 2023, Ioannina, Greece. ⟨10.4230/LIPIcs.ICDT.2023.1⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04094449/file/LIPIcs-ICDT-2023-1.pdf BibTex

HDR

titre
Interrogation de données au travers d’une ontologie: expressivité et extensions
auteur
Michaël Thomazo
article
Information Retrieval [cs.IR]. Ecole Normale Supérieure de Paris, 2023
Accès au texte intégral et bibtex
https://hal.science/tel-04275013/file/hdr-final.pdf BibTex

Mémoire d’étudiant

titre
Indécidabilité du problème de réponse de requête en présence d’ontologie exprimable en Datalog
auteur
Lucas Larroque
article
Computer Science [cs]. 2023
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04347020/file/main.pdf BibTex
titre
Impact of the document class in the automatic extraction of mathematical environments in the scientific literature
auteur
Antoine Gauquier
article
Computer Science [cs]. 2023
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04220990/file/rapport_pfe.pdf BibTex
titre
Étendre un système de gestion de provenance : ProvSQL
auteur
Belkis Djeffal
article
Informatique [cs]. 2023
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04342025/file/BelkisDJEFFAL_Rapport_de_projet_de_fin_d_%C3%A9tudes.pdf BibTex
titre
Inférence automatique de la classe de document à partir de la littérature scientifique
auteur
Antoine Gauquier
article
Computer Science [cs]. 2023
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04379415/file/Final_report__AI311_GAUQUIER_Antoine.pdf BibTex

Pré-publication, Document de travail

titre
Confidential Truth Finding with Multi-Party Computation (Extended Version)
auteur
Angelo Saadeh, Pierre Senellart, Stéphane Bressan
article
2023
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04139243/file/2305.14727.pdf BibTex

2022

Article dans une revue

titre
Tameness and the power of programs over monoids in DA
auteur
Nathan Grosshans, Pierre Mckenzie, Luc Segoufin
article
Logical Methods in Computer Science, 2022, 18 (3), pp.14:1-14:34. ⟨10.46298/lmcs-18(3:14)2022⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03114304/file/Tameness_and_power_programs_over_DA-Published_version.pdf BibTex
titre
Troubles with nulls, views from the users
auteur
Etienne Toussaint, Paolo Guagliardo, Leonid Libkin, Juan Sequeda
article
Proceedings of the VLDB Endowment (PVLDB), 2022, 15 (11), pp.2613-2625. ⟨10.14778/3551793.3551818⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03934346/file/main.pdf BibTex
titre
Enumeration for FO Queries over Nowhere Dense Graphs
auteur
Nicole Schweikardt, Luc Segoufin, Alexandre Vigny
article
Journal of the ACM (JACM), 2022, 69 (3), pp.1-37. ⟨10.1145/3517035⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03809754/file/enum-nwdense.pdf BibTex
titre
Responsible data management
auteur
Julia Stoyanovich, Bill Howe, Hosagrahar Visvesvaraya Jagadish, Sebastian Schelter, Serge Abiteboul
article
Communications of the ACM, 2022, 65 (6), pp.64-74. ⟨10.1145/3488717⟩
Accès au bibtex
BibTex
titre
Enumerating Answers to First-Order Queries over Databases of Low Degree
auteur
Arnaud Durand, Nicole Schweikardt, Luc Segoufin
article
Logical Methods in Computer Science, 2022, 18 (2), pp.23. ⟨10.46298/lmcs-18(2:7)2022⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03809756/file/cdlin-lowdeg.pdf BibTex
titre
5G : amélioration ou aggravation du bilan carbone ?
auteur
Serge Abiteboul, Patrick Lagrange
article
Polytechnique Insights, 2022
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03833620/file/22.5G.AbiteboulLagrange.pdf BibTex
titre
Fragments of bag relational algebra: Expressiveness and certain answers
auteur
Marco Console, Paolo Guagliardo, Leonid Libkin
article
Information Systems, 2022, 105, pp.101604. ⟨10.1016/j.is.2020.101604⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03934340/file/Console_Fragments_2020.pdf BibTex
titre
Propositional and predicate logics of incomplete information
auteur
Marco Console, Paolo Guagliardo, Leonid Libkin
article
Artificial Intelligence, 2022, 302, pp.103603. ⟨10.1016/j.artint.2021.103603⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03934331/file/kr18.pdf BibTex

Communication dans un congrès

titre
Parallelisable Existential Rules: a Story of Pieces
auteur
Maxime Buron, Marie-Laure Mugnier, Michaël Thomazo
article
BDA 2022 – 38ème journée « Gestion de Données – Principes, Technologies et Applications », Oct 2022, Clermont-Ferrand, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03896402/file/BDA_2022_paper_2362.pdf BibTex
titre
Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting
auteur
Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo
article
4th International Workshop on the Resurgence of Datalog in Academia and Industry, Sep 2022, Genoa, Italy
Accès au bibtex
BibTex
titre
Generalized Bundled Fragments for First-Order Modal Logic
auteur
Mo Liu, Anantha Padmanabha, R Ramanujam, Yanjing Wang
article
47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), Aug 2022, Vienna, Austria. pp.70:1–70:14, ⟨10.4230/LIPIcs.MFCS.2022.70⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03765358/file/LIPIcs-MFCS-2022-70.pdf BibTex
titre
Complexity Landscape for Counting Queries
auteur
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
article
35th International Workshop on Description Logics, Aug 2022, Haifa, Israel
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03896410/file/abstract-4.pdf BibTex
titre
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract)
auteur
Meghyn Bienvenu, Camille Bourgaux
article
DL 2022 – 35th International Workshop on Description Logics, Aug 2022, Haifa, Israel
Accès au texte intégral et bibtex
https://hal.science/hal-03801032/file/BieBou-DL2022.pdf BibTex
titre
Revisiting Semiring Provenance for Datalog
auteur
Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo
article
KR 2022 – 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, Haifa, Israel. pp.91-101, ⟨10.24963/kr.2022/10⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03771031/file/kr2022-BBPT.pdf BibTex
titre
Counting Queries over ELHI⊥ Ontologies
auteur
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
article
KR 2022 – 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, Haifa, Israel. pp.53-62, ⟨10.24963/kr.2022/6⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03820249/file/kr2022-0006-bienvenu-et-al.pdf BibTex
titre
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
auteur
Meghyn Bienvenu, Camille Bourgaux
article
KR 2022 – 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, Haifa, Israel
Accès au texte intégral et bibtex
https://hal.science/hal-03770516/file/main.pdf BibTex
titre
Normalisations of Existential Rules: Not so Innocuous!
auteur
David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo
article
KR 2022 – 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, HaÏfa, Israel. pp.102-111, ⟨10.24963/kr.2022/11⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03762686/file/carral-et-al-kr-2022.pdf BibTex
titre
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)
auteur
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
article
IJCAI-ECAI 2022 – 31st International Joint Conference on Artificial Intelligence | 25th European Conference on Artificial Intelligence, Jul 2022, Vienna, Austria. pp.5269-5273, ⟨10.24963/ijcai.2022/733⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03801049/file/BCKRT-extended-abstract-IJCAI2022.pdf BibTex
titre
Graph Pattern Matching in GQL and SQL/PGQ
auteur
Alin Deutsch, Nadime Francis, Alastair Green, Keith Hare, Bei Li, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Wim Martens, Jan Michels, Filip Murlak, Stefan Plantikow, Petra Selmer, Hannes Voigt, Oskar van Rest, Domagoj Vrgoč, Mingxi Wu, Fred Zemke
article
SIGMOD ’22: International Conference on Management of Data, Jun 2022, Philadelphia, United States. ⟨10.1145/3514221.3526057⟩
Accès au bibtex
https://arxiv.org/pdf/2112.06217 BibTex
titre
Tight Fine-Grained Bounds for Direct Access on Join Queries
auteur
Karl Bringmann, Nofar Carmeli, Stefan Mengel
article
SIGMOD/PODS ’22: International Conference on Management of Data, Jun 2022, Philadelphia PA, United States. pp.427-436, ⟨10.1145/3517804.3526234⟩
Accès au bibtex
https://arxiv.org/pdf/2201.02401 BibTex
titre
Efficient Provenance-Aware Querying of Graph Databases with Datalog
auteur
Yann Ramusat, Silviu Maniu, Pierre Senellart
article
GRADES-NDA 2022 – Joint Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA), Jun 2022, Philadelphia, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03664928/file/main.pdf BibTex

Mémoire d’étudiant

titre
TheoremKB : une base de connaissance des résultats mathématiques
auteur
Yacine Brihmouche
article
Informatique [cs]. 2022
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03897168/file/BrihmoucheYacine_rapport.pdf BibTex
titre
Etude de données Twitter en lien avec l’élection présidentielle française d’avril 2022
auteur
Siméon Gheorghin
article
Informatique [cs]. 2022
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03897939/file/Rapport%20de%20stage.pdf BibTex

Ouvrages

titre
Nous sommes les réseaux sociaux
auteur
Serge Abiteboul, Jean Cattan
article
Odile Jacob, 2022
Accès au bibtex
BibTex

Thèse

titre
Provenance à base de semi-anneaux pour les bases de données graphes
auteur
Yann Ramusat
article
Databases [cs.DB]. Université Paris sciences et lettres, 2022. English. ⟨NNT : 2022UPSLE022⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04505107/file/Ramusat_2022_These.pdf BibTex

Pré-publication, Document de travail

titre
Tight Fine-Grained Bounds for Direct Access on Join Queries
auteur
Karl Bringmann, Nofar Carmeli, Stefan Mengel
article
2022
Accès au bibtex
https://arxiv.org/pdf/2201.02401 BibTex

2021

Article dans une revue

titre
Qualité, équité, transparence, vérification et explicabilité des décisions algorithmiques
auteur
Serge Abiteboul
article
Annales des Mines – Enjeux Numériques, 2021
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03117322/file/2021%2003%20EN%20Article%2012%20Serge%20ABITEBOUL%20reluAK.pdf BibTex
titre
A Comparative Study of Gamma Markov Chains for Temporal Non-Negative Factorization
auteur
Louis Filstroff, Olivier Gouvert, Cédric Févotte, Olivier Cappé
article
IEEE Transactions on Signal Processing, 2021, ⟨10.1109/TSP.2021.3060000⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02883800/file/submitted.pdf BibTex
titre
Differential Privacy at Risk: Bridging Randomness and Privacy Budget
auteur
Ashish Dandekar, Debabrota Basu, Stéphane Bressan
article
Proceedings on Privacy Enhancing Technologies, 2021, 2021 (1), pp.64-84. ⟨10.2478/popets-2021-0005⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02942997/file/popets.pdf BibTex
titre
Dans la jungle des identifiants numériques
auteur
Serge Abiteboul
article
Acteurs Publics, 2021
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03172025/file/21.identitenumerique.a.pdf BibTex

Communication dans un congrès

titre
A/B/n Testing with Control in the Presence of Subpopulations
auteur
Yoan Russac, Christina Katsimerou, Dennis Bohle, Olivier Cappé, Aurélien Garivier, Wouter M Koolen
article
NeurIPS 2021 – Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Virtual, France. ⟨10.48550/arXiv.2110.15573⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03407247/file/neurips_2021.pdf BibTex
titre
Fast Rate Learning in Stochastic First Price Bidding
auteur
Juliette Achddou, Olivier Cappé, Aurélien Garivier
article
ACML 2021 – Proceedings of Machine Learning Research 157, 2021, Nov 2021, SIngapore, Singapore. ⟨10.48550/arXiv.2107.01835⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03277164/file/achddou21-supp.pdf BibTex
titre
Parallelisable Existential Rules: a Story of Pieces
auteur
Maxime Buron, Marie-Laure Mugnier, Michaël Thomazo
article
KR 2021 – 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. pp.163-173, ⟨10.24963/kr.2021/16⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03405745/file/krcr-main.pdf BibTex
titre
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
auteur
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
article
KR 2021 – 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. pp.141-150, ⟨10.24963/kr.2021/14⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03345614/file/BCKRT-terminating-chase-KR2021.pdf BibTex
titre
Geometric Models for (Temporally) Attributed Description Logics
auteur
Camille Bourgaux, Ana Ozaki, Jeff Z Pan
article
DL 2021 – 34th International Workshop on Description Logics, Sep 2021, Bratislava, Slovakia
Accès au texte intégral et bibtex
https://hal.science/hal-03345699/file/DL2021_BOP.pdf BibTex
titre
Towards Extraction of Theorems and Proofs in Scholarly Articles
auteur
Shrey Mishra, Lucas Pluvinage, Pierre Senellart
article
DocEng ’21 – 21st ACM Symposium on Document Engineering, Aug 2021, Limerick, Ireland
Accès au texte intégral et bibtex
https://hal.science/hal-03293643/file/without_copy.pdf BibTex
titre
Cardinality Queries over DL-Lite Ontologies
auteur
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
article
IJCAI 2021 – 30th International Joint Conference on Artificial Intelligence, Aug 2021, Montreal, Canada
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03405769/file/main.pdf BibTex
titre
On Limited-Memory Subsampling Strategies for Bandits
auteur
Dorian Baudry, Yoan Russac, Olivier Cappé
article
ICML 2021- International Conference on Machine Learning, Jul 2021, Vienna / Virtual, Austria
Accès au texte intégral et bibtex
https://hal.science/hal-03265442/file/main.pdf BibTex
titre
Datalog Unchained
auteur
Victor Vianu
article
SIGMOD/PODS ’21- International Conference on Management of Data, Jun 2021, Xi’an, Shaanxi / Virtual Event China, China. pp.57-69, ⟨10.1145/3452021.3458815⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03381199/file/pods101gm.pdf BibTex
titre
Self-Concordant Analysis of Generalized Linear Bandits with Forgetting
auteur
Yoan Russac, Louis Faury, Olivier Cappé, Aurélien Garivier
article
AISTATS 2021 – International Conference on Artificial Intelligence and Statistics, Apr 2021, San Diego / Virtual, United States. ⟨10.48550/arXiv.2011.00819⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02984117/file/main.pdf BibTex
titre
Grammars for Document Spanners
auteur
Liat Peterfreund
article
ICDT 2021 – 24th International Conference on Extending Database Technology, Mar 2021, Nicosia / Virtual, Cyprus
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03104144/file/mainArxiv.pdf BibTex
titre
Provenance-Based Algorithms for Rich Queries over Graph Databases
auteur
Yann Ramusat, Silviu Maniu, Pierre Senellart
article
EDBT 2021 – 24th International Conference on Extending Database Technology, Mar 2021, Nicosia / Virtual, Cyprus
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03140067/file/p16.pdf BibTex
titre
Algorithmes Efficaces pour les Enchères Répétées au Second Prix
auteur
Juliette Achddou, Olivier Cappé, Aurélien Garivier
article
ALT 2021 – 32nd International Conference on Algorithmic Learning Theory, Mar 2021, Paris, France. ⟨10.48550/arXiv.2011.05072⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02997579/file/achddou21.pdf BibTex
titre
Survey on Feature Transformation Techniques for Data Streams
auteur
Maroua Bahri, Albert Bifet, Silviu Maniu, Heitor Murilo Gomes
article
IJCAI-PRICAI 2020 – 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, Jan 2021, Yokohama / Virtual, Japan. pp.4796-4802, ⟨10.24963/ijcai.2020/668⟩
Accès au bibtex
BibTex

Mémoire d’étudiant

titre
Gender Discrimination in Data Analysis: a Socio-Technical Approach
auteur
Riccardo Corona
article
Databases [cs.DB]. 2021
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03374130/file/thesis.pdf BibTex

Pré-publication, Document de travail

titre
A Practical Dynamic Programming Approach to Datalog Provenance Computation
auteur
Yann Ramusat, Silviu Maniu, Pierre Senellart
article
2021
Accès au bibtex
https://arxiv.org/pdf/2112.01132 BibTex
titre
The theory of concatenation over finite models
auteur
Dominik D Freydenberger, Liat Peterfreund
article
2021
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03104159/file/1912.06110.pdf BibTex
titre
Handling SQL Nulls with Two-Valued Logic
auteur
Leonid Libkin, Liat Peterfreund
article
2021
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03104130/file/2012.13198-2.pdf BibTex

2020

Article dans une revue

titre
Making AI Machines Work for Humans in FoW
auteur
Senjuti Basu Roy, Lei Chen, Atsuyuki Morishima, James Abello Monedero, Pierre Bourhis, François Charoy, Marina Danilevsky, Gautam Das, Gianluca Demartini, Abishek Dubey, Shady Elbassuoni, David Gross-Amblard, Emilie Hoareau, Munenari Inoguchi, Jared Kenworthy, Itaru Kitahara, Dongwon Lee, Yunyao Li, Ria Mae Borromeo, Paolo Papotti, Raghav Rao, Sudeepa Roy, Pierre Senellart, Keishi Tajima, Saravanan Thirumuruganathan, Marion Tommasi, Kazutoshi Umemoto, Andrea Wiggins, Koichiro Yoshida, Sihem Amer-Yahia
article
SIGMOD record, 2020, 49 (2), pp.30-35. ⟨10.1145/3442322.3442327⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03103700/file/Making%20AI%20Machines%20Work%20for%20Humans%20in%20FoW.pdf BibTex
titre
Connecting Knowledge Compilation Classes and Width Parameters
auteur
Antoine Amarilli, Florent Capelli, Mikaël Monet, Pierre Senellart
article
Theory of Computing Systems, 2020, ⟨10.1007/s00224-019-09930-2⟩
Accès au bibtex
https://arxiv.org/pdf/1811.02944 BibTex
titre
Quel patrimoine pour l’informatique ? Introduction au numéro
auteur
Serge Abiteboul, Florence Hachez-Leroy
article
Patrimoine industriel, 2020, Patrimoine industriel informatique, 73
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02613465/file/0c_Introduction.v7.2.pdf BibTex
titre
Monadic Datalog, Tree Validity, and Limited Access Containment
auteur
Michael Benedikt, Pierre Bourhis, Georg Gottlob, Pierre Senellart
article
ACM Transactions on Computational Logic, 2020, 21 (1), pp.6:1-6:45. ⟨10.1145/3344514⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02307999/file/mdl.pdf BibTex
titre
First-order queries on classes of structures with bounded expansion
auteur
Wojciech Kazana, Luc Segoufin
article
Logical Methods in Computer Science, 2020, 16 (1), ⟨10.23638/LMCS-16(1:25)2020⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01706665/file/main-final.pdf BibTex
titre
Images de la transformation numérique
auteur
Serge Abiteboul, Claire Mathieu
article
Patrimoine industriel, 2020
Accès au bibtex
BibTex

Communication dans un congrès

titre
Algorithmes à base de provenance pour des requêtes enrichies sur les bases de données graphes
auteur
Yann Ramusat, Silviu Maniu, Pierre Senellart
article
BDA 2020 – 36ème Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2020, Paris / Virtuel, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03103509/file/main.pdf BibTex
titre
Confidentialité différentielle à risque : Relier les sources d’aléa et un budget de confidentialité
auteur
Ashish Dandekar, Debabrota Basu, Pierre Senellart, Stéphane Bressan
article
BDA 2020 – 36ème Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2020, Paris / Virtuel, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03103528/file/BDA.pdf BibTex
titre
Knowledge-Preserving Certain Answers for SQL-like Queries
auteur
Etienne Toussaint, Paolo Guagliardo, Leonid Libkin
article
KR 2020 – 17th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2020, Rhodes / Virtual, Greece. pp.758-767, ⟨10.24963/kr.2020/78⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03128504/file/main1.pdf BibTex
titre
Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
auteur
Meghyn Bienvenu, Camille Bourgaux
article
KR 2020 – 17th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2020, Rhodes, Greece. pp.141-151
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02947251/file/BieBou-KR20.pdf BibTex
titre
Reasoning about Measures of Unmeasurable Sets
auteur
Marco Console, Matthias Hofer, Leonid Libkin
article
KR 2020 – 17th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2020, Rhodes / Virtual, Greece. pp.264-273, ⟨10.24963/kr.2020/27⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03128512/file/main2.pdf BibTex
titre
Provenance for the Description Logic ELHr (Extended Abstract)
auteur
Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
article
DL 2020 – 33rd International Workshop on Description Logics, Sep 2020, Rhodes / Virtual, Greece
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02947265/file/DL2020.pdf BibTex
titre
Compressed k-Nearest Neighbors Ensembles for Evolving Data Streams
auteur
Maroua Bahri, Silviu Maniu, Albert Bifet, Rodrigo Fernandes de Mello, Nikolaos Tziortziotis
article
ECAI 2020 – 24th European Conference on Artificial Intelligence, Aug 2020, Santiago de Compostella / Virtual, Spain
Accès au texte intégral et bibtex
https://hal.science/hal-03189997/file/bahri2020knn.pdf BibTex
titre
CS-ARF: Compressed Adaptive Random Forests for Evolving Data Stream Classification
auteur
Maroua Bahri, Heitor Murilo Gomes, Albert Bifet, Silviu Maniu
article
IJCNN 2020 – International Joint Conference on Neural Networks, Jul 2020, Glasgow / Virtual, United Kingdom. pp.1-8, ⟨10.1109/IJCNN48605.2020.9207188⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03189967/file/bahri2020adaptive.pdf BibTex
titre
Provenance for the Description Logic ELHr
auteur
Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
article
IJCAI-PRICAI-20 – Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence, Jul 2020, Yokohama, Japan. pp.1862-1869, ⟨10.24963/ijcai.2020/258⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02899464/file/paper2243.pdf BibTex
titre
Answering Counting Queries over DL-Lite Ontologies
auteur
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
article
IJCAI 2020 – Twenty-Ninth International Joint Conference on Artificial Intelligence, Jul 2020, Yokohama, Japan
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02927913/file/main.pdf BibTex
titre
Successor-Invariant First-Order Logic on Classes of Bounded Degree
auteur
Julien Grange
article
LICS 2020 – Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken / Virtual, Germany. ⟨10.1145/3373718.3394767⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02882118/file/succ_inv_bounded_degree.pdf BibTex
titre
Queries with Arithmetic on Incomplete Databases
auteur
Marco Console, Matthias Hofer, Leonid Libkin
article
SIGMOD/PODS 2020 : International Conference on Management of Data, Jun 2020, Portland / Virtual, United States. pp.179-189, ⟨10.1145/3375395.3387666⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03127717/file/qai.pdf BibTex
titre
Projection Views of Register Automata
auteur
Luc Segoufin, Victor Vianu
article
PODS’20: Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Jun 2020, Portland / Virtual, United States. pp.299-313, ⟨10.1145/3375395.3387651⟩
Accès au bibtex
BibTex
titre
Coping with Incomplete Data: Recent Advances
auteur
Marco Console, Paolo Guagliardo, Leonid Libkin, Etienne Toussaint
article
SIGMOD/PODS 2020 – International Conference on Management of Data, Jun 2020, Portland / Virtual, United States. pp.33-47, ⟨10.1145/3375395.3387970⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03127726/file/main.pdf BibTex
titre
Efficient Batch-Incremental Classification Using UMAP for Evolving Data Streams
auteur
Maroua Bahri, Bernhard Pfahringer, Albert Bifet, Silviu Maniu
article
IDA 2020 – 18th International Symposium on Intelligent Data Analysis, Apr 2020, Konstanz / Virtual, Germany. pp.40-53, ⟨10.1007/978-3-030-44584-3_4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03190032/file/bahri2020efficient.pdf BibTex
titre
Weight Annotation in Information Extraction
auteur
Johannes Doleschal, Benny Kimelfeld, Wim Martens, Liat Peterfreund
article
ICDT 2020 – 23rd International Conference on Database Theory, Mar 2020, Copenhague / Virtual, Denmark. ⟨10.4230/LIPIcs.ICDT.2020.8⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03104155/file/LIPIcs-ICDT-2020-8-2.pdf BibTex
titre
The Power of Programs over Monoids in J
auteur
Nathan Grosshans
article
LATA 2020 – 14th International Conference on Language and Automata Theory and Applications, Mar 2020, Milan, Italy. pp.315-327, ⟨10.1007/978-3-030-40608-0_22⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02414771/file/Power_programs_over_J-Author_version.pdf BibTex
titre
Order-Invariant First-Order Logic over Hollow Trees
auteur
Julien Grange, Luc Segoufin
article
CSL 2020 – 28th annual conference of the European Association for Computer Science Logic, Jan 2020, Barcelona, Spain. pp.1-23, ⟨10.4230/LIPIcs.CSL.2020.23⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02310749/file/hollow_tree.pdf BibTex

Mémoire d’étudiant

titre
A Knowledge Base of Mathematical Results
auteur
Theo Delemazure
article
Artificial Intelligence [cs.AI]. 2020
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02940819/file/rapport_de_stage_delemazure.pdf BibTex
titre
Extracting scientific results from research articles
auteur
Lucas Pluvinage
article
Artificial Intelligence [cs.AI]. 2020
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02956526/file/Rapport_de_stage_M2.pdf BibTex

Rapport

titre
Initiative face au virus. Regards croisés sur l’épidemie de Covid-19 apportés par les données sanitaires et de géolocalisation (mars à octobre 2020)
auteur
Jamal Atif, Bertrand Cabot, Olivier Cappé, Olga Mula, Rafael Pinot
article
[Rapport de recherche] Université PSL; Inria; CNRS. 2020
Accès au texte intégral et bibtex
https://hal.science/hal-03084832/file/FACE-AU-VIRUS-2.pdf BibTex
titre
Making data portability more effective for the digital economy
auteur
Jan Krämer, Pierre Senellart, Alexandre de Streel
article
[Technical Report] CERRE. 2020
Accès au bibtex
BibTex
titre
Initiative face au virus Observations sur la mobilité pendant l’épidémie de Covid-19
auteur
Jamal Atif, Olivier Cappé, Akin Kazakçi, Yannick Léo, Laurent Massoulié, Olga Mula
article
[0] Université PSL. 2020
Accès au texte intégral et bibtex
https://hal.science/hal-02921194/file/Rapport_num1_FaceAuVirus_25052020.pdf BibTex

Thèse

titre
Sur le pouvoir d’expression des logiques définies par invariance
auteur
Julien Grange
article
Logic in Computer Science [cs.LO]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLE042⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03557305/file/Grange_2020_These.pdf BibTex

Pré-publication, Document de travail

titre
Algorithms for Non-Stationary Generalized Linear Bandits
auteur
Yoan Russac, Olivier Cappé, Aurélien Garivier
article
2020
Accès au texte intégral et bibtex
https://hal.science/hal-02514151/file/preprint.pdf BibTex

2019

Article dans une revue

titre
Evaluating Datalog via Tree Automata and Cycluits
auteur
Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart
article
Theory of Computing Systems, 2019, 63 (7), pp.1620-1678. ⟨10.1007/s00224-018-9901-2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01891811/file/1808.04663v2.pdf BibTex
titre
Absent words in a sliding window with applications
auteur
Maxime Crochemore, Alice Héliou, Gregory Kucherov, Laurent Mouchard, Solon Pissis, Yann Ramusat
article
Information and Computation, 2019, pp.104461. ⟨10.1016/j.ic.2019.104461⟩
Accès au bibtex
BibTex
titre
On the Height of Towers of Subsequences and Prefixes
auteur
Stěpán Holub, Tomáš Masopust, Michaël Thomazo
article
Information and Computation, 2019, ⟨10.1016/j.ic.2019.01.004⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02269576/file/towers.pdf BibTex
titre
Algorithms for Online Influencer Marketing
auteur
Paul Lagrée, Olivier Cappé, Bogdan Cautis, Silviu Maniu
article
ACM Transactions on Knowledge Discovery from Data (TKDD), 2019, 13 (1), pp.1-30. ⟨10.1145/3274670⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01478788/file/tkdd.pdf BibTex
titre
Computing Possible and Certain Answers over Order-Incomplete Data
auteur
Antoine Amarilli, Mouhamadou Lamine Ba, Daniel Deutch, Pierre Senellart
article
Theoretical Computer Science, 2019, 797, pp.42-76. ⟨10.1016/j.tcs.2019.05.013⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01891814/file/S0304397519303214.pdf BibTex
titre
Transparency, Fairness, Data Protection, Neutrality: Data Management Challenges in the Face of New Regulation
auteur
Serge Abiteboul, Julia Stoyanovich
article
Journal of data and information quality, 2019, ⟨10.1145/3310231⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02066516/file/1903.03683.pdf BibTex

Communication dans un congrès

titre
Weighted Linear Bandits for Non-Stationary Environments
auteur
Yoan Russac, Claire Vernade, Olivier Cappé
article
NeurIPS 2019 – 33rd Conference on Neural Information Processing Systems, Dec 2019, Vancouver, Canada
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02291460/file/main.pdf BibTex
titre
Provenance in Databases: Principles and Applications
auteur
Pierre Senellart
article
RW 2019 : Reasoning Web Summer School, Sep 2019, Bolzano, Italy. pp.104-109, ⟨10.1007/978-3-030-31423-1_3⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02293688/file/paper.pdf BibTex
titre
BelMan: An Information-Geometric Approach to Stochastic Bandits
auteur
Debabrota Basu, Pierre Senellart, Stéphane Bressan
article
ECML/PKDD – The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2019, Würzburg, Germany
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02195539/file/main.pdf BibTex
titre
Reasoning about disclosure in data integration in the presence of source constraints
auteur
Michael Benedikt, Pierre Bourhis, Louis Jachiet, Michaël Thomazo
article
IJCAI 2019 – 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02145369/file/hal.pdf BibTex
titre
Querying Attributed DL-Lite Ontologies Using Provenance Semirings (Extended Abstract)
auteur
Camille Bourgaux, Ana Ozaki
article
DL 2019 – 32nd International Workshop on Description Logics, Jun 2019, Oslo, Norway
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02152064/file/BouOza_DL19.pdf BibTex
titre
Learning How to Correct a Knowledge Base from the Edit History
auteur
Thomas Pellissier Tanon, Camille Bourgaux, Fabian M. Suchanek
article
World Wide Web Conference, May 2019, San Francisco, United States. ⟨10.1145/3308558.3313584⟩
Accès au texte intégral et bibtex
https://imt.hal.science/hal-02066041/file/2019-WWW-corhist.pdf BibTex
titre
An Experimental Study of the Treewidth of Real-World Graph Data
auteur
Silviu Maniu, Pierre Senellart, Suraj Jog
article
ICDT 2019 – 22nd International Conference on Database Theory, Mar 2019, Lisbon, Portugal. pp.18, ⟨10.4230/LIPIcs.ICDT.2019.12⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02087763/file/LIPIcs-ICDT-2019-12.pdf BibTex
titre
A Single Approach to Decide Chase Termination on Linear Existential Rules
auteur
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
article
ICDT 2019 – 22nd International Conference on Database Theory, Mar 2019, Lisbonne, Portugal. pp.18:1–18:19, ⟨10.4230/LIPIcs.ICDT.2019.18⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02148200/file/LIPIcs-ICDT-2019-18.pdf BibTex
titre
Querying Attributed DL-Lite Ontologies Using Provenance Semirings
auteur
Camille Bourgaux, Ana Ozaki
article
Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), Jan 2019, Honolulu, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02109645/file/AAAI2019-Bourgaux-Ozaki.pdf BibTex

Chapitre d’ouvrage

titre
Les algorithmes pourraient-ils remplacer les juges ?
auteur
Serge Abiteboul, Florence G’Sell
article
Le Big Data et le droit, Dalloz, 2019, Thèmes et Commentaire
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02304016/file/02_Gsell%20Abiteboul%20algorithmes%20et%20juges.pdf BibTex

Thèse

titre
Le Linked Data à l’université : la plateforme LinkedWiki
auteur
Karima Rafes
article
Web. Université Paris Saclay (COmUE), 2019. Français. ⟨NNT : 2019SACLS032⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02003672/file/73004_RAFES_2019_diffusion.pdf BibTex

Pré-publication, Document de travail

titre
An Experimental Study of the Treewidth of Real-World Graph Data (Extended Version)
auteur
Silviu Maniu, Pierre Senellart, Suraj Jog
article
2019
Accès au bibtex
https://arxiv.org/pdf/1901.06862 BibTex

2018

Article dans une revue

titre
Les déclinaisons de la neutralité
auteur
Serge Abiteboul
article
Annales des Mines – Enjeux Numériques, 2018
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01963510/file/18.Mines.Neutralite.4.pdf BibTex
titre
ProvSQL: Provenance and Probability Management in PostgreSQL
auteur
Pierre Senellart, Louis Jachiet, Silviu Maniu, Yann Ramusat
article
Proceedings of the VLDB Endowment (PVLDB), 2018, 11 (12), pp.2034-2037. ⟨10.14778/3229863.3236253⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01851538/file/p976-senellart.pdf BibTex
titre
On Measuring Bias in Online Information
auteur
Evaggelia Pitoura, Panayiotis Tsaparas, Giorgos Flouris, Irini Fundulaki, Panagiotis Papadakos, Serge Abiteboul, Gerhard Weikum
article
SIGMOD record, 2018, pp.1-6
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01638069/file/bias-sr.pdf BibTex
titre
Quel patrimoine pour l’informatique ? Introduction au numéro
auteur
Florence Hachez-Leroy, Serge Abiteboul
article
Patrimoine industriel, 2018, 2018/2 (n°73), pp.8-19
Accès au bibtex
BibTex
titre
Les algorithmes du commerce
auteur
Serge Abiteboul
article
Concurrences [Competition law journal / Revue des droits de la concurrence], 2018
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01744283/file/NasseAlgorithmesConcurrence.pdf BibTex

Communication dans un congrès

titre
Une exploration désagrégée de corpus d’archives Web pour étudier des collectifs migrants éteints.
auteur
Quentin Lobbé
article
ICADL 2018 – 20th International Conference on Asia-Pacific Digital Libraries, Nov 2018, Hamilton, New Zealand. pp.1-12
Accès au texte intégral et bibtex
https://hal.science/hal-01895955/file/where-the-dead-blogs-are.pdf BibTex
titre
Designing scientific SPARQL queries using autocompletion by snippets
auteur
Karima Rafes, Serge Abiteboul, Sarah Cohen-Boulakia, Bastien Rance
article
14th IEEE International Conference on eScience, Oct 2018, Amsterdam, Netherlands
Accès au texte intégral et bibtex
https://hal.science/hal-01874780/file/papier-long-e%20%2818%29.pdf BibTex
titre
A Single Approach to Decide Chase Termination on Linear Existential Rules
auteur
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
article
31st International Workshop on Description Logics (DL), Oct 2018, Tempe, United States
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892353/file/main.pdf BibTex
titre
Système de détection d’événements historiques depuis des corpus d’archives Web
auteur
Quentin Lobbé
article
22nd International Conference on Theory and Practice of Digital Libraries (TPDL 2018), Sep 2018, Porto, Portugal
Accès au texte intégral et bibtex
https://hal.science/hal-01895951/file/camera-ready_4.pdf BibTex
titre
Semiring Provenance over Graph Databases
auteur
Yann Ramusat, Silviu Maniu, Pierre Senellart
article
10th USENIX Workshop on the Theory and Practice of Provenance (TaPP 2018), Jul 2018, London, United Kingdom
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01850510/file/tapp2018-paper-ramusat.pdf BibTex
titre
Explanations and Transparency in Collaborative Workflows
auteur
Serge Abiteboul, Pierre Bourhis, Victor Vianu
article
PODS 2018 – 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles Of Database Systems, Jun 2018, Houston, Texas, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01744978/file/pods050withoutcopyright.pdf BibTex
titre
Enumeration for FO Queries over Nowhere Dense Graphs
auteur
Nicole Schweikardt, Luc Segoufin, Alexandre Vigny
article
PODS 2018 – Principles Of Database Systems, Jun 2018, Houston, United States
Accès au bibtex
BibTex
titre
Enumeration of MSO Queries on Strings with Constant Delay and Logarithmic Updates
auteur
Matthias Niewerth, Luc Segoufin
article
Principles of Databse Systems, PODS’18, Jun 2018, Houston, United States. ⟨10.1145/3196959.3196961⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01895796/file/enum-update-words.pdf BibTex
titre
Focused Crawling through Reinforcement Learning
auteur
Miyoung Han, Pierre-Henri Wuillemin, Pierre Senellart
article
18th International Conference on Web Engineering (ICWE 2018), Jun 2018, Cáceres, Spain. pp.261-278, ⟨10.1007/978-3-319-91662-0_20⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01851547/file/crawling_2018.pdf BibTex
titre
Form Filling based on Constraint Solving
auteur
Ben Spencer, Michael Benedikt, Pierre Senellart
article
18th International Conference on Web Engineering (ICWE 2018), Jun 2018, Cáceres, Spain. ⟨10.1007/978-3-319-91662-0_20⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01851555/file/paper.pdf BibTex
titre
A Knowledge Base for Personal Information Management
auteur
David Montoya, Thomas Pellissier Tanon, Serge Abiteboul, Pierre Senellart, Fabian M. Suchanek
article
LDOW2018 – Linked Open Data Workshop at the World Wide Web Conference, Apr 2018, Lyon, France
Accès au texte intégral et bibtex
https://imt.hal.science/hal-01719312/file/article-02.pdf BibTex
titre
Connecting Width and Structure in Knowledge Compilation
auteur
Antoine Amarilli, Mikaël Monet, Pierre Senellart
article
ICDT 2018 – 21st International Conference on Database Theory, Mar 2018, Vienna, Austria. pp.1-17, ⟨10.4230/LIPIcs.ICDT.2018.6⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01851564/file/amarilli2018connecting.pdf BibTex

Chapitre d’ouvrage

titre
The Digital Shoebox
auteur
Serge Abiteboul
article
Memory, edited by Philippe Tortell, Mark Turin, and Margot Young, UBC Press, 2018
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01875161/file/TheDigitalShoeBox.final.pdf BibTex

Ouvrages

titre
Le bot qui murmurait à l’oreille de la vieille dame (et autres nouvelles numériques)
auteur
Serge Abiteboul
article
Editions le Pommier, pp.166, 2018, 978-2746517523
Accès au bibtex
BibTex

Rapport

titre
A Single Approach to Decide Chase Termination on Linear Existential Rules
auteur
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
article
[Research Report] arXiv:1810.02132. 2018
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892375/file/main-arxiv.pdf BibTex

Thèse

titre
Énumération des requêtes et graphes nulle-part denses
auteur
Alexandre Vigny
article
Databases [cs.DB]. Université Paris-Diderot, 2018. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://inria.hal.science/tel-01963540/file/these-vigny.pdf BibTex
titre
Approches d’apprentissage par renforcement dans les environnements dynamiques
auteur
Miyoung Han
article
Databases [cs.DB]. Télécom ParisTech, 2018. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://inria.hal.science/tel-01891805/file/Thesis.pdf BibTex

Pré-publication, Document de travail

titre
BelMan: Bayesian Bandits on the Belief–Reward Manifold
auteur
Debabrota Basu, Pierre Senellart, Stéphane Bressan
article
2018
Accès au bibtex
https://arxiv.org/pdf/1805.01627 BibTex
titre
Connecting Width and Structure in Knowledge Compilation (Extended Version)
auteur
Antoine Amarilli, Mikaël Monet, Pierre Senellart
article
2018
Accès au bibtex
https://arxiv.org/pdf/1709.06188 BibTex

2017

Article dans une revue

titre
Provenance and Probabilities in Relational Databases: From Theory to Practice
auteur
Pierre Senellart
article
SIGMOD record, 2017, pp.1-11
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01672566/file/paper.pdf BibTex
titre
Bottom-up automata on data trees and vertical XPath
auteur
Diego Figueira, Luc Segoufin
article
Logical Methods in Computer Science, 2017, 13 (4), ⟨10.23638/LMCS-13(4:5)2017⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01631219/file/1710.08748.pdf BibTex

Communication dans un congrès

titre
Une autocomplétion générique de SPARQL dans un contexte multi-services
auteur
Karima Rafes, Sarah Cohen-Boulakia, Serge Abiteboul
article
BDA 2017 – 33ème conférence sur la «Gestion de Données — Principes, Technologies et Applications», Nov 2017, Nancy, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01627760/file/BDA2017_DEMO_Autocompletion_SPARQL.pdf BibTex
titre
Possible and Certain Answers for Queries over Order-Incomplete Data
auteur
Antoine Amarilli, Mouhamadou Lamine Ba, Daniel Deutch, Pierre Senellart
article
24th International Symposium on Temporal Representation and Reasoning (TIME 2017), Oct 2017, Mons, Belgium. pp.4:1-4:19, ⟨10.4230/LIPIcs.TIME.2017.4⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01614571/file/1707.07222.pdf BibTex
titre
Issues in Ethical Data Management – Extended Abstract
auteur
Serge Abiteboul
article
PPDP 2017 – 19th International Symposium on Principles and Practice of Declarative Programming, Oct 2017, Namur, Belgium
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01621687/file/Abiteboul-PPDP.2.pdf BibTex
titre
Personal Knowledge Base Systems
auteur
Serge Abiteboul, David Montoya
article
PAP 2017, Personal analytics and privacy, Sep 2017, Skopje, Macedonia
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01592601/file/AbiteboulMontoya.2.pdf BibTex
titre
The Power of Programs over Monoids in DA
auteur
Nathan Grosshans, Pierre Mckenzie, Luc Segoufin
article
42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), Aug 2017, Aalborg, Denmark. pp.2:1-2:20, ⟨10.4230/LIPIcs.MFCS.2017.2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02303526/file/Grosshans_N.-McKenzie_P.-Segoufin_L.-The_Power_of_Programs_over_Monoids_in_DA.pdf BibTex
titre
Fides: Towards a Platform for Responsible Data Science
auteur
Julia Stoyanovich, Bill Howe, Serge Abiteboul, Gerome Miklau, Arnaud Sahuguet, Gerhard Weikum
article
SSDBM’17 – 29th International Conference on Scientific and Statistical Database Management, Jun 2017, Chicago, United States. ⟨10.1145/3085504.3085530⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01522418/file/authorfides3.pdf BibTex
titre
Towards Approximating Incomplete Queries over Partially Complete Databases (Extended Abstract)
auteur
Ognjen Savković, Evgeny Kharlamov, Werner Nutt, Pierre Senellart
article
AMW, Jun 2017, Montevideo, Uruguay
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01586884/file/paper9.pdf BibTex
titre
Conjunctive Queries on Probabilistic Graphs: Combined Complexity
auteur
Antoine Amarilli, Mikaël Monet, Pierre Senellart
article
Principles of Database Systems (PODS), May 2017, Chicago, United States. ⟨10.1145/3034786.3056121⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01486634/file/main.pdf BibTex
titre
Top-k Querying of Unknown Values under Order Constraints
auteur
Antoine Amarilli, Yael Amsterdamer, Tova Milo, Pierre Senellart
article
ICDT 2017 – International Conference on Database Theory, Mar 2017, Venice, Italy. ⟨10.4230/LIPIcs.ICDT.2017.5⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01439295/file/amarilli2017top.pdf BibTex
titre
Combined Tractability of Query Evaluation via Tree Automata and Cycluits
auteur
Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart
article
ICDT 2017 – International Conference on Database Theory, Mar 2017, Venice, Italy. ⟨10.4230/LIPIcs.ICDT.2017.6⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01439294/file/amarilli2017combined.pdf BibTex
titre
Constant Delay Enumeration for FO Queries over Databases with Local Bounded Expansion
auteur
Luc Segoufin, Alexandre Vigny
article
ICDT, Mar 2017, Venise, Italy
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01589303/file/localbounded.pdf BibTex

Chapitre d’ouvrage

titre
Archivage du Web
auteur
Pierre Senellart
article
Les Big Data à découvert, CNRS Éditions, 2017, 978-2-271-11464-8
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01497800/file/Archivage_du_Web.pdf BibTex

Ouvrages

titre
Actes de la conférence BDA 2017
auteur
Pierre Senellart, Amedeo Napoli
article
2017
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02563374/file/bda2017-actes.pdf BibTex
titre
Proceedings of the 20th International Workshop on the Web and Databases, WebDB 2017
auteur
Alexandra Meliou, Pierre Senellart
article
, 2017, 978-1-4503-4983-3
Accès au bibtex
BibTex
titre
Le temps des algorithmes
auteur
Serge Abiteboul, Gilles Dowek
article
Editions Le Pommier, pp.192, 2017, 978-2746511750
Accès au bibtex
BibTex
titre
Terra Data
auteur
Serge Abiteboul, Valérie Peugeot
article
Editions Le Pommier, pp.320, 2017, 978-2-7465-1241-2
Accès au bibtex
BibTex

Pré-publication, Document de travail

titre
Top-k Querying of Unknown Values under Order Constraints (Extended Version)
auteur
Antoine Amarilli, Yael Amsterdamer, Tova Milo, Pierre Senellart
article
2017
Accès au bibtex
https://arxiv.org/pdf/1701.02634 BibTex

2016

Rapport

titre
Thymeflow, An Open-Source Personal Knowledge Base System
auteur
David Montoya, Thomas Pellissier Tanon, Serge Abiteboul, Pierre Senellart, Fabian M Suchanek
article
[Technical Report] Thymeflow. 2016
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01439311/file/montoya2016thymeflow.pdf BibTex

Pré-publication, Document de travail

titre
Combined Tractability of Query Evaluation via Tree Automata and Cycluits (Extended Version)
auteur
Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart
article
2016
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01439309/file/amarilli2017combined_long.pdf BibTex

Les commentaires sont clos.