Meghyn Bienvenu

According to our database1, Meghyn Bienvenu authored at least 74 papers between 2006 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases.
J. Artif. Intell. Res., 2019

Mixed-World Reasoning with Existential Rules under Active Domain Semantics (Abstract).
Proceedings of the 32nd International Workshop on Description Logics, 2019

Inconsistency Handling in Ontology-Mediated Query Answering: A Progress Report.
Proceedings of the 32nd International Workshop on Description Logics, 2019

Towards a Unified View of AI Planning and Reactive Synthesis.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity.
J. ACM, 2018

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
Dagstuhl Manifestos, 2018

Finite LTL Synthesis with Environment Assumptions and Quality Measures.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries.
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017

Ontology-Mediated Query Answering for Key-Value Stores.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Answering Conjunctive Regular Path Queries over Guarded Existential Rules.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries.
Proceedings of the 30th International Workshop on Description Logics, 2017

On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL.
Proceedings of the 30th International Workshop on Description Logics, 2017

2016
Research Directions for Principles of Data Management (Abridged).
SIGMOD Record, 2016

Query and Predicate Emptiness in Ontology-Based Data Access.
J. Artif. Intell. Res., 2016

Can You Imagine... A Language for Combinatorial Creativity?
Proceedings of the Semantic Web - ISWC 2016, 2016

What if Machines Could be Creative?
Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

Inconsistency-Tolerant Querying of Description Logic Knowledge Bases.
Proceedings of the Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering, 2016

On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules.
Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016

Query-Based Comparison of Mappings in Ontology-Based Data Access.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from Data.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries.
Proceedings of the 29th International Workshop on Description Logics, 2016

Query-driven Repairing of Inconsistent DL-Lite Knowledge Bases (Extended Abstract).
Proceedings of the 29th International Workshop on Description Logics, 2016

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics.
Proceedings of the 29th International Workshop on Description Logics, 2016

Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms.
J. Artif. Intell. Res., 2015

Ontology-Mediated Query Answering with Data-Tractable Description Logics.
Proceedings of the Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31, 2015

Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results.
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Combining Existential Rules and Transitivity: Next Steps.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Query-based comparison of OBDA specifications.
Proceedings of the 28th International Workshop on Description Logics, 2015

Combined Complexity of Answering Tree-like Queries in OWL 2 QL.
Proceedings of the 28th International Workshop on Description Logics, 2015

Explaining Query Answers under Inconsistency-Tolerant Semantics over Description Logic Knowledge Bases (Extended Abstract).
Proceedings of the 28th International Workshop on Description Logics, 2015

Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results.
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

2014
Nested Regular Path Queries in Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Nested Regular Path Queries in Description Logics (Extended Abstract).
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP.
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access.
Proceedings of the IJCAI 2013, 2013

Tractable Queries for Lightweight Description Logics.
Proceedings of the IJCAI 2013, 2013

Conjunctive Regular Path Queries in Lightweight Description Logics.
Proceedings of the IJCAI 2013, 2013

First-Order Rewritability of Atomic Queries in Horn Description Logics.
Proceedings of the IJCAI 2013, 2013

New Inconsistency-Tolerant Semantics for Robust Ontology-Based Data Access.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Tractability Guarantees for DL-Lite Query Answering.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012
Deduction in the Presence of Distribution and Contradictions.
Proceedings of the 15th International Workshop on the Web and Databases 2012, 2012

Dealing with the Deep Web and all its Quirks.
Proceedings of the Second International Workshop on Searching and Integrating New Web Data Sources, 2012

Provenance for Web 2.0 Data.
Proceedings of the Secure Data Management - 9th VLDB Workshop, 2012

Query Containment in Description Logics Reconsidered.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Answering Expressive Path Queries over Lightweight DL Knowledge Bases.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Deciding FO-Rewritability in EL.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Inconsistency-Tolerant Conjunctive Query Answering for Simple Ontologies.
Proceedings of the 2012 International Workshop on Description Logics, 2012

On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Specifying and computing preferred plans.
Artif. Intell., 2011

A rule-based language for web data management.
Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2011

First-Order Expressibility Results for Queries over Inconsistent DL-Lite Knowledge Bases.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010
From Preference Logics to Preference Languages, and Back.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Query and Predicate Emptiness in Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Query Answering in the Description Logic S.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Distributed Datalog Revisited.
Proceedings of the Datalog Reloaded - First International Workshop, 2010

Knowledge Compilation in the Modal Logic S5.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Prime Implicates and Prime Implicants: From Propositional to Modal Logic.
J. Artif. Intell. Res., 2009

Query Answering over DL ABoxes: How to Pick the Relevant Symbols.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
Complexity of Abduction in the EL Family of Lightweight Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Prime Implicate-based Belief Revision Operators.
Proceedings of the ECAI 2008, 2008

Prime Implicate Normal Form for ALC Concepts.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Prime Implicate Normal Form for ALC Concepts.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Consequence Finding in ALC.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Prime Implicates and Prime Implicants in Modal Logic.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Planning with Qualitative Temporal Preferences.
Proceedings of the Proceedings, 2006


  Loading...