Follow
Michaël Thomazo
Title
Cited by
Cited by
Year
Walking the complexity lines for generalized guarded existential rules
JF Baget, ML Mugnier, S Rudolph, M Thomazo
IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011
1712011
Mixed-instance querying: a lightweight integration architecture for data journalism
R Bonaque, TD Cao, B Cautis, F Goasdoué, J Letelier, I Manolescu, ...
VLDB, 2016
532016
Sound, complete and minimal UCQ-rewriting for existential rules
M König, M Leclère, ML Mugnier, M Thomazo
Semantic Web 6 (5), 451-475, 2015
522015
An introduction to ontology-based query answering with existential rules
ML Mugnier, M Thomazo
Reasoning Web. Reasoning on the Web in the Big Data Era: 10th International …, 2014
472014
A sound and complete backward chaining algorithm for existential rules
M König, M Leclere, ML Mugnier, M Thomazo
Web Reasoning and Rule Systems: 6th International Conference, RR 2012 …, 2012
432012
Compact rewriting for existential rules
M Thomazo
IJCAI: International Joint Conference on Artificial Intelligence, 2013
422013
A generic querying algorithm for greedy sets of existential rules
M Thomazo, JF Baget, ML Mugnier, S Rudolph
Thirteenth International Conference on the Principles of Knowledge …, 2012
362012
Conjunctive query answering under existential rules-decidability, complexity, and algorithms
M Thomazo
Université Montpellier II-Sciences et Techniques du Languedoc, 2013
292013
Complexity of universality and related problems for partially ordered NFAs
M Krötzsch, T Masopust, M Thomazo
Information and Computation 255, 177-192, 2017
242017
On the exploration of the query rewriting space with existential rules
M König, M Leclère, ML Mugnier, M Thomazo
Web Reasoning and Rule Systems: 7th International Conference, RR 2013 …, 2013
192013
Towards farsighted dependencies for existential rules
JF Baget, ML Mugnier, M Thomazo
International Conference on Web Reasoning and Rule Systems, 30-45, 2011
192011
A single approach to decide chase termination on linear existential rules
M Leclère, ML Mugnier, M Thomazo, F Ulliana
22nd International Conference on Database Theory (ICDT 2019), 2019
182019
Answering conjunctive regular path queries over guarded existential rules
JF Baget, M Bienvenu, ML Mugnier, M Thomazo
IJCAI: International Joint Conference on Artificial Intelligence, 2017
122017
On boolean combinations forming piecewise testable languages
T Masopust, M Thomazo
Theoretical Computer Science 682, 165-179, 2017
122017
On the Complexity of k-Piecewise Testability and the Depth of Automata
T Masopust, M Thomazo
Developments in Language Theory: 19th International Conference, DLT 2015 …, 2015
122015
On the complexity of entailment in existential conjunctive first-order logic with atomic negation
ML Mugnier, G Simonet, M Thomazo
Information and Computation 215, 8-31, 2012
102012
On the complexity of entailment in existential conjunctive first-order logic with atomic negation
ML Mugnier, G Simonet, M Thomazo
Information and Computation 215, 8-31, 2012
102012
Capturing homomorphism-closed decidable queries with existential rules
C Bourgaux, D Carral, M Krötzsch, S Rudolph, M Thomazo
arXiv preprint arXiv:2107.07811, 2021
92021
Reasoning about disclosure in data integration in the presence of source constraints
M Benedikt, P Bourhis, L Jachiet, M Thomazo
arXiv preprint arXiv:1906.00624, 2019
92019
On the complexity of evaluating regular path queries over linear existential rules
M Bienvenu, M Thomazo
International Conference on Web Reasoning and Rule Systems, 1-17, 2016
92016
The system can't perform the operation now. Try again later.
Articles 1–20