Accéder directement au contenu
MM

Marie-Laure Mugnier

27
Documents
Identifiants chercheurs

Présentation

Publications

"michael-thomazo"

Normalisations of Existential Rules: Not so Innocuous!

David Carral , Lucas Larroque , Michaël Thomazo , Marie-Laure Mugnier
BDA 2023 - 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France
Communication dans un congrès lirmm-04315377v1
Image document

Parallelisable Existential Rules: a Story of Pieces

Maxime Buron , Marie-Laure Mugnier , Michaël Thomazo
BDA 2022 - 38ème journée "Gestion de Données – Principes, Technologies et Applications", Oct 2022, Clermont-Ferrand, France
Communication dans un congrès hal-03896402v1
Image document

Normalisations of Existential Rules: Not so Innocuous!

David Carral , Lucas Larroque , Marie-Laure Mugnier , Michaël Thomazo
KR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, HaÏfa, Israel. pp.102-111, ⟨10.24963/kr.2022/11⟩
Communication dans un congrès lirmm-03762686v1
Image document

Parallelisable Existential Rules: a Story of Pieces

Maxime Buron , Marie-Laure Mugnier , Michaël Thomazo
KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. pp.163-173, ⟨10.24963/kr.2021/16⟩
Communication dans un congrès hal-03405745v1
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

Answering Conjunctive Regular Path Queries over Guarded Existential Rules

Jean-François Baget , Meghyn Bienvenu , Marie-Laure Mugnier , Michaël Thomazo
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia
Communication dans un congrès lirmm-01632224v1
Image document

An Introduction to Ontology-Based Query Answering with Existential Rules

Marie-Laure Mugnier , Michaël Thomazo
RW: Reasoning Web, Sep 2014, Athens, Greece. pp.245-278, ⟨10.1007/978-3-319-10587-1_6⟩
Communication dans un congrès lirmm-01089990v1
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
Image document

A Generic Querying Algorithm for Greedy Sets of Existential Rules

Michaël Thomazo , Jean-François Baget , Marie-Laure Mugnier , Sebastian Rudolph
KR: Representation and Reasoning, Jun 2012, Rome, Italy. pp.096-106
Communication dans un congrès lirmm-00763518v1
Image document

Towards Farsighted Dependencies for Existential Rules

Jean-François Baget , Marie-Laure Mugnier , Michaël Thomazo
RR: Web Reasoning and Rule Systems, Aug 2011, Galway, Ireland. pp.30-45, ⟨10.1007/978-3-642-23580-1_4⟩
Communication dans un congrès lirmm-00618329v1

Walking the Complexity Lines for Generalized Guarded Existential Rules

Jean-François Baget , Marie-Laure Mugnier , Sebastian Rudolph , Michaël Thomazo
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2011, Barcelona, Spain. pp.712-717
Communication dans un congrès lirmm-00618081v1

Notions de dépendances pour les règles Existentielles

Jean-François Baget , Marie-Laure Mugnier , Michaël Thomazo
JIAF'11: Journées de l'Intelligence Artificielle Fondamentale, Jun 2011, Lyon, France. pp.12-21
Communication dans un congrès lirmm-00618090v1
Image document

A Single Approach to Decide Chase Termination on Linear Existential Rules

Michel Leclère , Marie-Laure Mugnier , Michaël Thomazo , Federico Ulliana
[Research Report] arXiv:1810.02132. 2018
Rapport lirmm-01892375v1
Image document

Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses

Sebastian Rudolph , Michael Thomazo , Jean-François Baget , Marie-Laure Mugnier
[Research Report] LIRMM. 2014
Rapport lirmm-01097137v1

On the Exploration of the Query Rewriting Space with Existential Rules

Mélanie König , Michel Leclère , Marie-Laure Mugnier , Michaël Thomazo
[Research Report] RR-13016, Lirmm. 2013
Rapport lirmm-00825634v1
Image document

Sound, Complete and Minimal UCQ-Rewriting for Existential Rules

Mélanie König , Michel Leclère , Marie-Laure Mugnier , Michaël Thomazo
[Research Report] RR-13034, Lirmm. 2013, pp.29
Rapport lirmm-00903375v1
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-12016, 2012
Rapport lirmm-00713182v3
Image document

A Generic Querying Algorithm for Greedy Sets of Existential Rules

Michaël Thomazo , Jean-François Baget , Marie-Laure Mugnier , Sebastian Rudolph
RR-12006, 2012
Rapport lirmm-00675560v1

Towards Farsighted Dependencies for Existential Rules

Jean-François Baget , Marie-Laure Mugnier , Michaël Thomazo
RR-11016, 2011, pp.16
Rapport lirmm-00595033v1
Image document

Complexity Boundaries for Generalized Guarded Existential Rules

Jean-François Baget , Marie-Laure Mugnier , Sebastian Rudolph , Michaël Thomazo
RR-11006, 2011, 39 p
Rapport lirmm-00568935v1
Image document

On the Complexity of Entailment in Existential Conjunctive First Order Logic with Atomic Negation

Marie-Laure Mugnier , Geneviève Simonet , Michaël Thomazo
RR-11026, 2009, pp.46
Rapport lirmm-00413699v2

On the Complexity of Deduction in the Existential Conjunctive Fragment of FOL with Atomic Negation

Marie-Laure Mugnier , Michaël Thomazo
RR-08013, 2008, pp.18
Rapport lirmm-00285475v1