Accéder directement au contenu
MM

Marie-Laure Mugnier

60
Documents
Identifiants chercheurs

Présentation

Publications

"michel-leclere"
Image document

Characterizing Boundedness in Chase Variants

Stathis Delivorias , Michel Leclère , Marie-Laure Mugnier , Federico Ulliana
Theory and Practice of Logic Programming, 2021, 21 (1), pp.51-79. ⟨10.1017/S1471068420000083⟩
Article dans une revue lirmm-02920610v1
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

On Rules with Existential Variables: Walking the Decidability Line

Jean-François Baget , Michel Leclère , Marie-Laure Mugnier , Eric Salvat
Artificial Intelligence, 2011, 175 (9-10), pp.1620-1654. ⟨10.1016/j.artint.2011.03.002⟩
Article dans une revue lirmm-00587012v1

Validation et enrichissement d'annotations : Application à la veille médiatique

Olivier Carloni , Michel Leclère , Marie-Laure Mugnier
Revue des Nouvelles Technologies de l'Information, 2008, 855 (E12), pp.105-125
Article dans une revue lirmm-00374895v1

Introducing Reasoning into an Industrial Knowledge Management Tool

Olivier Carloni , Michel Leclère , Marie-Laure Mugnier
Applied Intelligence, 2007, in press, pp.14. ⟨10.1007/s10489-007-0103-x⟩
Article dans une revue lirmm-00355363v1

On Querying Simple Conceptual Graphs with Negation

Marie-Laure Mugnier , Michel Leclère
Data and Knowledge Engineering, 2007, 60 (3), pp.468-493. ⟨10.1016/j.datak.2006.03.008⟩
Article dans une revue lirmm-00112647v1
Image document

Query Rewriting with Disjunctive Existential Rules and Mappings

Michel Leclère , Marie-Laure Mugnier , Guillaume Pérution-Kihli
KR 2023 - 20th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2023, Rhodes, Greece. pp.429-439, ⟨10.24963/kr.2023/42⟩
Communication dans un congrès lirmm-04272014v1

Query Rewriting with Disjunctive Existential Rules and Mappings

Michel Leclère , Marie-Laure Mugnier , Guillaume Pérution-Kihli
BDA 2023 - 39e Conférence sur la Gestion de Données - Principes, Technologies et Applications, Oct 2023, Montpellier, France. ⟨10.48550/arXiv.2306.05973⟩
Communication dans un congrès lirmm-04272033v1
Image document

InteGraal: a Tool for Data-Integration and Reasoning on Heterogeneous and Federated Sources

Jean-François Baget , Pierre Bisquert , Michel Leclère , Marie-Laure Mugnier , Guillaume Pérution-Kihli
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-04304601v1
Image document

Oblivious and Semi-Oblivious Boundedness for Existential Rules

Pierre Bourhis , Michel Leclère , Marie-Laure Mugnier , Sophie Tison , Federico Ulliana
IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1581-1587, ⟨10.24963/ijcai.2019/219⟩
Communication dans un congrès lirmm-02148142v1
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 k-Boundedness for Existential Rules

Stathis Delivorias , Michel Leclère , Marie-Laure Mugnier , Federico Ulliana
RuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.48-64, ⟨10.1007/978-3-319-99906-7_4⟩
Communication dans un congrès lirmm-01921140v1
Image document

On Bounded Positive Existential Rules

Michel Leclère , Marie-Laure Mugnier , Federico Ulliana
DL: Description Logics, Apr 2016, Cape Town, South Africa. CEUR Workshop Proceedings
Communication dans un congrès lirmm-01375091v1
Image document

Query Rewriting for Existential Rules with Compiled Preorder

Mélanie König , Michel Leclère , Marie-Laure Mugnier
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.3006-3112
Communication dans un congrès lirmm-01164851v1
Image document

Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules

Jean-François Baget , Alain Gutierrez , Michel Leclère , Marie-Laure Mugnier , Swan Rocher
RuleML: Web Rule Symposium, Aug 2015, Berlin, Germany
Communication dans un congrès hal-01172069v1

Graal: A Toolkit for Query Answering with Existential Rules

Jean-François Baget , Michel Leclère , Marie-Laure Mugnier , Swan Rocher , Clément Sipieter
RuleML: Web Rule Symposium, Aug 2015, Berlin, Germany. pp.328-344, ⟨10.1007/978-3-319-21542-6_21⟩
Communication dans un congrès hal-01172063v1

Kiabora: An Analyzer of Existential Rule Bases

Michel Leclère , Marie-Laure Mugnier , Swan Rocher
RR: Web Reasoning and Rule Systems, Jul 2013, Mannheim, Germany. pp.241-246, ⟨10.1007/978-3-642-39666-3_22⟩
Communication dans un congrès lirmm-00934018v1
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

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

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

A Theoretical and Experimental Comparison of Algorithms for Containment of Conjunctive Queries with Negation

Khalil Ben Mohamed , Michel Leclère , Marie-Laure Mugnier
DEXA 2011 - 22nd International Conference on Database and Expert Systems Applications, Aug 2011, Toulouse, France. pp.466-480, ⟨10.1007/978-3-642-23088-2_35⟩
Communication dans un congrès lirmm-00618779v1
Image document

Déduction dans le fragment existentiel conjonctif de la logique du premier ordre : algorithme et expérimentations

Khalil Ben Mohamed , Michel Leclère , Marie-Laure Mugnier
RFIA: Reconnaissance des Formes et Intelligence Artificielle, Jan 2010, Caen, France
Communication dans un congrès lirmm-00537824v1
Image document

Translations between RDF(S) and Conceptual Graphs

Jean-François Baget , Madalina Croitoru , Michel Leclère , Marie-Laure Mugnier
ICCS: International Conference on Conceptual Structures, Jul 2010, Kuching, Sarawak, Malaysia. pp.28-41
Communication dans un congrès lirmm-00537334v1

Walking the Decidability Line for Rules with Existential Variables

Jean-François Baget , Michel Leclère , Marie-Laure Mugnier
KR: Principles of Knowledge Representation and Reasoning, May 2010, Toronto, Canada. pp.466-476
Communication dans un congrès lirmm-00535780v1

Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments

Khalil Ben Mohamed , Michel Leclère , Marie-Laure Mugnier
AIMSA'10: International Conference on Artificial Intelligence: Methodology, Systems, Applications, Sep 2010, Varna, Bulgaria. pp.1-10, ⟨10.1007/978-3-642-15431-7_1⟩
Communication dans un congrès lirmm-00537836v1
Image document

Logical, graph based knowledge representation with CoGui

Jean-François Baget , Michel Chein , Madalina Croitoru , Alain Gutierrez , Michel Leclère
GAOC: Graphes et Appariement d'Objets Complexes, Jan 2010, Hammamet, Tunisia. pp.15-25
Communication dans un congrès lirmm-00537351v1
Image document

Containment of Conjunctive Queries with Negation: Algorithms and Experiments

Khalil Ben Mohamed , Michel Leclère , Marie-Laure Mugnier
DEXA 2010 - 21st International Conference on Database and Expert Systems Applications, Aug 2010, Bilbao, Spain. pp.330-345, ⟨10.1007/978-3-642-15251-1_27⟩
Communication dans un congrès lirmm-00537832v1
Image document

RDF to Conceptual Graphs Translations

Jean-François Baget , Michel Chein , Madalina Croitoru , Jérôme Fortin , David Genest
CS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2009, Moscow, Russia. pp.17
Communication dans un congrès lirmm-00410621v1

Extending Decidable Cases for Rules with Existential Variables

Jean-François Baget , Michel Leclère , Marie-Laure Mugnier , Eric Salvat
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.677-682
Communication dans un congrès lirmm-00410130v1
Image document

Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit

Jean-François Baget , Olivier Corby , Rose Dieng-Kuntz , Catherine Faron Zucker , Fabien Gandon
ICCS: International Conference on Conceptual Structures, Jul 2008, Toulouse, France. ⟨10.1007/978-3-540-70596-3_21⟩
Communication dans un congrès lirmm-00389753v2

De la déduction dans le fragment {Existe,Et,Neg} de la logique du premier ordre à SAT

Khalil Ben Mohamed , Michel Leclère , Marie-Laure Mugnier
Journées d'Intelligence Artificielle Fondamentale, Oct 2008, Angers, France
Communication dans un congrès lirmm-00355290v1
Image document

DL-SR: a Lite DL with Expressive Rules: Preliminary Results

Jean-François Baget , Michel Leclère , Marie-Laure Mugnier , Eric Salvat
DL: Description Logics, May 2008, Dresden, Germany
Communication dans un congrès lirmm-00394383v1

An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation

Michel Leclère , Marie-Laure Mugnier
ICCS: International Conference on Conceptual Structures, Jul 2008, Toulouse, France. pp.119-132, ⟨10.1007/978-3-540-70596-3_8⟩
Communication dans un congrès lirmm-00355493v1
Image document

Some Algorithmic Improvments for the Containment Problem of Conjunctive Queries with Negation

Michel Leclère , Marie-Laure Mugnier
ICDT 2007 - 11th International Conference on Database Theory, Jan 2007, Barcelona, Spain. pp.404-418, ⟨10.1007/11965893_28⟩
Communication dans un congrès lirmm-00135448v1

Simple Conceptual Graphs with Atomic Negation and Difference

Michel Leclère , Marie-Laure Mugnier
ICCS: International Conference on Conceptual Structures, Jul 2006, Aalborg, Denmark. pp.331-345
Communication dans un congrès lirmm-00113160v1
Image document

Mapping Contexts to Vocabularies to Represent Intentions

Rallou Thomopoulos , Marie-Laure Mugnier , Michel Leclère
ECAI: European Conference on Artificial Intelligence, Aug 2006, Riva del Garda, Italy. pp.44-46
Communication dans un congrès lirmm-00112949v1
Image document

Introduction de raisonnement dans un outil de gestion de connaissances basé sur les Topic Maps

Olivier Carloni , Michel Leclère , Marie-Laure Mugnier
IC@PFIA 2006 - 17es Journées francophones d'Ingénierie des Connaissances, Jun 2006, Nantes, France. pp.17-27
Communication dans un congrès lirmm-00156561v1
Image document

Towards Benchmarks for Conceptual Graphs Tools

Jean-François Baget , Olivier Carloni , Michel Chein , David Genest , Alain Gutierrez
CS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2006, Aalborg, Denmark. pp.72-86
Communication dans un congrès lirmm-00112998v1

Introducing Reasoning into a Knowledge Management Tool: An Industrial Case Study

Olivier Carloni , Marie-Laure Mugnier , Michel Leclère
IEA-AIE'06: Advances in Applied Artificial Intelligence, 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, Jun 2006, Annecy (France), pp.590-599
Communication dans un congrès lirmm-00156532v1
Image document

Reasoning with Ontologies

Meghyn Bienvenu , Michel Leclère , Marie-Laure Mugnier , Marie-Christine Rousset
A Guided Tour of Artificial Intelligence Research, pp.185-215, 2020, Volume I: Knowledge Representation, Reasoning and Learning, 978-3-030-06163-0. ⟨10.1007/978-3-030-06164-7_6⟩
Chapitre d'ouvrage lirmm-02922020v1

Raisonner avec des ontologies: logiques de description et graphes conceptuels

Michel Leclère , Marie-Laure Mugnier , Marie-Christine Rousset
Panorama de l'Intelligence Artificielle - Ses bases méthodologiques ses développements, 1 (5), Cépaduès, 2014, Représentation des connaissances et formalisation des raisonnements, 978-2-36493-457-3
Chapitre d'ouvrage hal-02071032v1
Image document

Oblivious and Semi-Oblivious Boundedness for Existential Rules

Pierre Bourhis , Michel Leclère , Marie-Laure Mugnier , Sophie Tison , Federico Ulliana
[Research Report] LIRMM (UM, CNRS). 2020
Rapport lirmm-02920624v1
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

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

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

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

Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments

Khalil Ben Mohamed , Michel Leclère , Marie-Laure Mugnier
RR-10010, 2010, pp.20
Rapport lirmm-00463579v1

Walking the Decidability Line for Rules with Existential Variables

Jean-François Baget , Michel Leclère , Marie-Laure Mugnier
RR-09030, 2009, pp.21
Rapport lirmm-00441907v1
Image document

Some Structural Properties of the Logic of Rules

Jean-François Baget , Marie-Laure Mugnier , Michel Leclère , Eric Salvat
RR-08016, 2008
Rapport lirmm-00289250v1

Un modèle d'annotation basé sur des ontologies modulaires et des graphes conceptuels emboîtés

Michel Chein , David Genest , Alain Gutierrez , Michel Leclère , Nicolas Moreau
RR-07011, 2007, pp.35
Rapport lirmm-00148889v1

Introduction de Raisonnement dans un Outil de Gestion des Connaissances Basé sur les Topic Maps

Olivier Carloni , Michel Leclère , Marie-Laure Mugnier
06007, 2006, 10 p
Rapport lirmm-00102719v1

Introducing Graph-Based Reasoning into a Knowledge Management Tool: An Industrial Case Study

Olivier Carloni , Michel Leclère , Marie-Laure Mugnier
06004, 2006, 10 p
Rapport lirmm-00102684v1

Introduction de Raisonnement dans un Outil de Gestion des Connaissances

Olivier Carloni , Michel Leclère , Marie-Laure Mugnier
06011, 2006, 84 p
Rapport lirmm-00102706v1

A Graph-Based Study of the Containment Problem of Conjunctive Queries with Negation

Michel Leclère , Marie-Laure Mugnier
05076, 2005, 10 p
Rapport lirmm-00106673v1

Intuitionistic Atomic Negation in Simple Conceptual Graphs

Marie-Laure Mugnier , Michel Leclère
05015, 2005, 6 p
Rapport lirmm-00106620v1

On Querying Simple Conceptual Graphs with Negation

Marie-Laure Mugnier , Michel Leclère
05051, 2005, pp.41
Rapport lirmm-00106650v1

Introducing Graph-Based Reasoning into Knowledge Management Tool: An Industrial Case Study

Olivier Carloni , Michel Leclère , Marie-Laure Mugnier
05075, 2005, 10 p
Rapport lirmm-00106672v1

Intuitionistic Atomic Negation in Simple Conceptual Graphs

Marie-Laure Mugnier , Michel Leclère
04004, 2004, pp.15
Rapport lirmm-00109212v1