Queries With Exact Truth Values on Concept and Role Atoms in Paraconsistent Description Logics.

Meghyn Bienvenu https://scholar.google.com/citations?user=xCZr-2oAAAAJ https://dl.acm.org/profile/81436602158 https://zbmath.org/authors/?q=ai:bienvenu.meghyn https://mathscinet.ams.org/mathscinet/MRAuthorID/922931 https://mathgenealogy.org/id.php?id=176894 https://orcid.org/0000-0001-6229-8103 https://www.wikidata.org/entity/Q28778520 University Bordeaux, CNRS, France

Meghyn Bienvenu Camille Bourgaux Daniil Kozhemiachenko Queries With Exact Truth Values on Concept and Role Atoms in Paraconsistent Description Logics. 2026 85 J. Artif. Intell. Res. https://doi.org/10.1613/jair.1.18676 db/journals/jair/jair85.html#BienvenuBK26 streams/journals/jair

Meghyn Bienvenu Katsumi Inoue Daniil Kozhemiachenko Abductive Reasoning in Expansions of Belnap-Dunn Logic. 2026 85 J. Artif. Intell. Res. https://doi.org/10.1613/jair.1.18874 db/journals/jair/jair85.html#BienvenuIK26 streams/journals/jair

Meghyn Bienvenu Quentin Manière Data Complexity of Querying Description Logic Knowledge Bases Under Cost-Based Semantics. 18953-18960 2026 AAAI https://doi.org/10.1609/aaai.v40i23.38966 conf/aaai/2026 db/conf/aaai/aaai2026.html#BienvenuM26 Meghyn Bienvenu Diego Figueira Pierre Lafourcade Responsibility Measures for Conjunctive Queries with Negation. 20:1-20:20 2026 ICDT https://doi.org/10.4230/LIPIcs.ICDT.2026.20 conf/icdt/2026 db/conf/icdt/icdt2026.html#BienvenuFL26

Meghyn Bienvenu Diego Figueira Pierre Lafourcade Responsibility Measures for Conjunctive Queries with Negation. 2026 January abs/2601.04868 CoRR https://doi.org/10.48550/arXiv.2601.04868 db/journals/corr/corr2601.html#abs-2601-04868 streams/journals/corr

Yvon K. Awuklu Fleur Mougin Romain Griffier Meghyn Bienvenu Vianney Jouhet Ontology-driven identification of inconsistencies in clinical data: A case study in lung cancer phenotyping. 104808 2025 165 J. Biomed. Informatics https://doi.org/10.1016/j.jbi.2025.104808 db/journals/jbi/jbi165.html#AwukluMGBJ25 streams/journals/jbi

Meghyn Bienvenu Diego Figueira Pierre Lafourcade Shapley Revisited: Tractable Responsibility Measures for Query Answers. 112:1-112:26 2025 May 3 Proc. ACM Manag. Data 2 https://doi.org/10.1145/3725249 db/journals/pacmmod/pacmmod3.html#BienvenuFL25 streams/journals/pacmmod

Meghyn Bienvenu Gianluca Cima Víctor Gutiérrez-Basulto Yazmín Ibáñez-García Zhiliang Xiang Recent Advances in Logic-Based Entity Resolution. 7-21 2025 September 54 SIGMOD Rec. 3 https://doi.org/10.1145/3774303.3774305 db/journals/sigmod/sigmod54.html#BienvenuCGIX25 streams/journals/sigmod

Meghyn Bienvenu Camille Bourgaux Katsumi Inoue Robin Jean A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract). 2025 DL https://ceur-ws.org/Vol-4091/paper13.pdf conf/dlog/2025 db/conf/dlog/dlog2025.html#BienvenuBIJ25 streams/conf/dlog Meghyn Bienvenu Camille Bourgaux Atefe Khodadaditaghanaki Inconsistency Handling in DatalogMTL (Extended Abstract). 2025 DL https://ceur-ws.org/Vol-4091/paper04.pdf conf/dlog/2025 db/conf/dlog/dlog2025.html#BienvenuBK25 streams/conf/dlog Meghyn Bienvenu Diego Figueira Pierre Lafourcade Tractable Responsibility Measures for Ontology-Mediated Query Answering (Extended Abstract). 2025 DL https://ceur-ws.org/Vol-4091/paper14.pdf conf/dlog/2025 db/conf/dlog/dlog2025.html#BienvenuFL25 streams/conf/dlog Meghyn Bienvenu Camille Bourgaux Atefe Khodadaditaghanaki Inconsistency Handling in DatalogMTL. 4374-4381 2025 IJCAI https://doi.org/10.24963/ijcai.2025/487 conf/ijcai/2025 db/conf/ijcai/ijcai2025.html#BienvenuBK25 Meghyn Bienvenu Diego Figueira Pierre Lafourcade Shapley Value Computation in Ontology-Mediated Query Answering (Extended Abstract). 10875-10880 2025 IJCAI https://doi.org/10.24963/ijcai.2025/1208 conf/ijcai/2025 db/conf/ijcai/ijcai2025.html#BienvenuFL25 Meghyn Bienvenu Camille Bourgaux Katsumi Inoue Robin Jean A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases. 2025 KR https://doi.org/10.24963/kr.2025/17 conf/kr/2025 db/conf/kr/kr2025.html#BienvenuBIJ25 Meghyn Bienvenu Diego Figueira Pierre Lafourcade Tractable Responsibility Measures for Ontology-Mediated Query Answering. 2025 KR https://doi.org/10.24963/kr.2025/16 conf/kr/2025 db/conf/kr/kr2025.html#BienvenuFL25 Zhiliang Xiang Meghyn Bienvenu Gianluca Cima Víctor Gutiérrez-Basulto Yazmín Ibáñez-García Advances in Logic-Based Entity Resolution: Enhancing ASPEN with Local Merges and Optimality Criteria. 2025 KR https://doi.org/10.24963/kr.2025/64 conf/kr/2025 db/conf/kr/kr2025.html#XiangBCGI25 Alessandro Artale Meghyn Bienvenu Yazmín Ibáñez-García Filip Murlak Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools, RW 2024, Bucharest, Romania, September 19-22, 2024 / RW 2025, Istanbul, Turkey, September 25-28, 2025 RW Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025 OASIcs 138 978-3-95977-405-5 https://www.dagstuhl.de/dagpub/978-3-95977-405-5 db/conf/rweb/rweb2025.html

Meghyn Bienvenu Diego Figueira Pierre Lafourcade Shapley Revisited: Tractable Responsibility Measures for Query Answers. 2025 March abs/2503.22358 CoRR https://doi.org/10.48550/arXiv.2503.22358 db/journals/corr/corr2503.html#abs-2503-22358 streams/journals/corr

Meghyn Bienvenu Camille Bourgaux Atefe Khodadaditaghanaki Inconsistency Handling in DatalogMTL. 2025 May abs/2505.10394 CoRR https://doi.org/10.48550/arXiv.2505.10394 db/journals/corr/corr2505.html#abs-2505-10394 streams/journals/corr

Meghyn Bienvenu Diego Figueira Pierre Lafourcade Tractable Responsibility Measures for Ontology-Mediated Query Answering. 2025 July abs/2507.23191 CoRR https://doi.org/10.48550/arXiv.2507.23191 db/journals/corr/corr2507.html#abs-2507-23191 streams/journals/corr

Meghyn Bienvenu Camille Bourgaux Katsumi Inoue Robin Jean A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases. 2025 August abs/2508.07742 CoRR https://doi.org/10.48550/arXiv.2508.07742 db/journals/corr/corr2508.html#abs-2508-07742 streams/journals/corr

Zhliang Xiang Meghyn Bienvenu Gianluca Cima Víctor Gutiérrez-Basulto Yazmín Ibáñez-García Advances in Logic-Based Entity Resolution: Enhancing ASPEN with Local Merges and Optimality Criteria. 2025 August abs/2508.10504 CoRR https://doi.org/10.48550/arXiv.2508.10504 db/journals/corr/corr2508.html#abs-2508-10504 streams/journals/corr

Meghyn Bienvenu Quentin Manière Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics. 2025 November abs/2511.07095 CoRR https://doi.org/10.48550/arXiv.2511.07095 db/journals/corr/corr2511.html#abs-2511-07095 streams/journals/corr

Meghyn Bienvenu Diego Figueira Pierre Lafourcade When is Shapley Value Computation a Matter of Counting? 105 2024 2 Proc. ACM Manag. Data 2 https://doi.org/10.1145/3651606 db/journals/pacmmod/pacmmod2.html#BienvenuFL24

Meghyn Bienvenu Camille Bourgaux Robin Jean Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases. 2024 KR https://doi.org/10.24963/kr.2024/16 conf/kr/2024 db/conf/kr/kr2024.html#BienvenuBJ24 Meghyn Bienvenu Camille Bourgaux Daniil Kozhemiachenko Queries With Exact Truth Values in Paraconsistent Description Logics. 2024 KR https://doi.org/10.24963/kr.2024/14 conf/kr/2024 db/conf/kr/kr2024.html#BienvenuBK24 Meghyn Bienvenu Diego Figueira Pierre Lafourcade Shapley Value Computation in Ontology-Mediated Query Answering. 2024 KR https://doi.org/10.24963/kr.2024/15 conf/kr/2024 db/conf/kr/kr2024.html#BienvenuFL24 Meghyn Bienvenu Katsumi Inoue Daniil Kozhemiachenko Abductive Reasoning in a Paraconsistent Framework. 2024 KR https://doi.org/10.24963/kr.2024/13 conf/kr/2024 db/conf/kr/kr2024.html#BienvenuIK24 Zhiliang Xiang Meghyn Bienvenu Gianluca Cima Víctor Gutiérrez-Basulto Yazmín Ibáñez-García ASPEN: ASP-Based System for Collective Entity Resolution. 2024 KR https://doi.org/10.24963/kr.2024/74 conf/kr/2024 db/conf/kr/kr2024.html#XiangBCGI24

Meghyn Bienvenu Diego Figueira Pierre Lafourcade Shapley Value Computation in Ontology-Mediated Query Answering. 2024 abs/2407.20058 CoRR https://doi.org/10.48550/arXiv.2407.20058 db/journals/corr/corr2407.html#abs-2407-20058 streams/journals/corr

Meghyn Bienvenu Camille Bourgaux Robin Jean Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases. 2024 abs/2407.20754 CoRR https://doi.org/10.48550/arXiv.2407.20754 db/journals/corr/corr2407.html#abs-2407-20754 streams/journals/corr

Zhiliang Xiang Meghyn Bienvenu Gianluca Cima Víctor Gutiérrez-Basulto Yazmín Ibáñez-García ASPEN: ASP-Based System for Collective Entity Resolution. 2024 abs/2408.06961 CoRR https://doi.org/10.48550/arXiv.2408.06961 db/journals/corr/corr2408.html#abs-2408-06961 streams/journals/corr

Meghyn Bienvenu Camille Bourgaux Daniil Kozhemiachenko Queries With Exact Truth Values in Paraconsistent Description Logics. 2024 abs/2408.07283 CoRR https://doi.org/10.48550/arXiv.2408.07283 db/journals/corr/corr2408.html#abs-2408-07283 streams/journals/corr

Meghyn Bienvenu Katsumi Inoue Daniil Kozhemiachenko Abductive Reasoning in a Paraconsistent Framework. 2024 abs/2408.07287 CoRR https://doi.org/10.48550/arXiv.2408.07287 db/journals/corr/corr2408.html#abs-2408-07287 streams/journals/corr

Meghyn Bienvenu Gianluca Cima Víctor Gutiérrez-Basulto REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing. 3132-3139 2023 IJCAI https://doi.org/10.24963/ijcai.2023/349 conf/ijcai/2023 db/conf/ijcai/ijcai2023.html#BienvenuCG23 Meghyn Bienvenu Gianluca Cima Víctor Gutiérrez-Basulto On Combining Collective Entity Resolution and Repairing (Extended Abstract). 93-95 2023 ENIGMA@KR https://ceur-ws.org/Vol-3495/short_03.pdf conf/kr/2023enigma db/conf/kr/enigma2023.html#BienvenuCG23 Meghyn Bienvenu Camille Bourgaux Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints. 97-106 2023 KR https://doi.org/10.24963/kr.2023/10 conf/kr/2023 db/conf/kr/kr2023.html#BienvenuB23 Meghyn Bienvenu Gianluca Cima Víctor Gutiérrez-Basulto Yazmín Ibáñez-García Combining Global and Local Merges in Logic-based Entity Resolution. 742-746 2023 KR https://doi.org/10.24963/kr.2023/74 conf/kr/2023 db/conf/kr/kr2023.html#BienvenuCGI23

Meghyn Bienvenu Gianluca Cima Víctor Gutiérrez-Basulto Yazmín Ibáñez-García Combining Global and Local Merges in Logic-based Entity Resolution. 2023 abs/2305.16926 CoRR https://doi.org/10.48550/arXiv.2305.16926 db/journals/corr/corr2305.html#abs-2305-16926

Meghyn Bienvenu Camille Bourgaux Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints. 2023 abs/2306.03523 CoRR https://doi.org/10.48550/arXiv.2306.03523 db/journals/corr/corr2306.html#abs-2306-03523

Meghyn Bienvenu Diego Figueira Pierre Lafourcade When is Shapley Value Computation a Matter of Counting? 2023 abs/2312.14529 CoRR https://doi.org/10.48550/arXiv.2312.14529 db/journals/corr/corr2312.html#abs-2312-14529

Meghyn Bienvenu Camille Bourgaux Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract). 2022 Description Logics https://ceur-ws.org/Vol-3263/abstract-3.pdf conf/dlog/2022 db/conf/dlog/dlog2022.html#BienvenuB22 Meghyn Bienvenu Quentin Manière Michaël Thomazo Complexity Landscape for Counting Queries (Extended Abstract). 2022 Description Logics https://ceur-ws.org/Vol-3263/abstract-4.pdf conf/dlog/2022 db/conf/dlog/dlog2022.html#BienvenuMT22 Meghyn Bienvenu Camille Bourgaux Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments. 2022 KR https://proceedings.kr.org/2022/54/ conf/kr/2022 db/conf/kr/kr2022.html#BienvenuB22 Meghyn Bienvenu Quentin Manière Michaël Thomazo Counting Queries over ELHI⊥ Ontologies. 2022 KR https://proceedings.kr.org/2022/6/ conf/kr/2022 db/conf/kr/kr2022.html#BienvenuMT22 Meghyn Bienvenu Gianluca Cima Víctor Gutiérrez-Basulto LACE: A Logical Approach to Collective Entity Resolution. 379-391 2022 PODS https://doi.org/10.1145/3517804.3526233 https://www.wikidata.org/entity/Q130977774 conf/pods/2022 db/conf/pods/pods2022.html#BienvenuCG22

Meghyn Bienvenu Camille Bourgaux Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments. 2022 abs/2202.07980 CoRR https://arxiv.org/abs/2202.07980 db/journals/corr/corr2202.html#abs-2202-07980

Meghyn Bienvenu Quentin Manière Michaël Thomazo Counting Queries over ELHI⊥ Ontologies. 2021 Description Logics https://ceur-ws.org/Vol-2954/paper-5.pdf conf/dlog/2021 db/conf/dlog/dlog2021.html#BienvenuMT21 Meghyn Bienvenu Quentin Manière Michaël Thomazo Cardinality Queries over DL-Lite Ontologies (Extended abstract). 2021 Description Logics https://ceur-ws.org/Vol-2954/abstract-6.pdf conf/dlog/2021 db/conf/dlog/dlog2021.html#BienvenuMT21a Meghyn Bienvenu Quentin Manière Michaël Thomazo Cardinality Queries over DL-Lite Ontologies. 1801-1807 2021 IJCAI https://doi.org/10.24963/ijcai.2021/248 conf/ijcai/2021 db/conf/ijcai/ijcai2021.html#BienvenuMT21 Meghyn Bienvenu Gerhard Lakemeyer Esra Erdem 0001 Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021. KR 2021 978-1-956792-99-7 https://doi.org/10.24963/kr.2021 db/conf/kr/kr2021.html

Meghyn Bienvenu A Short Survey on Inconsistency Handling in Ontology-Mediated Query Answering. 443-451 2020 34 Künstliche Intell. 4 https://doi.org/10.1007/s13218-020-00680-9 db/journals/ki/ki34.html#Bienvenu20

Meghyn Bienvenu Quentin Manière Michaël Thomazo Answering Counting Queries over DL-Lite Ontologies (Extended Abstract). 2020 Description Logics https://ceur-ws.org/Vol-2663/abstract-4.pdf conf/dlog/2020 db/conf/dlog/dlog2020.html#BienvenuMT20 Meghyn Bienvenu Quentin Manière Michaël Thomazo Answering Counting Queries over DL-Lite Ontologies. 1608-1614 2020 IJCAI https://doi.org/10.24963/ijcai.2020/223 conf/ijcai/2020 db/conf/ijcai/ijcai2020.html#BienvenuMT20 Meghyn Bienvenu Camille Bourgaux Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation. 141-151 2020 KR https://doi.org/10.24963/kr.2020/15 conf/kr/2020 db/conf/kr/kr2020.html#BienvenuB20 Meghyn Bienvenu Michel Leclère Marie-Laure Mugnier Marie-Christine Rousset Reasoning with Ontologies. 185-215 2020 A Guided Tour of Artificial Intelligence Research (1) (I) https://doi.org/10.1007/978-3-030-06164-7_6 books/sp/20/MPP2020-1 db/books/collections/MPP2020-1.html#BienvenuLMR20

Meghyn Bienvenu Camille Bourgaux Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation. 2020 abs/2003.05746 CoRR https://arxiv.org/abs/2003.05746 db/journals/corr/corr2003.html#abs-2003-05746

Meghyn Bienvenu Quentin Manière Michaël Thomazo Answering Counting Queries over DL-Lite Ontologies. 2020 abs/2009.09801 CoRR https://arxiv.org/abs/2009.09801 db/journals/corr/corr2009.html#abs-2009-09801

Meghyn Bienvenu Peter Hansen 0002 Carsten Lutz Frank Wolter First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. 2020 abs/2011.09836 CoRR https://arxiv.org/abs/2011.09836 db/journals/corr/corr2011.html#abs-2011-09836

Meghyn Bienvenu Camille Bourgaux François Goasdoué Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases. 563-644 2019 64 J. Artif. Intell. Res. https://doi.org/10.1613/jair.1.11395 https://www.wikidata.org/entity/Q128242585 db/journals/jair/jair64.html#BienvenuBG19

Alberto Camacho Meghyn Bienvenu Sheila A. McIlraith Towards a Unified View of AI Planning and Reactive Synthesis. 58-67 2019 ICAPS https://ojs.aaai.org/index.php/ICAPS/article/view/3460 conf/aips/2019 db/conf/aips/icaps2019.html#CamachoBM19 Meghyn Bienvenu Inconsistency Handling in Ontology-Mediated Query Answering: A Progress Report. 2019 Description Logics https://ceur-ws.org/Vol-2373/invited-2.pdf conf/dlog/2019 db/conf/dlog/dlog2019.html#Bienvenu19 Meghyn Bienvenu Pierre Bourhis Mixed-World Reasoning with Existential Rules under Active Domain Semantics (Abstract). 2019 Description Logics https://ceur-ws.org/Vol-2373/paper-34.pdf conf/dlog/2019 db/conf/dlog/dlog2019.html#BienvenuB19 Meghyn Bienvenu Pierre Bourhis Mixed-World Reasoning with Existential Rules under Active-Domain Semantics. 2019 IJCAI https://doi.org/10.24963/ijcai.2019/216 conf/ijcai/2019 db/conf/ijcai/ijcai2019.html#BienvenuB19 1558-1565

Serge Abiteboul Marcelo Arenas Pablo Barceló Meghyn Bienvenu Diego Calvanese Claire David Richard Hull 0001 Eyke Hüllermeier Benny Kimelfeld Leonid Libkin Wim Martens Tova Milo Filip Murlak Frank Neven Magdalena Ortiz 0001 Thomas Schwentick Julia Stoyanovich Jianwen Su Dan Suciu Victor Vianu Ke Yi 0001 Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). 1-29 2018 7 Dagstuhl Manifestos 1 https://doi.org/10.4230/DagMan.7.1.1 db/journals/dagstuhl-manifestos/dagstuhl-manifestos7.html#AbiteboulABBCD018

Meghyn Bienvenu Stanislav Kikot Roman Kontchakov Vladimir V. Podolskii Michael Zakharyaschev Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity. 28:1-28:51 2018 65 J. ACM 5 https://doi.org/10.1145/3191832 db/journals/jacm/jacm65.html#BienvenuKKPZ18

Meghyn Bienvenu Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account. 2018 Description Logics https://ceur-ws.org/Vol-2211/paper-41.pdf conf/dlog/2018 db/conf/dlog/dlog2018.html#Bienvenu18 Meghyn Bienvenu Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account. 1721-1729 2018 IJCAI https://doi.org/10.24963/ijcai.2018/238 conf/ijcai/2018 db/conf/ijcai/ijcai2018.html#Bienvenu18 Alberto Camacho Meghyn Bienvenu Sheila A. McIlraith Finite LTL Synthesis with Environment Assumptions and Quality Measures. 454-463 2018 KR https://aaai.org/papers/50-18072-finite-ltl-synthesis-with-environment-assumptions-and-quality-measures/ conf/kr/2018 db/conf/kr/kr2018.html#CamachoBM18

Alberto Camacho Meghyn Bienvenu Sheila A. McIlraith Finite LTL Synthesis with Environment Assumptions and Quality Measures. 2018 abs/1808.10831 CoRR http://arxiv.org/abs/1808.10831 db/journals/corr/corr1808.html#abs-1808-10831

Meghyn Bienvenu Stanislav Kikot Roman Kontchakov Vladislav Ryzhikov Michael Zakharyaschev On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL. 2017 Description Logics https://ceur-ws.org/Vol-1879/paper55.pdf conf/dlog/2017 db/conf/dlog/dlog2017.html#BienvenuKKRZ17 Meghyn Bienvenu Stanislav Kikot Roman Kontchakov Vladislav Ryzhikov Michael Zakharyaschev Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries. 2017 Description Logics https://ceur-ws.org/Vol-1879/paper64.pdf conf/dlog/2017 db/conf/dlog/dlog2017.html#BienvenuKKRZ17a Jean-François Baget Meghyn Bienvenu Marie-Laure Mugnier Michaël Thomazo Answering Conjunctive Regular Path Queries over Guarded Existential Rules. 793-799 2017 IJCAI https://doi.org/10.24963/ijcai.2017/110 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#BagetBMT17 Meghyn Bienvenu Pierre Bourhis Marie-Laure Mugnier Sophie Tison Federico Ulliana Ontology-Mediated Query Answering for Key-Value Stores. 844-851 2017 IJCAI https://doi.org/10.24963/ijcai.2017/117 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#BienvenuBMTU17 Meghyn Bienvenu Stanislav Kikot Roman Kontchakov Vladimir V. Podolskii Vladislav Ryzhikov Michael Zakharyaschev The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. 201-216 2017 PODS https://doi.org/10.1145/3034786.3034791 https://www.wikidata.org/entity/Q130957558 conf/pods/2017 db/conf/pods/pods2017.html#BienvenuKKPRZ17

Serge Abiteboul Marcelo Arenas Pablo Barceló Meghyn Bienvenu Diego Calvanese Claire David Richard Hull 0001 Eyke Hüllermeier Benny Kimelfeld Leonid Libkin Wim Martens Tova Milo Filip Murlak Frank Neven Magdalena Ortiz 0001 Thomas Schwentick Julia Stoyanovich Jianwen Su Dan Suciu Victor Vianu Ke Yi 0001 Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). 2017 abs/1701.09007 CoRR http://arxiv.org/abs/1701.09007 db/journals/corr/corr1701.html#AbiteboulABBCDH17

Meghyn Bienvenu Stanislav Kikot Roman Kontchakov Vladimir V. Podolskii Vladislav Ryzhikov Michael Zakharyaschev The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. 2017 abs/1702.03358 CoRR http://arxiv.org/abs/1702.03358 db/journals/corr/corr1702.html#BienvenuKKPRZ17

Franz Baader Meghyn Bienvenu Carsten Lutz Frank Wolter Query and Predicate Emptiness in Ontology-Based Data Access. 1-59 2016 56 J. Artif. Intell. Res. https://doi.org/10.1613/jair.4866 db/journals/jair/jair56.html#BaaderBL16

Serge Abiteboul Marcelo Arenas Pablo Barceló Meghyn Bienvenu Diego Calvanese Claire David Richard Hull 0001 Eyke Hüllermeier Benny Kimelfeld Leonid Libkin Wim Martens Tova Milo Filip Murlak Frank Neven Magdalena Ortiz 0001 Thomas Schwentick Julia Stoyanovich Jianwen Su Dan Suciu Victor Vianu Ke Yi 0001 Research Directions for Principles of Data Management (Abridged). 5-17 2016 45 SIGMOD Rec. 4 https://doi.org/10.1145/3092931.3092933 db/journals/sigmod/sigmod45.html#AbiteboulABBCDH16

Meghyn Bienvenu Camille Bourgaux François Goasdoué Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases. 900-906 2016 AAAI https://doi.org/10.1609/aaai.v30i1.10092 conf/aaai/2016 db/conf/aaai/aaai2016.html#BienvenuBG16 Meghyn Bienvenu Peter Hansen 0002 Carsten Lutz Frank Wolter First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. 2016 Description Logics https://ceur-ws.org/Vol-1577/paper_20.pdf conf/dlog/2016 db/conf/dlog/dlog2016.html#Bienvenu0LW16 Meghyn Bienvenu Camille Bourgaux François Goasdoué Query-driven Repairing of Inconsistent DL-Lite Knowledge Bases (Extended Abstract). 2016 Description Logics https://ceur-ws.org/Vol-1577/paper_5.pdf conf/dlog/2016 db/conf/dlog/dlog2016.html#BienvenuBG16 Meghyn Bienvenu Stanislav Kikot Roman Kontchakov Vladimir V. Podolskii Michael Zakharyaschev Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. 2016 Description Logics https://ceur-ws.org/Vol-1577/paper_28.pdf conf/dlog/2016 db/conf/dlog/dlog2016.html#BienvenuKKPZ16 Meghyn Bienvenu Camille Bourgaux François Goasdoué Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases. 957-964 2016 IJCAI http://www.ijcai.org/Abstract/16/140 conf/ijcai/2016 db/conf/ijcai/ijcai2016.html#BienvenuBG16 Meghyn Bienvenu Peter Hansen 0002 Carsten Lutz Frank Wolter First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. 965-971 2016 IJCAI http://www.ijcai.org/Abstract/16/141 conf/ijcai/2016 db/conf/ijcai/ijcai2016.html#Bienvenu0LW16 Meghyn Bienvenu Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from Data. 4058-4061 2016 IJCAI http://www.ijcai.org/Abstract/16/600 conf/ijcai/2016 db/conf/ijcai/ijcai2016.html#Bienvenu16 Meghyn Bienvenu Riccardo Rosati 0001 Query-Based Comparison of Mappings in Ontology-Based Data Access. 197-206 2016 KR https://aaai.org/papers/21-12902-query-based-comparison-of-mappings-in-ontology-based-data-access/ conf/kr/2016 db/conf/kr/kr2016.html#BienvenuR16 Meghyn Bienvenu Michaël Thomazo On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules. 1-17 2016 RR https://doi.org/10.1007/978-3-319-45276-0_1 conf/rr/2016 db/conf/rr/rr2016.html#BienvenuT16 Meghyn Bienvenu Camille Bourgaux Inconsistency-Tolerant Querying of Description Logic Knowledge Bases. 156-202 2016 RW https://doi.org/10.1007/978-3-319-49493-7_5 conf/rweb/2016 db/conf/rweb/rweb2016.html#BienvenuB16 Fabian M. Suchanek Colette Menard Meghyn Bienvenu Cyril Chapellier What if Machines Could be Creative? 2016 ISWC (Posters & Demos) https://ceur-ws.org/Vol-1690/paper26.pdf conf/semweb/2016p db/conf/semweb/iswc2016p.html#SuchanekMBC16 Fabian M. Suchanek Colette Menard Meghyn Bienvenu Cyril Chapellier Can You Imagine... A Language for Combinatorial Creativity? 532-548 2016 ISWC (1) https://doi.org/10.1007/978-3-319-46523-4_32 https://www.wikidata.org/entity/Q125459746 conf/semweb/2016-1 db/conf/semweb/iswc2016-1.html#SuchanekMBC16a

Meghyn Bienvenu Stanislav Kikot Roman Kontchakov Vladimir V. Podolskii Michael Zakharyaschev Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. 2016 abs/1604.05258 CoRR http://arxiv.org/abs/1604.05258 db/journals/corr/corr1604.html#BienvenuKKPZ16

Meghyn Bienvenu Stanislav Kikot Roman Kontchakov Vladimir V. Podolskii Michael Zakharyaschev Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity. 2016 abs/1605.01207 CoRR http://arxiv.org/abs/1605.01207 db/journals/corr/corr1605.html#BienvenuKKPZ16a

Meghyn Bienvenu Magdalena Ortiz 0001 Mantas Simkus Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms. 315-374 2015 53 J. Artif. Intell. Res. https://doi.org/10.1613/jair.4577 https://www.wikidata.org/entity/Q129489738 db/journals/jair/jair53.html#BienvenuOS15

Meghyn Bienvenu Magdalena Ortiz 0001 Mantas Simkus Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results. 2015 AMW https://ceur-ws.org/Vol-1378/AMW_2015_paper_33.pdf conf/amw/2015 db/conf/amw/amw2015.html#BienvenuOS15 Meghyn Bienvenu Camille Bourgaux François Goasdoué Explaining Query Answers under Inconsistency-Tolerant Semantics over Description Logic Knowledge Bases (Extended Abstract). 2015 Description Logics https://ceur-ws.org/Vol-1350/paper-09.pdf conf/dlog/2015 db/conf/dlog/dlog2015.html#BienvenuBG15 Meghyn Bienvenu Stanislav Kikot Vladimir V. Podolskii Combined Complexity of Answering Tree-like Queries in OWL 2 QL. 2015 Description Logics https://ceur-ws.org/Vol-1350/paper-10.pdf conf/dlog/2015 db/conf/dlog/dlog2015.html#BienvenuKP15 Meghyn Bienvenu Riccardo Rosati 0001 Query-based comparison of OBDA specifications. 2015 Description Logics https://ceur-ws.org/Vol-1350/paper-11.pdf conf/dlog/2015 db/conf/dlog/dlog2015.html#BienvenuR15 Jean-François Baget Meghyn Bienvenu Marie-Laure Mugnier Swan Rocher Combining Existential Rules and Transitivity: Next Steps. 2720-2726 2015 IJCAI http://ijcai.org/Abstract/15/385 conf/ijcai/2015 db/conf/ijcai/ijcai2015.html#BagetBMR15 Meghyn Bienvenu Stanislav Kikot Vladimir V. Podolskii Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results. 317-328 2015 LICS https://doi.org/10.1109/LICS.2015.38 https://doi.ieeecomputersociety.org/10.1109/LICS.2015.38 http://dl.acm.org/citation.cfm?id=2876544 conf/lics/2015 db/conf/lics/lics2015.html#BienvenuKP15 Meghyn Bienvenu Magdalena Ortiz 0001 Ontology-Mediated Query Answering with Data-Tractable Description Logics. 218-307 2015 Reasoning Web https://doi.org/10.1007/978-3-319-21768-0_9 conf/rweb/2015 db/conf/rweb/rweb2015.html#BienvenuO15

Jean-François Baget Meghyn Bienvenu Marie-Laure Mugnier Swan Rocher Combining Existential Rules and Transitivity: Next Steps. 2015 abs/1504.07443 CoRR http://arxiv.org/abs/1504.07443 db/journals/corr/corr1504.html#BagetBMR15

Meghyn Bienvenu Balder ten Cate Carsten Lutz Frank Wolter Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. 33:1-33:44 2014 39 ACM Trans. Database Syst. 4 https://doi.org/10.1145/2661643 db/journals/tods/tods39.html#BienvenuCLW14

Meghyn Bienvenu Camille Bourgaux François Goasdoué Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics. 996-1002 2014 AAAI https://doi.org/10.1609/aaai.v28i1.8855 conf/aaai/2014 db/conf/aaai/aaai2014.html#BienvenuBG14 Meghyn Bienvenu Diego Calvanese Magdalena Ortiz 0001 Mantas Simkus Nested Regular Path Queries in Description Logics (Extended Abstract). 2014 AMW https://ceur-ws.org/Vol-1189/paper_34.pdf conf/amw/2014 db/conf/amw/amw2014.html#BienvenuCOS14 Meghyn Bienvenu Stanislav Kikot Vladimir V. Podolskii Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries. 45-57 2014 Description Logics https://ceur-ws.org/Vol-1193/paper_43.pdf conf/dlog/2014 db/conf/dlog/dlog2014.html#BienvenuKP14 Camille Bourgaux Meghyn Bienvenu François Goasdoué Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics. 96-99 2014 Description Logics https://ceur-ws.org/Vol-1193/paper_13.pdf conf/dlog/2014 db/conf/dlog/dlog2014.html#BourgauxBG14 Meghyn Bienvenu Diego Calvanese Magdalena Ortiz 0001 Mantas Simkus Nested Regular Path Queries in Description Logics. 2014 KR https://aaai.org/papers/0218-8000-nested-regular-path-queries-in-description-logics/ conf/kr/2014 db/conf/kr/kr2014.html#BienvenuCOS14 Meghyn Bienvenu Magdalena Ortiz 0001 Riccardo Rosati 0001 Mantas Simkus Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. Description Logics CEUR-WS.org CEUR Workshop Proceedings 1193 2014 https://ceur-ws.org/Vol-1193 https://nbn-resolving.org/urn:nbn:de:0074-1193-9 db/conf/dlog/dlog2014.html

Meghyn Bienvenu Prime Implicates and Prime Implicants: From Propositional to Modal Logic. 2014 abs/1401.3475 CoRR http://arxiv.org/abs/1401.3475 db/journals/corr/corr1401.html#Bienvenu14

Meghyn Bienvenu Diego Calvanese Magdalena Ortiz 0001 Mantas Simkus Nested Regular Path Queries in Description Logics. 2014 abs/1402.7122 CoRR http://arxiv.org/abs/1402.7122 db/journals/corr/corr1402.html#BienvenuCOS14

Meghyn Bienvenu Stanislav Kikot Vladimir V. Podolskii Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries. 2014 abs/1406.3047 CoRR http://arxiv.org/abs/1406.3047 db/journals/corr/corr1406.html#BienvenuKP14

Meghyn Bienvenu Magdalena Ortiz 0001 Mantas Simkus Guohui Xiao 0001 Tractability Guarantees for DL-Lite Query Answering. 41-52 2013 Description Logics https://ceur-ws.org/Vol-1014/paper_54.pdf conf/dlog/2013 db/conf/dlog/dlog2013.html#BienvenuOSX13 Meghyn Bienvenu Riccardo Rosati 0001 New Inconsistency-Tolerant Semantics for Robust Ontology-Based Data Access. 53-64 2013 Description Logics https://ceur-ws.org/Vol-1014/paper_73.pdf conf/dlog/2013 db/conf/dlog/dlog2013.html#BienvenuR13 Meghyn Bienvenu Carsten Lutz Frank Wolter First-Order Rewritability of Atomic Queries in Horn Description Logics. 2013 IJCAI http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6907 http://ijcai.org/Abstract/13/118 conf/ijcai/2013 db/conf/ijcai/ijcai2013.html#BienvenuLW13 754-760 Meghyn Bienvenu Magdalena Ortiz 0001 Mantas Simkus Conjunctive Regular Path Queries in Lightweight Description Logics. 2013 IJCAI http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6886 http://ijcai.org/Abstract/13/119 conf/ijcai/2013 db/conf/ijcai/ijcai2013.html#BienvenuOS13 761-767 Meghyn Bienvenu Magdalena Ortiz 0001 Mantas Simkus Guohui Xiao 0001 Tractable Queries for Lightweight Description Logics. 2013 IJCAI http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6908 http://ijcai.org/Abstract/13/120 conf/ijcai/2013 db/conf/ijcai/ijcai2013.html#BienvenuOSX13 768-774 Meghyn Bienvenu Riccardo Rosati 0001 Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access. 2013 IJCAI http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6904 http://ijcai.org/Abstract/13/121 conf/ijcai/2013 db/conf/ijcai/ijcai2013.html#BienvenuR13 775-781 Meghyn Bienvenu Balder ten Cate Carsten Lutz Frank Wolter Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP. 213-224 2013 PODS https://doi.org/10.1145/2463664.2465223 conf/pods/2013 db/conf/pods/pods2013.html#BienvenuCLW13

Meghyn Bienvenu Balder ten Cate Carsten Lutz Frank Wolter Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP http://arxiv.org/abs/1301.6479 2013 CoRR abs/1301.6479 db/journals/corr/corr1301.html#abs-1301-6479

Meghyn Bienvenu On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies. 2012 AAAI https://doi.org/10.1609/aaai.v26i1.8218 conf/aaai/2012 db/conf/aaai/aaai2012.html#Bienvenu12 705-711 Meghyn Bienvenu Inconsistency-Tolerant Conjunctive Query Answering for Simple Ontologies. 2012 Description Logics https://ceur-ws.org/Vol-846/paper_29.pdf conf/dlog/2012 db/conf/dlog/dlog2012.html#Bienvenu12 Meghyn Bienvenu Carsten Lutz Frank Wolter Deciding FO-Rewritability in EL. 2012 Description Logics https://ceur-ws.org/Vol-846/paper_26.pdf conf/dlog/2012 db/conf/dlog/dlog2012.html#BienvenuLW12 Meghyn Bienvenu Magdalena Ortiz 0001 Mantas Simkus Answering Expressive Path Queries over Lightweight DL Knowledge Bases. 2012 Description Logics https://ceur-ws.org/Vol-846/paper_28.pdf conf/dlog/2012 db/conf/dlog/dlog2012.html#BienvenuOS12 Meghyn Bienvenu Carsten Lutz Frank Wolter Query Containment in Description Logics Reconsidered. 2012 KR https://aaai.org/papers/28-4535-query-containment-in-description-logics-reconsidered/ conf/kr/2012 db/conf/kr/kr2012.html#BienvenuLW12 Meghyn Bienvenu Daniel Deutch Fabian M. Suchanek Provenance for Web 2.0 Data. 148-155 2012 Secure Data Management https://doi.org/10.1007/978-3-642-32873-2_10 conf/sdmw/2012 db/conf/sdmw/sdmw2012.html#BienvenuDS12 Meghyn Bienvenu Daniel Deutch Davide Martinenghi Pierre Senellart Fabian M. Suchanek Dealing with the Deep Web and all its Quirks. 21-24 2012 VLDS https://ceur-ws.org/Vol-884/VLDS2012_p21_Bienvenu.pdf conf/vlds/2012 db/conf/vlds/vlds2012.html#BienvenuDMSS12 Serge Abiteboul Meghyn Bienvenu Daniel Deutch Deduction in the Presence of Distribution and Contradictions. 31-36 2012 WebDB http://db.disi.unitn.eu/pages/WebDB2012/papers/p5.pdf conf/webdb/2012 db/conf/webdb/webdb2012.html#AbiteboulBD12

Meghyn Bienvenu Christian Fritz 0001 Sheila A. McIlraith Specifying and computing preferred plans. 1308-1345 2011 175 Artif. Intell. 7-8 https://doi.org/10.1016/j.artint.2010.11.021 db/journals/ai/ai175.html#BienvenuFM11

Meghyn Bienvenu First-Order Expressibility Results for Queries over Inconsistent DL-Lite Knowledge Bases. 2011 Description Logics https://ceur-ws.org/Vol-745/paper_38.pdf conf/dlog/2011 db/conf/dlog/dlog2011.html#Bienvenu11 Serge Abiteboul Meghyn Bienvenu Alban Galland Émilien Antoine A rule-based language for web data management. 293-304 2011 PODS https://doi.org/10.1145/1989284.1989320 conf/pods/2011 db/conf/pods/pods2011.html#AbiteboulBGA11 Meghyn Bienvenu Hélène Fargier Pierre Marquis Knowledge Compilation in the Modal Logic S5. 2010 AAAI https://doi.org/10.1609/aaai.v24i1.7587 conf/aaai/2010 db/conf/aaai/aaai2010.html#BienvenuFM10 261-266 Serge Abiteboul Meghyn Bienvenu Alban Galland Marie-Christine Rousset Distributed Datalog Revisited. 252-261 2010 Datalog https://doi.org/10.1007/978-3-642-24206-9_15 conf/datalog/2010 db/conf/datalog/datalog2010.html#AbiteboulBGR10 Meghyn Bienvenu Thomas Eiter Carsten Lutz Magdalena Ortiz 0001 Mantas Simkus Query Answering in the Description Logic S. 2010 Description Logics https://ceur-ws.org/Vol-573/paper_20.pdf conf/dlog/2010 db/conf/dlog/dlog2010.html#BienvenuELOS10 Franz Baader Meghyn Bienvenu Carsten Lutz Frank Wolter Query and Predicate Emptiness in Description Logics. 2010 KR https://aaai.org/papers/26-1246-query-and-predicate-emptiness-in-description-logics/ conf/kr/2010 db/conf/kr/kr2010.html#BaaderBLW10 Meghyn Bienvenu Jérôme Lang Nic Wilson From Preference Logics to Preference Languages, and Back. 2010 KR https://aaai.org/papers/47-1360-from-preference-logics-to-preference-languages-and-back/ conf/kr/2010 db/conf/kr/kr2010.html#BienvenuLW10

Meghyn Bienvenu Prime Implicates and Prime Implicants: From Propositional to Modal Logic. 71-128 2009 36 J. Artif. Intell. Res. https://doi.org/10.1613/jair.2754 https://www.wikidata.org/entity/Q129518358 db/journals/jair/jair36.html#Bienvenu09

Franz Baader Meghyn Bienvenu Carsten Lutz Frank Wolter Query Answering over DL ABoxes: How to Pick the Relevant Symbols. 2009 Description Logics https://ceur-ws.org/Vol-477/paper_29.pdf conf/dlog/2009 db/conf/dlog/dlog2009.html#BaaderBLW09 Meghyn Bienvenu Prime Implicate Normal Form for ALC Concepts. 412-417 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#Bienvenu08 http://www.aaai.org/Library/AAAI/2008/aaai08-065.php Jorge A. Baier Christian Fritz 0001 Meghyn Bienvenu Sheila A. McIlraith Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. 1509-1512 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#BaierFBM08 http://www.aaai.org/Library/AAAI/2008/aaai08-251.php Meghyn Bienvenu Prime Implicate Normal Form for ALC Concepts. 2008 Description Logics https://ceur-ws.org/Vol-353/Bienvenu.pdf conf/dlog/2008 db/conf/dlog/dlog2008.html#Bienvenu08 Meghyn Bienvenu Andreas Herzig Guilin Qi Prime Implicate-based Belief Revision Operators. 741-742 2008 ECAI https://doi.org/10.3233/978-1-58603-891-5-741 conf/ecai/2008 db/conf/ecai/ecai2008.html#BienvenuHQ08 Meghyn Bienvenu Complexity of Abduction in the EL Family of Lightweight Description Logics. 220-230 2008 KR conf/kr/2008 db/conf/kr/kr2008.html#Bienvenu08 https://aaai.org/papers/KR08-022-compexity-of-abduction-in-the-el-family-of-lightweight-description-logics/ Meghyn Bienvenu Prime Implicates and Prime Implicants in Modal Logic. 379-384 2007 conf/aaai/2007 AAAI db/conf/aaai/aaai2007.html#Bienvenu07 http://www.aaai.org/Library/AAAI/2007/aaai07-059.php Meghyn Bienvenu Consequence Finding in ALC. 2007 Description Logics https://ceur-ws.org/Vol-250/paper_49.pdf conf/dlog/2007 db/conf/dlog/dlog2007.html#Bienvenu07 Meghyn Bienvenu Christian Fritz 0001 Sheila A. McIlraith Planning with Qualitative Temporal Preferences. 134-144 2006 conf/kr/2006 KR db/conf/kr/kr2006.html#BienvenuFM06 https://aaai.org/papers/KR06-016-planning-with-qualitative-temporal-preferences/ Serge Abiteboul Émilien Antoine Marcelo Arenas Alessandro Artale Yvon K. Awuklu Franz Baader Jean-François Baget Jorge A. Baier Pablo Barceló Camille Bourgaux Pierre Bourhis Diego Calvanese Alberto Camacho Balder ten Cate Cyril Chapellier Gianluca Cima Claire David Daniel Deutch Thomas Eiter Esra Erdem 0001 Hélène Fargier Diego Figueira Christian Fritz 0001 Alban Galland François Goasdoué Romain Griffier Víctor Gutiérrez-Basulto Peter Hansen 0002 Andreas Herzig Richard Hull 0001 Eyke Hüllermeier Yazmín Ibáñez-García Katsumi Inoue Robin Jean Vianney Jouhet Atefe Khodadaditaghanaki Stanislav Kikot Benny Kimelfeld Roman Kontchakov Daniil Kozhemiachenko Pierre Lafourcade Gerhard Lakemeyer Jérôme Lang Michel Leclère Leonid Libkin Carsten Lutz Quentin Manière Pierre Marquis Wim Martens Davide Martinenghi Sheila A. McIlraith Colette Menard Tova Milo Fleur Mougin Marie-Laure Mugnier Filip Murlak Frank Neven Magdalena Ortiz 0001 Vladimir Podolskii 0001Vladimir V. Podolskii Guilin Qi Swan Rocher Riccardo Rosati 0001 Marie-Christine Rousset Vladislav Ryzhikov Thomas Schwentick Pierre Senellart Mantas Simkus Julia Stoyanovich Jianwen Su Fabian M. Suchanek Dan Suciu Michaël Thomazo Sophie Tison Federico Ulliana Victor Vianu Nic Wilson Frank Wolter Zhiliang Xiang Zhliang Xiang Guohui Xiao 0001 Ke Yi 0001 Michael Zakharyaschev