Michaël Thomazo
Michaël Thomazo
Bestätigte E-Mail-Adresse bei inria.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Walking the complexity lines for generalized guarded existential rules
JF Baget, ML Mugnier, S Rudolph, M Thomazo
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
1412011
Multi-Agent Path Finding with Kinematic Constraints.
W Hönig, TKS Kumar, L Cohen, H Ma, H Xu, N Ayanian, S Koenig
ICAPS 16, 477-485, 2016
782016
A sound and complete backward chaining algorithm for existential rules
M König, M Leclere, ML Mugnier, M Thomazo
International Conference on Web Reasoning and Rule Systems, 122-138, 2012
422012
Compact rewriting for existential rules
M Thomazo
IJCAI: International Joint Conference on Artificial Intelligence, 2013
362013
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
302015
A generic querying algorithm for greedy sets of existential rules
M Thomazo, JF Baget, ML Mugnier, S Rudolph
292012
An introduction to ontology-based query answering with existential rules
ML Mugnier, M Thomazo
Reasoning Web International Summer School, 245-278, 2014
262014
Mixed-instance querying: a lightweight integration architecture for data journalism
R Bonaque, TD Cao, B Cautis, F Goasdoué, J Letelier, I Manolescu, ...
252016
Towards farsighted dependencies for existential rules
JF Baget, ML Mugnier, M Thomazo
International Conference on Web Reasoning and Rule Systems, 30-45, 2011
182011
Conjunctive query answering under existential rules-decidability, complexity, and algorithms
M Thomazo
162013
On the exploration of the query rewriting space with existential rules
M König, M Leclère, ML Mugnier, M Thomazo
International Conference on Web Reasoning and Rule Systems, 123-137, 2013
162013
On boolean combinations forming piecewise testable languages
T Masopust, M Thomazo
Theoretical Computer Science 682, 165-179, 2017
102017
On the complexity of k-piecewise testability and the depth of automata
T Masopust, M Thomazo
International Conference on Developments in Language Theory, 364-376, 2015
102015
Alternating towers and piecewise testable separators
Š Holub, T Masopust, M Thomazo
arXiv preprint arXiv:1409.3943, 2014
92014
Mixing Materialization and Query Rewriting for Existential Rules.
M Thomazo, S Rudolph
ECAI, 897-902, 2014
92014
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
92012
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
92012
A single approach to decide chase termination on linear existential rules
M Leclère, ML Mugnier, M Thomazo, F Ulliana
arXiv preprint arXiv:1810.02132, 2018
82018
Complexity of universality and related problems for partially ordered NFAs
M Krötzsch, T Masopust, M Thomazo
Information and Computation 255, 177-192, 2017
72017
Complexity boundaries for generalized guarded existential rules
JF Baget, ML Mugnier, S Rudolph, M Thomazo
72011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20