Meghyn Bienvenu

146 papers A* 53A 2Journal 45Unranked 43
YearRankTypeTitle / Venue / Authors
2026 J jnl
Abductive Reasoning in Expansions of Belnap-Dunn Logic.
J. Artif. Intell. Res.
Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko
2026 A* conf
Data Complexity of Querying Description Logic Knowledge Bases Under Cost-Based Semantics.
AAAI
Meghyn Bienvenu, Quentin Manière
2026 J jnl
Queries With Exact Truth Values on Concept and Role Atoms in Paraconsistent Description Logics.
J. Artif. Intell. Res.
Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko
2026 A conf
Responsibility Measures for Conjunctive Queries with Negation.
ICDT
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2026 J jnl
Responsibility Measures for Conjunctive Queries with Negation.
CoRR
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2025 — conf
A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract).
DL
Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue, Robin Jean
2025 A* conf
A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases.
KR
Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue, Robin Jean
2025 J jnl
A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases.
CoRR
Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue, Robin Jean
2025 A* conf
Advances in Logic-Based Entity Resolution: Enhancing ASPEN with Local Merges and Optimality Criteria.
KR
Zhiliang Xiang, Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García
2025 J jnl
Advances in Logic-Based Entity Resolution: Enhancing ASPEN with Local Merges and Optimality Criteria.
CoRR
Zhliang Xiang, Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García
2025 J jnl
Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics.
CoRR
Meghyn Bienvenu, Quentin Manière
2025 — conf
Inconsistency Handling in DatalogMTL (Extended Abstract).
DL
Meghyn Bienvenu, Camille Bourgaux, Atefe Khodadaditaghanaki
2025 A* conf
Inconsistency Handling in DatalogMTL.
IJCAI
Meghyn Bienvenu, Camille Bourgaux, Atefe Khodadaditaghanaki
2025 J jnl
Inconsistency Handling in DatalogMTL.
CoRR
Meghyn Bienvenu, Camille Bourgaux, Atefe Khodadaditaghanaki
2025 — ed.
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
Alessandro Artale, Meghyn Bienvenu, Yazmín Ibáñez-García, Filip Murlak
2025 J jnl
Ontology-driven identification of inconsistencies in clinical data: A case study in lung cancer phenotyping.
J. Biomed. Informatics
Yvon K. Awuklu, Fleur Mougin, Romain Griffier, Meghyn Bienvenu, Vianney Jouhet
2025 J jnl
Recent Advances in Logic-Based Entity Resolution.
SIGMOD Rec.
Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Zhiliang Xiang
2025 J jnl
Shapley Revisited: Tractable Responsibility Measures for Query Answers.
CoRR
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2025 J jnl
Shapley Revisited: Tractable Responsibility Measures for Query Answers.
Proc. ACM Manag. Data
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2025 A* conf
Shapley Value Computation in Ontology-Mediated Query Answering (Extended Abstract).
IJCAI
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2025 — conf
Tractable Responsibility Measures for Ontology-Mediated Query Answering (Extended Abstract).
DL
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2025 A* conf
Tractable Responsibility Measures for Ontology-Mediated Query Answering.
KR
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2025 J jnl
Tractable Responsibility Measures for Ontology-Mediated Query Answering.
CoRR
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2024 A* conf
ASPEN: ASP-Based System for Collective Entity Resolution.
KR
Zhiliang Xiang, Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García
2024 J jnl
ASPEN: ASP-Based System for Collective Entity Resolution.
CoRR
Zhiliang Xiang, Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García
2024 A* conf
Abductive Reasoning in a Paraconsistent Framework.
KR
Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko
2024 J jnl
Abductive Reasoning in a Paraconsistent Framework.
CoRR
Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko
2024 A* conf
Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases.
KR
Meghyn Bienvenu, Camille Bourgaux, Robin Jean
2024 J jnl
Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases.
CoRR
Meghyn Bienvenu, Camille Bourgaux, Robin Jean
2024 A* conf
Queries With Exact Truth Values in Paraconsistent Description Logics.
KR
Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko
2024 J jnl
Queries With Exact Truth Values in Paraconsistent Description Logics.
CoRR
Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko
2024 A* conf
Shapley Value Computation in Ontology-Mediated Query Answering.
KR
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2024 J jnl
Shapley Value Computation in Ontology-Mediated Query Answering.
CoRR
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2024 J jnl
When is Shapley Value Computation a Matter of Counting?
Proc. ACM Manag. Data
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2023 A* conf
Combining Global and Local Merges in Logic-based Entity Resolution.
KR
Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García
2023 J jnl
Combining Global and Local Merges in Logic-based Entity Resolution.
CoRR
Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García
2023 A* conf
Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints.
KR
Meghyn Bienvenu, Camille Bourgaux
2023 J jnl
Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints.
CoRR
Meghyn Bienvenu, Camille Bourgaux
2023 — conf
On Combining Collective Entity Resolution and Repairing (Extended Abstract).
ENIGMA@KR
Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto
2023 A* conf
REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing.
IJCAI
Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto
2023 J jnl
When is Shapley Value Computation a Matter of Counting?
CoRR
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2022 — conf
Complexity Landscape for Counting Queries (Extended Abstract).
Description Logics
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2022 A* conf
Counting Queries over ELHI⊥ Ontologies.
KR
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2022 A* conf
LACE: A Logical Approach to Collective Entity Resolution.
PODS
Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto
2022 — conf
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract).
Description Logics
Meghyn Bienvenu, Camille Bourgaux
2022 A* conf
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments.
KR
Meghyn Bienvenu, Camille Bourgaux
2022 J jnl
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments.
CoRR
Meghyn Bienvenu, Camille Bourgaux
2021 — conf
Cardinality Queries over DL-Lite Ontologies (Extended abstract).
Description Logics
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2021 A* conf
Cardinality Queries over DL-Lite Ontologies.
IJCAI
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2021 — conf
Counting Queries over ELHI⊥ Ontologies.
Description Logics
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2021 A* ed.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021.
KR
Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem
2020 J jnl
A Short Survey on Inconsistency Handling in Ontology-Mediated Query Answering.
Künstliche Intell.
Meghyn Bienvenu
2020 — conf
Answering Counting Queries over DL-Lite Ontologies (Extended Abstract).
Description Logics
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2020 A* conf
Answering Counting Queries over DL-Lite Ontologies.
IJCAI
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2020 J jnl
Answering Counting Queries over DL-Lite Ontologies.
CoRR
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2020 J jnl
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics.
CoRR
Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
2020 A* conf
Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation.
KR
Meghyn Bienvenu, Camille Bourgaux
2020 J jnl
Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation.
CoRR
Meghyn Bienvenu, Camille Bourgaux
2020 — ch.
Reasoning with Ontologies.
A Guided Tour of Artificial Intelligence Research (1) (I)
Meghyn Bienvenu, Michel Leclère, Marie-Laure Mugnier, Marie-Christine Rousset
2019 J jnl
Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases.
J. Artif. Intell. Res.
Meghyn Bienvenu, Camille Bourgaux, François Goasdoué
2019 — conf
Inconsistency Handling in Ontology-Mediated Query Answering: A Progress Report.
Description Logics
Meghyn Bienvenu
2019 — conf
Mixed-World Reasoning with Existential Rules under Active Domain Semantics (Abstract).
Description Logics
Meghyn Bienvenu, Pierre Bourhis
2019 A* conf
Mixed-World Reasoning with Existential Rules under Active-Domain Semantics.
IJCAI
Meghyn Bienvenu, Pierre Bourhis
2019 A* conf
Towards a Unified View of AI Planning and Reactive Synthesis.
ICAPS
Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith
2018 A* conf
Finite LTL Synthesis with Environment Assumptions and Quality Measures.
KR
Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith
2018 J jnl
Finite LTL Synthesis with Environment Assumptions and Quality Measures.
CoRR
Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith
2018 — conf
Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account.
Description Logics
Meghyn Bienvenu
2018 A* conf
Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account.
IJCAI
Meghyn Bienvenu
2018 J jnl
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity.
J. ACM
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2018 J jnl
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
Dagstuhl Manifestos
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
2017 A* conf
Answering Conjunctive Regular Path Queries over Guarded Existential Rules.
IJCAI
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Michaël Thomazo
2017 — conf
On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL.
Description Logics
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2017 A* conf
Ontology-Mediated Query Answering for Key-Value Stores.
IJCAI
Meghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana
2017 — conf
Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries.
Description Logics
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2017 J jnl
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
CoRR
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
2017 A* conf
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries.
PODS
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev
2017 J jnl
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries.
CoRR
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev
2016 — conf
Can You Imagine... A Language for Combinatorial Creativity?
ISWC (1)
Fabian M. Suchanek, Colette Menard, Meghyn Bienvenu, Cyril Chapellier
2016 A* conf
Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases.
AAAI
Meghyn Bienvenu, Camille Bourgaux, François Goasdoué
2016 — conf
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics.
Description Logics
Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
2016 A* conf
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics.
IJCAI
Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
2016 — conf
Inconsistency-Tolerant Querying of Description Logic Knowledge Bases.
RW
Meghyn Bienvenu, Camille Bourgaux
2016 — conf
On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules.
RR
Meghyn Bienvenu, Michaël Thomazo
2016 J jnl
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity.
CoRR
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2016 A* conf
Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from Data.
IJCAI
Meghyn Bienvenu
2016 J jnl
Query and Predicate Emptiness in Ontology-Based Data Access.
J. Artif. Intell. Res.
Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2016 A* conf
Query-Based Comparison of Mappings in Ontology-Based Data Access.
KR
Meghyn Bienvenu, Riccardo Rosati
2016 A* conf
Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases.
IJCAI
Meghyn Bienvenu, Camille Bourgaux, François Goasdoué
2016 — conf
Query-driven Repairing of Inconsistent DL-Lite Knowledge Bases (Extended Abstract).
Description Logics
Meghyn Bienvenu, Camille Bourgaux, François Goasdoué
2016 J jnl
Research Directions for Principles of Data Management (Abridged).
SIGMOD Rec.
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
2016 — conf
Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries.
Description Logics
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2016 J jnl
Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries.
CoRR
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev
2016 — conf
What if Machines Could be Creative?
ISWC (Posters & Demos)
Fabian M. Suchanek, Colette Menard, Meghyn Bienvenu, Cyril Chapellier
2015 — conf
Combined Complexity of Answering Tree-like Queries in OWL 2 QL.
Description Logics
Meghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii
2015 A* conf
Combining Existential Rules and Transitivity: Next Steps.
IJCAI
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher
2015 J jnl
Combining Existential Rules and Transitivity: Next Steps.
CoRR
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher
2015 — conf
Explaining Query Answers under Inconsistency-Tolerant Semantics over Description Logic Knowledge Bases (Extended Abstract).
Description Logics
Meghyn Bienvenu, Camille Bourgaux, François Goasdoué
2015 — conf
Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results.
AMW
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
2015 — conf
Ontology-Mediated Query Answering with Data-Tractable Description Logics.
Reasoning Web
Meghyn Bienvenu, Magdalena Ortiz
2015 — conf
Query-based comparison of OBDA specifications.
Description Logics
Meghyn Bienvenu, Riccardo Rosati
2015 J jnl
Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms.
J. Artif. Intell. Res.
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
2015 A* conf
Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results.
LICS
Meghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii
2014 — ed.
Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014.
Description Logics
Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus
2014 — conf
Nested Regular Path Queries in Description Logics (Extended Abstract).
AMW
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014 A* conf
Nested Regular Path Queries in Description Logics.
KR
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014 J jnl
Nested Regular Path Queries in Description Logics.
CoRR
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014 J jnl
Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP.
ACM Trans. Database Syst.
Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter
2014 J jnl
Prime Implicates and Prime Implicants: From Propositional to Modal Logic.
CoRR
Meghyn Bienvenu
2014 A* conf
Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics.
AAAI
Meghyn Bienvenu, Camille Bourgaux, François Goasdoué
2014 — conf
Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics.
Description Logics
Camille Bourgaux, Meghyn Bienvenu, François Goasdoué
2014 — conf
Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries.
Description Logics
Meghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii
2014 J jnl
Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries.
CoRR
Meghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii
2013 A* conf
Conjunctive Regular Path Queries in Lightweight Description Logics.
IJCAI
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
2013 A* conf
First-Order Rewritability of Atomic Queries in Horn Description Logics.
IJCAI
Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2013 — conf
New Inconsistency-Tolerant Semantics for Robust Ontology-Based Data Access.
Description Logics
Meghyn Bienvenu, Riccardo Rosati
2013 J jnl
Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP
CoRR
Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter
2013 A* conf
Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP.
PODS
Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter
2013 — conf
Tractability Guarantees for DL-Lite Query Answering.
Description Logics
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao
2013 A* conf
Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access.
IJCAI
Meghyn Bienvenu, Riccardo Rosati
2013 A* conf
Tractable Queries for Lightweight Description Logics.
IJCAI
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao
2012 — conf
Answering Expressive Path Queries over Lightweight DL Knowledge Bases.
Description Logics
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
2012 — conf
Dealing with the Deep Web and all its Quirks.
VLDS
Meghyn Bienvenu, Daniel Deutch, Davide Martinenghi, Pierre Senellart, Fabian M. Suchanek
2012 — conf
Deciding FO-Rewritability in EL.
Description Logics
Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2012 — conf
Deduction in the Presence of Distribution and Contradictions.
WebDB
Serge Abiteboul, Meghyn Bienvenu, Daniel Deutch
2012 — conf
Inconsistency-Tolerant Conjunctive Query Answering for Simple Ontologies.
Description Logics
Meghyn Bienvenu
2012 A* conf
On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies.
AAAI
Meghyn Bienvenu
2012 — conf
Provenance for Web 2.0 Data.
Secure Data Management
Meghyn Bienvenu, Daniel Deutch, Fabian M. Suchanek
2012 A* conf
Query Containment in Description Logics Reconsidered.
KR
Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2011 A* conf
A rule-based language for web data management.
PODS
Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Émilien Antoine
2011 — conf
First-Order Expressibility Results for Queries over Inconsistent DL-Lite Knowledge Bases.
Description Logics
Meghyn Bienvenu
2011 J jnl
Specifying and computing preferred plans.
Artif. Intell.
Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith
2010 — conf
Distributed Datalog Revisited.
Datalog
Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Marie-Christine Rousset
2010 A* conf
From Preference Logics to Preference Languages, and Back.
KR
Meghyn Bienvenu, Jérôme Lang, Nic Wilson
2010 A* conf
Knowledge Compilation in the Modal Logic S5.
AAAI
Meghyn Bienvenu, Hélène Fargier, Pierre Marquis
2010 — conf
Query Answering in the Description Logic S.
Description Logics
Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
2010 A* conf
Query and Predicate Emptiness in Description Logics.
KR
Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2009 J jnl
Prime Implicates and Prime Implicants: From Propositional to Modal Logic.
J. Artif. Intell. Res.
Meghyn Bienvenu
2009 — conf
Query Answering over DL ABoxes: How to Pick the Relevant Symbols.
Description Logics
Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
2008 A* conf
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners.
AAAI
Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith
2008 A* conf
Complexity of Abduction in the EL Family of Lightweight Description Logics.
KR
Meghyn Bienvenu
2008 A* conf
Prime Implicate Normal Form for ALC Concepts.
AAAI
Meghyn Bienvenu
2008 — conf
Prime Implicate Normal Form for ALC Concepts.
Description Logics
Meghyn Bienvenu
2008 A conf
Prime Implicate-based Belief Revision Operators.
ECAI
Meghyn Bienvenu, Andreas Herzig, Guilin Qi
2007 — conf
Consequence Finding in ALC.
Description Logics
Meghyn Bienvenu
2007 A* conf
Prime Implicates and Prime Implicants in Modal Logic.
AAAI
Meghyn Bienvenu
2006 A* conf
Planning with Qualitative Temporal Preferences.
KR
Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith