Michaël Thomazo

Inf. Comput., 2019

Reasoning about Disclosure in Data Integration in the Presence of Source Constraints.

[BibT_eX]

[DOI]

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

2018

A Single Approach to Decide Chase Termination on Linear Existential Rules.

[BibT_eX]

[DOI]

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

On Boolean combinations forming piecewise testable languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

Complexity of universality and related problems for partially ordered NFAs.

[BibT_eX]

[DOI]

Markus Krötzsch

Inf. Comput., 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

2016

Mixed-instance querying: a lightweight integration architecture for data journalism.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2016

On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules.

[BibT_eX]

[DOI]

Meghyn Bienvenu

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

On the Complexity of Universality for Partially Ordered NFAs.

[BibT_eX]

[DOI]

Markus Krötzsch

Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

Expressivity of Datalog Variants - Completing the Picture.

[BibT_eX]

[DOI]

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

2015

Sound, complete and minimal UCQ-rewriting for existential rules.

[BibT_eX]

[DOI]

Semantic Web, 2015

Characterization of the Expressivity of Existential Rule Queries.

[BibT_eX]

[DOI]

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

On the Complexity of k-Piecewise Testability and the Depth of Automata.

[BibT_eX]

[DOI]

Proceedings of the Developments in Language Theory - 19th International Conference, 2015

What Is a Reasonable Argumentation Semantics?

[BibT_eX]

[DOI]

Sarah Alice Gaggl

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014

Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses.

[BibT_eX]

[DOI]

CoRR, 2014

On $k$-piecewise testability (preliminary report).

[BibT_eX]

[DOI]

CoRR, 2014

Alternating Towers and Piecewise Testable Separators.

[BibT_eX]

[DOI]

Stepan Holub

CoRR, 2014

An Introduction to Ontology-Based Query Answering with Existential Rules.

[BibT_eX]

[DOI]

Marie-Laure Mugnier

Proceedings of the Reasoning Web. Reasoning on the Web in the Big Data Era, 2014

Mixing Materialization and Query Rewriting for Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms.

[BibT_eX]

[DOI]

PhD thesis, 2013

On the Exploration of the Query Rewriting Space with Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Ontology Based Query Answering with Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Compact Rewritings for Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Sound, Complete, and Minimal Query Rewriting for Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

2012

On the complexity of entailment in existential conjunctive first-order logic with atomic negation.

[BibT_eX]

[DOI]

Marie-Laure Mugnier

Geneviève Simonet

Inf. Comput., 2012

A Sound and Complete Backward Chaining Algorithm for Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

A Generic Querying Algorithm for Greedy Sets of Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

From EL to Tractable Existential Rules with Complex Role Inclusions.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

Towards Farsighted Dependencies for Existential Rules.

[BibT_eX]

[DOI]

Jean-François Baget

Marie-Laure Mugnier