Meghyn Bienvenu

Michel Leclère

Marie-Laure Mugnier

Marie-Christine Rousset

Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume I: Knowledge Representation, 2020

2019

Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2019

Mixed-World Reasoning with Existential Rules under Active-Domain Semantics.

[BibT_eX]

[DOI]

Pierre Bourhis

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Mixed-World Reasoning with Existential Rules under Active Domain Semantics (Abstract).

[BibT_eX]

[DOI]

Pierre Bourhis

Proceedings of the 32nd International Workshop on Description Logics, 2019

Inconsistency Handling in Ontology-Mediated Query Answering: A Progress Report.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Towards a Unified View of AI Planning and Reactive Synthesis.

[BibT_eX]

[DOI]

Alberto Camacho

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.

[BibT_eX]

[DOI]

Roman Kontchakov

J. ACM, 2018

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

[BibT_eX]

[DOI]

Dagstuhl Manifestos, 2018

Finite LTL Synthesis with Environment Assumptions and Quality Measures.

[BibT_eX]

[DOI]

Alberto Camacho

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.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries.

[BibT_eX]

[DOI]

Roman Kontchakov

Vladislav Ryzhikov

Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017

Ontology-Mediated Query Answering for Key-Value Stores.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Answering Conjunctive Regular Path Queries over Guarded Existential Rules.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

2016

Research Directions for Principles of Data Management (Abridged).

[BibT_eX]

[DOI]

SIGMOD Rec., 2016

Query and Predicate Emptiness in Ontology-Based Data Access.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2016

Can You Imagine... A Language for Combinatorial Creativity?

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2016, 2016

What if Machines Could be Creative?

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Michaël Thomazo

Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016

Query-Based Comparison of Mappings in Ontology-Based Data Access.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from Data.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries.

[BibT_eX]

[DOI]

Roman Kontchakov

Proceedings of the 29th International Workshop on Description Logics, 2016

Query-driven Repairing of Inconsistent DL-Lite Knowledge Bases (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2015

Ontology-Mediated Query Answering with Data-Tractable Description Logics.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Combining Existential Rules and Transitivity: Next Steps.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Query-based comparison of OBDA specifications.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Combined Complexity of Answering Tree-like Queries in OWL 2 QL.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Explaining Query Answers under Inconsistency-Tolerant Semantics over Description Logic Knowledge Bases (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results.

[BibT_eX]

[DOI]

Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

2014

Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2014

Nested Regular Path Queries in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Nested Regular Path Queries in Description Logics (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Tractable Queries for Lightweight Description Logics.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Conjunctive Regular Path Queries in Lightweight Description Logics.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

First-Order Rewritability of Atomic Queries in Horn Description Logics.

[BibT_eX]

[DOI]

Carsten Lutz

Frank Wolter

Proceedings of the IJCAI 2013, 2013

New Inconsistency-Tolerant Semantics for Robust Ontology-Based Data Access.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Serge Abiteboul

Daniel Deutch

Proceedings of the 15th International Workshop on the Web and Databases 2012, 2012

Dealing with the Deep Web and all its Quirks.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Searching and Integrating New Web Data Sources, 2012

Provenance for Web 2.0 Data.

[BibT_eX]

[DOI]

Daniel Deutch

Fabian M. Suchanek

Proceedings of the Secure Data Management - 9th VLDB Workshop, 2012

Query Containment in Description Logics Reconsidered.

[BibT_eX]

[DOI]

Carsten Lutz

Frank Wolter

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.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

Deciding FO-Rewritability in EL.

[BibT_eX]

[DOI]

Carsten Lutz

Frank Wolter

Proceedings of the 2012 International Workshop on Description Logics, 2012

Inconsistency-Tolerant Conjunctive Query Answering for Simple Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Specifying and computing preferred plans.

[BibT_eX]

[DOI]

Christian Fritz

Artif. Intell., 2011

A rule-based language for web data management.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010

From Preference Logics to Preference Languages, and Back.

[BibT_eX]

[DOI]

Jérôme Lang

Nic Wilson

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Query and Predicate Emptiness in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Query Answering in the Description Logic S.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Distributed Datalog Revisited.

[BibT_eX]

[DOI]

Serge Abiteboul

Alban Galland

Marie-Christine Rousset

Proceedings of the Datalog Reloaded - First International Workshop, 2010

Knowledge Compilation in the Modal Logic S5.

[BibT_eX]

[DOI]

Hélène Fargier

Pierre Marquis

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Prime Implicates and Prime Implicants: From Propositional to Modal Logic.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2009

Query Answering over DL ABoxes: How to Pick the Relevant Symbols.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

Complexity of Abduction in the EL Family of Lightweight Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Prime Implicate-based Belief Revision Operators.

[BibT_eX]

[DOI]

Andreas Herzig

Guilin Qi

Proceedings of the ECAI 2008, 2008

Prime Implicate Normal Form for ALC Concepts.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Consequence Finding in ALC.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Prime Implicates and Prime Implicants in Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Planning with Qualitative Temporal Preferences.

[BibT_eX]

[DOI]

Christian Fritz