Skip to Main content Skip to Navigation


...
hal-02899464v1  Conference papers
Camille BourgauxAna OzakiRafael PeñalozaLivia Predoiu. Provenance for the Description Logic ELHr
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⟩
...
hal-02303526v1  Conference papers
Nathan GrosshansPierre MckenzieLuc Segoufin. The Power of Programs over Monoids in DA
42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), Aug 2017, Aalborg, Denmark. ⟨10.4230/LIPIcs.MFCS.2017.2⟩
...
hal-01706665v2  Journal articles
Wojciech KazanaLuc Segoufin. First-order queries on classes of structures with bounded expansion
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, 16 (1)
...
hal-02109645v1  Conference papers
Camille BourgauxAna Ozaki. Querying Attributed DL-Lite Ontologies Using Provenance Semirings
Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), Jan 2019, Honolulu, United States
...
hal-01478788v2  Journal articles
Paul LagréeOlivier CappéBogdan CautisSilviu Maniu. Algorithms for Online Influencer Marketing
ACM Transactions on Knowledge Discovery from Data (TKDD), ACM, 2019, 13 (1), pp.1-30. ⟨10.1145/3274670⟩
...
hal-02947251v1  Conference papers
Meghyn BienvenuCamille Bourgaux. Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2020, Rhodes / Virtual, Greece. pp.141-151, ⟨10.24963/kr.2020/15⟩
...
hal-02942997v1  Journal articles
Ashish DandekarDebabrota BasuStéphane Bressan. Differential Privacy at Risk: Bridging Randomness and Privacy Budget
Proceedings on Privacy Enhancing Technologies, De Gruyter Open, 2021, 2021 (1), pp.64-84
hal-01891811v1  Journal articles
Antoine AmarilliPierre BourhisMikaël MonetPierre Senellart. Evaluating Datalog via Tree Automata and Cycluits
Theory of Computing Systems, Springer Verlag, 2019, 63 (7), pp.1620-1678. ⟨10.1007/s00224-018-9901-2⟩
hal-01523772v1  Directions of work or proceedings
Alexandra MeliouPierre Senellart. Proceedings of the 20th International Workshop on the Web and Databases, WebDB 2017
May 2017, Chicago, United States. 2017, 978-1-4503-4983-3
...
hal-02882118v1  Conference papers
Julien Grange. Successor-Invariant First-Order Logic on Classes of Bounded Degree
LICS 2020 - Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken / Virtual, Germany. ⟨10.1145/3373718.3394767⟩
...
hal-01437580v1  Journal articles
Silviu ManiuReynold ChengPierre Senellart. An Indexing Framework for Queries on Probabilistic Graphs
ACM Transactions on Database Systems, Association for Computing Machinery, 2017, ⟨10.1145/3044713⟩
...
hal-02940819v1  Master thesis
Theo Delemazure. A Knowledge Base of Mathematical Results
Artificial Intelligence [cs.AI]. 2020
...
hal-01719312v1  Conference papers
David MontoyaThomas Pellissier TanonSerge AbiteboulPierre SenellartFabian Suchanek. A Knowledge Base for Personal Information Management
LDOW2018 - Linked Open Data Workshop at the World Wide Web Conference, Apr 2018, Lyon, France
...
hal-02310749v2  Conference papers
Julien GrangeLuc Segoufin. Order-Invariant First-Order Logic over Hollow Trees
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⟩
...
hal-01439295v1  Conference papers
Antoine AmarilliYael AmsterdamerTova MiloPierre Senellart. Top-k Querying of Unknown Values under Order Constraints
ICDT 2017 - International Conference on Database Theory, Mar 2017, Venice, Italy. ⟨10.4230/LIPIcs.ICDT.2017.5⟩
...
tel-02947853v1  Theses
Julien Grange. On the Expressive Power of Invariant Logics over Sparse Classes of Structures
Logic in Computer Science [cs.LO]. ENS Paris, 2020. English
...
hal-01851564v1  Conference papers
Antoine AmarilliMikaël MonetPierre Senellart. Connecting Width and Structure in Knowledge Compilation
ICDT 2018 - 21st International Conference on Database Theory, Mar 2018, Vienna, Austria. pp.1-17, ⟨10.4230/LIPIcs.ICDT.2018.6⟩
...
hal-01963510v1  Journal articles
Serge Abiteboul. Les déclinaisons de la neutralité
Annales des Mines - Enjeux Numériques, Conseil général de l'Économie, ministère de l'Économie et des Finances, 2018
hal-01895786v1  Conference papers
Nicole SchweikardtLuc SegoufinAlexandre Vigny. Enumeration for FO Queries over Nowhere Dense Graphs
PODS 2018 - Principles Of Database Systems, Jun 2018, Houston, United States