Michaël Thomazo

DI ENS , ENS , CNRS , PSL University & Inria , Paris , France

12 papers in the IJCAI proceedings

IJCAI 2026

Analysing Temporal Reasoning in Description Logics Using Formal Grammars (IJCAI Extended Abstract)

with Camille Bourgaux, Anton Gnatenko

doi:10.24963/ijcai.2026/918

Details PDF

IJCAI 2022

Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)

with Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph

doi:10.24963/ijcai.2022/733

Details PDF

IJCAI 2021

Cardinality Queries over DL-Lite Ontologies

with Meghyn Bienvenu, Quentin Manière

doi:10.24963/ijcai.2021/248

Details PDF

IJCAI 2020

Answering Counting Queries over DL-Lite Ontologies

with Meghyn Bienvenu, Quentin Manière

doi:10.24963/ijcai.2020/223

Details PDF

IJCAI 2019

Reasoning about Disclosure in Data Integration in the Presence of Source Constraints

with Michael Benedikt, Pierre Bourhis, Louis Jachiet

doi:10.24963/ijcai.2019/215

Details PDF

IJCAI 2017

Answering Conjunctive Regular Path Queries over Guarded Existential Rules

with Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier

doi:10.24963/ijcai.2017/110

Details PDF

IJCAI 2016

Expressivity of Datalog Variants - Completing the Picture

with Sebastian Rudolph

Details PDF

IJCAI 2015

Characterization of the Expressivity of Existential Rule Queries

with Sebastian Rudolph

Details PDF

IJCAI 2013

Compact Rewritings for Existential Rules

Details PDF

Ontology Based Query Answering with Existential Rules

Details PDF

Sound, Complete, and Minimal Query Rewriting for Existential Rules

with Mélanie König, Michel Leclère, Marie-Laure Mugnier

Details PDF

IJCAI 2011

Walking the Complexity Lines for Generalized Guarded Existential Rules

with Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph

doi:10.5591/978-1-57735-516-8/IJCAI11-126

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings