| 2026 | AAAI | Data Complexity of Querying Description Logic Knowledge Bases Under Cost-Based Semantics. | Meghyn Bienvenu, Quentin Manire |
| 2026 | ICDT | Responsibility Measures for Conjunctive Queries with Negation. | Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade |
| 2026 | KR | Inferring High-Level Events from Timestamped Data: Complexity and Medical Applications. | Yvon K. Awuklu, Meghyn Bienvenu, Katsumi Inoue, Vianney Jouhet, Fleur Mougin |
| 2026 | KR | Using ASP(Q) to Handle Inconsistent Prioritized Data. | Meghyn Bienvenu, Camille Bourgaux, Robin Jean, Giuseppe Mazzotta |
| 2026 | KR | How Hard is it to Decide if a Fact is Relevant to a Query? | Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade |
| 2025 | IJCAI | Inconsistency Handling in DatalogMTL. | Meghyn Bienvenu, Camille Bourgaux, Atefe Khodadaditaghanaki |
| 2025 | IJCAI | Shapley Value Computation in Ontology-Mediated Query Answering (Extended Abstract). | Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade |
| 2025 | KR | A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases. | Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue, Robin Jean |
| 2025 | KR | Tractable Responsibility Measures for Ontology-Mediated Query Answering. | Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade |
| 2025 | KR | Advances in Logic-Based Entity Resolution: Enhancing ASPEN with Local Merges and Optimality Criteria. | Zhiliang Xiang, Meghyn Bienvenu, Gianluca Cima, Vctor Gutirrez-Basulto, Yazmn Ibez-Garca |
| 2024 | KR | Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases. | Meghyn Bienvenu, Camille Bourgaux, Robin Jean |
| 2024 | KR | Queries With Exact Truth Values in Paraconsistent Description Logics. | Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko |
| 2024 | KR | Shapley Value Computation in Ontology-Mediated Query Answering. | Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade |
| 2024 | KR | Abductive Reasoning in a Paraconsistent Framework. | Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko |
| 2024 | KR | ASPEN: ASP-Based System for Collective Entity Resolution. | Zhiliang Xiang, Meghyn Bienvenu, Gianluca Cima, Vctor Gutirrez-Basulto, Yazmn Ibez-Garca |
| 2023 | IJCAI | REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing. | Meghyn Bienvenu, Gianluca Cima, Vctor Gutirrez-Basulto |
| 2023 | KR | Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints. | Meghyn Bienvenu, Camille Bourgaux |
| 2023 | KR | On Combining Collective Entity Resolution and Repairing (Extended Abstract). | Meghyn Bienvenu, Gianluca Cima, Vctor Gutirrez-Basulto |
| 2023 | KR | Combining Global and Local Merges in Logic-based Entity Resolution. | Meghyn Bienvenu, Gianluca Cima, Vctor Gutirrez-Basulto, Yazmn Ibez-Garca |
| 2022 | KR | Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments. | Meghyn Bienvenu, Camille Bourgaux |
| 2022 | KR | Counting Queries over ELHI⊥ Ontologies. | Meghyn Bienvenu, Quentin Manire, Michal Thomazo |
| 2022 | PODS | LACE: A Logical Approach to Collective Entity Resolution. | Meghyn Bienvenu, Gianluca Cima, Vctor Gutirrez-Basulto |
| 2021 | IJCAI | Cardinality Queries over DL-Lite Ontologies. | Meghyn Bienvenu, Quentin Manire, Michal Thomazo |
| 2020 | IJCAI | Answering Counting Queries over DL-Lite Ontologies. | Meghyn Bienvenu, Quentin Manire, Michal Thomazo |
| 2020 | KR | Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation. | Meghyn Bienvenu, Camille Bourgaux |
| 2019 | IJCAI | Mixed-World Reasoning with Existential Rules under Active-Domain Semantics. | Meghyn Bienvenu, Pierre Bourhis |
| 2018 | IJCAI | Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account. | Meghyn Bienvenu |
| 2018 | KR | Finite LTL Synthesis with Environment Assumptions and Quality Measures. | Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith |
| 2017 | IJCAI | Answering Conjunctive Regular Path Queries over Guarded Existential Rules. | Jean-Franois Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Michal Thomazo |
| 2017 | IJCAI | Ontology-Mediated Query Answering for Key-Value Stores. | Meghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana |
| 2017 | PODS | The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. | Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2016 | AAAI | Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases. | Meghyn Bienvenu, Camille Bourgaux, Franois Goasdou |
| 2016 | IJCAI | First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. | Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter |
| 2016 | IJCAI | Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from Data. | Meghyn Bienvenu |
| 2016 | IJCAI | Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases. | Meghyn Bienvenu, Camille Bourgaux, Franois Goasdou |
| 2016 | KR | Query-Based Comparison of Mappings in Ontology-Based Data Access. | Meghyn Bienvenu, Riccardo Rosati |
| 2015 | IJCAI | Combining Existential Rules and Transitivity: Next Steps. | Jean-Franois Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher |
| 2015 | LICS | Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results. | Meghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii |
| 2014 | AAAI | Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics. | Meghyn Bienvenu, Camille Bourgaux, Franois Goasdou |
| 2014 | KR | Nested Regular Path Queries in Description Logics. | Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus |
| 2013 | IJCAI | First-Order Rewritability of Atomic Queries in Horn Description Logics. | Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
| 2013 | IJCAI | Conjunctive Regular Path Queries in Lightweight Description Logics. | Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus |
| 2013 | IJCAI | Tractable Queries for Lightweight Description Logics. | Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao |
| 2013 | IJCAI | Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access. | Meghyn Bienvenu, Riccardo Rosati |
| 2013 | PODS | Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP. | Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter |
| 2012 | AAAI | On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies. | Meghyn Bienvenu |
| 2012 | KR | Query Containment in Description Logics Reconsidered. | Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
| 2011 | PODS | A rule-based language for web data management. | Serge Abiteboul, Meghyn Bienvenu, Alban Galland, milien Antoine |
| 2010 | AAAI | Knowledge Compilation in the Modal Logic S5. | Meghyn Bienvenu, Hlne Fargier, Pierre Marquis |
| 2010 | KR | Query and Predicate Emptiness in Description Logics. | Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
| 2010 | KR | From Preference Logics to Preference Languages, and Back. | Meghyn Bienvenu, Jrme Lang, Nic Wilson |
| 2008 | AAAI | Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. | Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith |
| 2008 | AAAI | Prime Implicate Normal Form for ALC Concepts. | Meghyn Bienvenu |
| 2008 | ECAI | Prime Implicate-based Belief Revision Operators. | Meghyn Bienvenu, Andreas Herzig, Guilin Qi |
| 2008 | KR | Complexity of Abduction in the EL Family of Lightweight Description Logics. | Meghyn Bienvenu |
| 2007 | AAAI | Prime Implicates and Prime Implicants in Modal Logic. | Meghyn Bienvenu |
| 2006 | KR | Planning with Qualitative Temporal Preferences. | Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith |