Thomazo, Michaël

12 publications

NeurIPS 2025 Toward Interpretable Evaluation Measures for Time Series Segmentation Félix Chavelli, Paul Boniol, Michaël Thomazo

IJCAI 2022 Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract) Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo

IJCAI 2021 Cardinality Queries over DL-Lite Ontologies Meghyn Bienvenu, Quentin Manière, Michaël Thomazo

IJCAI 2020 Answering Counting Queries over DL-Lite Ontologies Meghyn Bienvenu, Quentin Manière, Michaël Thomazo

IJCAI 2019 Reasoning About Disclosure in Data Integration in the Presence of Source Constraints Michael Benedikt, Pierre Bourhis, Louis Jachiet, Michaël Thomazo

IJCAI 2017 Answering Conjunctive Regular Path Queries over Guarded Existential Rules Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Michaël Thomazo

IJCAI 2016 Expressivity of Datalog Variants - Completing the Picture Sebastian Rudolph, Michaël Thomazo

IJCAI 2015 Characterization of the Expressivity of Existential Rule Queries Sebastian Rudolph, Michaël Thomazo

IJCAI 2013 Compact Rewritings for Existential Rules Michaël Thomazo

IJCAI 2013 Ontology Based Query Answering with Existential Rules Michaël Thomazo

IJCAI 2013 Sound, Complete, and Minimal Query Rewriting for Existential Rules Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo

IJCAI 2011 Walking the Complexity Lines for Generalized Guarded Existential Rules Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo