Michaël Thomazo

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 36

Top Venues

CoRR

IJCAI

Description Logics

Montpellier 2 University, France (PHD)

Education History

Montpellier 2 University, France

PHD

Publications

Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
Complexity Landscape for Counting Queries (Extended Abstract). Description Logics (2022)
David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo
Normalisations of Existential Rules: Not so Innocuous! KR (2022)
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract). IJCAI (2022)
Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo
Revisiting Semiring Provenance for Datalog. CoRR (2022)
Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo
Revisiting Semiring Provenance for Datalog. KR (2022)
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
Counting Queries over ELHI⊥ Ontologies. KR (2022)
David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo
Normalisations of Existential Rules: Not so Innocuous! CoRR (2022)
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
Cardinality Queries over DL-Lite Ontologies. IJCAI (2021)
Maxime Buron, Marie-Laure Mugnier, Michaël Thomazo
Parallelisable Existential Rules: a Story of Pieces. KR (2021)
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
Counting Queries over ELHI⊥ Ontologies. Description Logics (2021)
Maxime Buron, Marie-Laure Mugnier, Michaël Thomazo
Parallelisable Existential Rules: a Story of Pieces. CoRR (2021)
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules. KR (2021)
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules. CoRR (2021)
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
Cardinality Queries over DL-Lite Ontologies (Extended abstract). Description Logics (2021)
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
Answering Counting Queries over DL-Lite Ontologies. IJCAI (2020)
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
Answering Counting Queries over DL-Lite Ontologies. CoRR (2020)
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
Answering Counting Queries over DL-Lite Ontologies (Extended Abstract). Description Logics (2020)
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
A Single Approach to Decide Chase Termination on Linear Existential Rules. ICDT (2019)
Michael Benedikt, Pierre Bourhis, Louis Jachiet, Michaël Thomazo
Reasoning about Disclosure in Data Integration in the Presence of Source Constraints. IJCAI (2019)
Michael Benedikt, Pierre Bourhis, Louis Jachiet, Michaël Thomazo
Reasoning about disclosure in data integration in the presence of source constraints. CoRR (2019)
Stepan Holub, Tomás Masopust, Michaël Thomazo
On the height of towers of subsequences and prefixes. Inf. Comput. 265 (2019)
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
A Single Approach to Decide Chase Termination on Linear Existential Rules. CoRR (2018)
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
A Single Approach to Decide Chase Termination on Linear Existential Rules. Description Logics (2018)
Tomás Masopust, Michaël Thomazo
On Boolean combinations forming piecewise testable languages. Theor. Comput. Sci. 682 (2017)
Stepan Holub, Tomás Masopust, Michaël Thomazo
On the Height of Towers of Subsequences and Prefixes. CoRR (2017)
Markus Krötzsch, Tomás Masopust, Michaël Thomazo
Complexity of universality and related problems for partially ordered NFAs. Inf. Comput. 255 (2017)
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Michaël Thomazo
Answering Conjunctive Regular Path Queries over Guarded Existential Rules. IJCAI (2017)
Sebastian Rudolph, Michaël Thomazo
Expressivity of Datalog Variants - Completing the Picture. IJCAI (2016)
Raphaël Bonaque, Tien Duc Cao, Bogdan Cautis, François Goasdoué, J. Letelier, Ioana Manolescu, O. Mendoza, S. Ribeiro, Xavier Tannier, Michaël Thomazo
Mixed-instance querying: a lightweight integration architecture for data journalism. Proc. VLDB Endow. 9 (13) (2016)
Markus Krötzsch, Tomás Masopust, Michaël Thomazo
On the Complexity of Universality for Partially Ordered NFAs. MFCS (2016)
Meghyn Bienvenu, Michaël Thomazo
On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules. RR (2016)
Markus Krötzsch, Tomás Masopust, Michaël Thomazo
Complexity of Universality and Related Problems for Partially Ordered NFAs. CoRR (2016)
Tomás Masopust, Michaël Thomazo
On the Complexity of k-Piecewise Testability and the Depth of Automata. DLT (2015)
Sarah Alice Gaggl, Sebastian Rudolph, Michaël Thomazo
What Is a Reasonable Argumentation Semantics? Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Sebastian Rudolph, Michaël Thomazo
Characterization of the Expressivity of Existential Rule Queries. IJCAI (2015)
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
Sound, complete and minimal UCQ-rewriting for existential rules. Semantic Web 6 (5) (2015)
Stepan Holub, Tomás Masopust, Michaël Thomazo
Alternating Towers and Piecewise Testable Separators. CoRR (2014)
Michaël Thomazo, Sebastian Rudolph
Mixing Materialization and Query Rewriting for Existential Rules. ECAI (2014)
Marie-Laure Mugnier, Michaël Thomazo
An Introduction to Ontology-Based Query Answering with Existential Rules. Reasoning Web (2014)
Sebastian Rudolph, Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier
Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses. CoRR (2014)
Tomás Masopust, Michaël Thomazo
On $k$-piecewise testability (preliminary report). CoRR (2014)
Michaël Thomazo
Ontology Based Query Answering with Existential Rules. IJCAI (2013)
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
Sound, Complete and Minimal UCQ-Rewriting for Existential Rules. CoRR (2013)
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
Sound, Complete, and Minimal Query Rewriting for Existential Rules. IJCAI (2013)
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
On the Exploration of the Query Rewriting Space with Existential Rules. RR (2013)
Michaël Thomazo
Compact Rewritings for Existential Rules. IJCAI (2013)
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
A Sound and Complete Backward Chaining Algorithm for Existential Rules. RR (2012)
Michaël Thomazo
From EL to Tractable Existential Rules with Complex Role Inclusions. Description Logics (2012)
Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
A Generic Querying Algorithm for Greedy Sets of Existential Rules. KR (2012)
Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo
On the complexity of entailment in existential conjunctive first-order logic with atomic negation. Inf. Comput. 215 (2012)
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo
Walking the Complexity Lines for Generalized Guarded Existential Rules. IJCAI (2011)
Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo
Towards Farsighted Dependencies for Existential Rules. RR (2011)

Michaël Thomazo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michaël Thomazo