Michaël Thomazo

6 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

Future Conferences

AI Journal Division

IJCAI Proceedings