|
||
---|---|---|
hal-02899464v1
Conference papers
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-01439311v1
Reports
Thymeflow, An Open-Source Personal Knowledge Base System [Technical Report] Thymeflow. 2016 |
||
hal-02303526v1
Conference papers
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
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-02066041v1
Conference papers
Learning How to Correct a Knowledge Base from the Edit History World Wide Web Conference, May 2019, San Francisco, United States. ⟨10.1145/3308558.3313584⟩ |
||
hal-02109645v1
Conference papers
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
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
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
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
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-01439294v1
Conference papers
Combined Tractability of Query Evaluation via Tree Automata and Cycluits ICDT 2017 - International Conference on Database Theory, Mar 2017, Venice, Italy. ⟨10.4230/LIPIcs.ICDT.2017.6⟩ |
||
hal-01439309v1
Preprints, Working Papers, ...
Combined Tractability of Query Evaluation via Tree Automata and Cycluits (Extended Version) 2016 |
||
hal-03103700v2
Journal articles
Making AI Machines Work for Humans in FoW SIGMOD record, ACM, 2020, 49 (2), pp.30-35. ⟨10.1145/3442322.3442327⟩ |
||
hal-02414839v1
Journal articles
Absent words in a sliding window with applications Information and Computation, Elsevier, 2019, pp.104461. ⟨10.1016/j.ic.2019.104461⟩ ![]() |
||
hal-01523772v1
Directions of work or proceedings
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
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
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
A Knowledge Base of Mathematical Results Artificial Intelligence [cs.AI]. 2020 |
||
hal-01638069v2
Journal articles
On Measuring Bias in Online Information SIGMOD record, ACM, 2018, pp.1-6 |
||
hal-01719312v1
Conference papers
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
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-01586884v1
Conference papers
Towards Approximating Incomplete Queries over Partially Complete Databases (Extended Abstract) AMW, Jun 2017, Montevideo, Uruguay |
||
hal-01439295v1
Conference papers
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⟩ |
||
hal-01672566v1
Journal articles
Provenance and Probabilities in Relational Databases: From Theory to Practice SIGMOD record, ACM, 2017, pp.1-11 |
||
tel-02947853v1
Theses
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
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
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
Enumeration for FO Queries over Nowhere Dense Graphs PODS 2018 - Principles Of Database Systems, Jun 2018, Houston, United States |
||
hal-01895796v1
Conference papers
Enumeration of MSO Queries on Strings with Constant Delay and Logarithmic Updates Principles of Databse Systems, PODS'18, Jun 2018, Houston, United States. ⟨10.1145/3196959.3196961⟩ |
||
|