Bienvenu, Meghyn

29 publications

JAIR 2026 Abductive Reasoning in Expansions of Belnap-Dunn Logic Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko

IJCAI 2025 Inconsistency Handling in DatalogMTL Meghyn Bienvenu, Camille Bourgaux, Atefe Khodadaditaghanaki

IJCAI 2025 Shapley Value Computation in Ontology-Mediated Query Answering (Extended Abstract) Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade

IJCAI 2023 REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto

IJCAI 2021 Cardinality Queries over DL-Lite Ontologies Meghyn Bienvenu, Quentin Manière, Michaël Thomazo

IJCAI 2020 Answering Counting Queries over DL-Lite Ontologies Meghyn Bienvenu, Quentin Manière, Michaël Thomazo

JAIR 2019 Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases Meghyn Bienvenu, Camille Bourgaux, François Goasdoué

IJCAI 2019 Mixed-World Reasoning with Existential Rules Under Active-Domain Semantics Meghyn Bienvenu, Pierre Bourhis

IJCAI 2018 Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account Meghyn Bienvenu

IJCAI 2017 Answering Conjunctive Regular Path Queries over Guarded Existential Rules Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Michaël Thomazo

IJCAI 2017 Ontology-Mediated Query Answering for Key-Value Stores Meghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana

AAAI 2016 Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases Meghyn Bienvenu, Camille Bourgaux, François Goasdoué

IJCAI 2016 First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter

IJCAI 2016 Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from Data Meghyn Bienvenu

JAIR 2016 Query and Predicate Emptiness in Ontology-Based Data Access Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter

IJCAI 2016 Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases Meghyn Bienvenu, Camille Bourgaux, François Goasdoué

IJCAI 2015 Combining Existential Rules and Transitivity: Next Steps Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher

JAIR 2015 Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus

AAAI 2014 Querying Inconsistent Description Logic Knowledge Bases Under Preferred Repair Semantics Meghyn Bienvenu, Camille Bourgaux, François Goasdoué

IJCAI 2013 Conjunctive Regular Path Queries in Lightweight Description Logics Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus

IJCAI 2013 First-Order Rewritability of Atomic Queries in Horn Description Logics Meghyn Bienvenu, Carsten Lutz, Frank Wolter

IJCAI 2013 Tractable Approximations of Consistent Query Answering for Robust Ontology-Based Data Access Meghyn Bienvenu, Riccardo Rosati

IJCAI 2013 Tractable Queries for Lightweight Description Logics Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao

AAAI 2012 On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies Meghyn Bienvenu

AAAI 2010 Knowledge Compilation in the Modal Logic S5 Meghyn Bienvenu, Hélène Fargier, Pierre Marquis

JAIR 2009 Prime Implicates and Prime Implicants: From Propositional to Modal Logic Meghyn Bienvenu

AAAI 2008 Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith

AAAI 2008 Prime Implicate Normal Form for ALC Concepts Meghyn Bienvenu

AAAI 2007 Prime Implicates and Prime Implicants in Modal Logic Meghyn Bienvenu