Accéder directement au contenu
MM

Marie-Laure Mugnier

10
Documents
Identifiants chercheurs

Présentation

Publications

"michael-thomazo"
"michel-leclere"
Image document

Sound, Complete and Minimal UCQ-Rewriting for Existential Rules

Mélanie König , Michel Leclère , Marie-Laure Mugnier , Michaël Thomazo
Semantic Web – Interoperability, Usability, Applicability, 2015, 6 (5), pp.451-475. ⟨10.3233/SW-140153⟩
Article dans une revue lirmm-01090370v1
Image document

A Single Approach to Decide Chase Termination on Linear Existential Rules

Michel Leclère , Marie-Laure Mugnier , Michaël Thomazo , Federico Ulliana
ICDT 2019 - 22nd International Conference on Database Theory, Mar 2019, Lisbonne, Portugal. pp.18:1--18:19, ⟨10.4230/LIPIcs.ICDT.2019.18⟩
Communication dans un congrès lirmm-02148200v1
Image document

A Single Approach to Decide Chase Termination on Linear Existential Rules

Michel Leclère , Marie-Laure Mugnier , Michaël Thomazo , Federico Ulliana
31st International Workshop on Description Logics (DL), Oct 2018, Tempe, United States
Communication dans un congrès lirmm-01892353v1
Image document

On the Exploration of the Query Rewriting Space with Existential Rules

Mélanie König , Michel Leclère , Marie-Laure Mugnier , Michaël Thomazo
RR: Web Reasoning and Rule Systems, Aug 2013, Mannheim, Germany. pp.123-137, ⟨10.1007/978-3-642-39666-3_10⟩
Communication dans un congrès lirmm-00838806v1
Image document

Sound, Complete, and Minimal Query Rewriting for Existential Rules

Mélanie König , Michel Leclère , Marie-Laure Mugnier , Michaël Thomazo
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China
Communication dans un congrès lirmm-00838791v1
Image document

A Sound and Complete Backward Chaining Algorithm for Existential Rules

Mélanie König , Michel Leclère , Marie-Laure Mugnier , Michaël Thomazo
RR: Web Reasoning and Rule Systems, Sep 2012, Vienna, Austria. pp.122-138, ⟨10.1007/978-3-642-33203-6_10⟩
Communication dans un congrès lirmm-00764341v3