Publications of Michaël Thomazo

Journal Articles

Markus Krötzsch, Tomáš Masopust, Michaël Thomazo
Complexity of Universality and Related Problems for Partially Ordered NFAs
Information and Computation, 255(1):177-192, August 2017
Details Download

Tomáš Masopust, Michaël Thomazo
On boolean combinations forming piecewise testable languages
Theoretical Computer Science, 682:165-179, June 2017
Details Download

Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo
On the complexity of entailment in existential conjunctive first-order logic with atomic negation
Information and Computation, 215:8-31, 2012
Details Download

Proceedings Articles

Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem, eds., Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), 141--150, 2021
Details Download

Markus Krötzsch, Tomáš Masopust, Michaël Thomazo
On the Complexity of Universality for Partially Ordered NFAs
In Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier, eds., Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), volume 58 of Leibniz International Proceedings in Informatics, 61:1--61:14, 2016. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download

Sebastian Rudolph, Michaël Thomazo
Expressivity of Datalog Variants - Completing the Picture
In Subbarao Kambhampati, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'16), 1230-1236, July 2016. AAAI Press
Details Download

Tomáš Masopust, Michaël Thomazo
On the Complexity of k-Piecewise Testability and the Depth of Automata
In I. Potapov, eds., Proc. 19th International Conference on Developments in Language Theory (DLT'15), volume 9168 of LNCS, 364-376, 2015. Springer
Details Download

Sebastian Rudolph, Michaël Thomazo
Characterization of the Expressivity of Existential Rule Queries
In Qiang Yang, Michael Wooldridge, eds., Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 3193-3199, 2015. AAAI Press
Details Download

Marie-Laure Mugnier, Michaël Thomazo
An Introduction to Ontology-Based Query Answering with Existential Rules
Reasoning Web Summer School, 245-278, 2014. Springer
Details Download

Michaël Thomazo, Sebastian Rudolph
Mixing Materialization and Query Rewriting for Existential Rules
Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), 897-902, 2014. IOS Press
Details Download

Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
On the Exploration of the Query Rewriting Space with Existential Rules
Proceedings of the 7th International Conference on Web Reasoning and Rule Systems (RR 2013), 123-137, 2013. Springer
Details Download

Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
Sound, Complete, and Minimal Query Rewriting for Existential Rules
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 3017-3025, 2013
Details

Michaël Thomazo
Ontology Based Query Answering with Existential Rules
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 3245-3246, 2013
Details Download

Michaël Thomazo
Compact Rewritings for Existential Rules
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 1125-1131, 2013
Details

Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
A Sound and Complete Backward Chaining Algorithm for Existential Rules
Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012), 122-138, 2012. Springer
Details Download

Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
A Generic Querying Algorithm for Greedy Sets of Existential Rules
Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning (KR'12), 2012. AAAI
Details Download

Michaël Thomazo
From EL to Tractable Existential Rules with Complex Role Inclusions
Description Logics, 2012
Details Download

Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo
Walking the Complexity Lines for Generalized Guarded Existential Rules
In Toby Walsh, eds., Proceedings of the 22nd International Joint Conference on Artificial Intelligence, 712-717, July 2011. IJCAI/AAAI
Details Download

Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo
Towards Farsighted Dependencies for Existential Rules
Proceedings of the 5th International Conference on Web Reasoning and Rule Systems (RR 2011), 30-45, 2011. Springer
Details Download

Book Chapters

Sarah Alice Gaggl, Sebastian Rudolph, Michaël Thomazo
What Is a Reasonable Argumentation Semantics?
In Eiter, Thomas and Strass, Hannes and Truszczyński, Mirosław and Woltran, Stefan, eds., Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060 of Lecture Notes in Computer Science, chapter Abstract Argumentation, 309-324. Springer International Publishing, 2015
Details Download

Technical Reports

Sebastian Rudolph, Michaël Thomazo
Characterization of the Expressivity of Existential Rule Queries
Technical Report, TU Dresden, volume IJCAI-15-RT-RR, May 2015
Details Download

Štěpán Holub, Tomáš Masopust, Michaël Thomazo
Alternating Towers and Piecewise Testable Separators
Technical Report, arXiv.org, volume CoRR abs/1409.3943, September 2014
Details Download

Tomáš Masopust, Michaël Thomazo
On k-piecewise testability (preliminary report)
Technical Report, arXiv.org, volume CoRR abs/1412.1641, December 2014
Details Download

Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
Sound, Complete and Minimal UCQ-Rewriting for Existential Rules
Technical Report, University of Montpellier 2, 2013
Details Download