MM

Marie-Laure Mugnier

134
Documents

Présentation

Publications

103
11
8
4
3
1
1
1
1
1
19
16
14
13
10
9
8
7
7
7
6
6
6
5
5
5
5
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
61
33
27
22
16
9
8
8
6
6
6
6
6
6
6
6
5
4
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
3
1
7
6
2
6
4
5
2
4
5
6
7
8
8
7
5
11
16
8
8
3
2
14
10
4
4
3
2
1
1
1
1
118
17
4
3
1
1
1

Publications

Deposit thumbnail

Integrating data and knowledge to support the selection of service plant species in agroecology

Elie Najm , Marie-Laure Mugnier , Christian Gary , Jean-François Baget , Raphael Métral et al.

Computers and Electronics in Agriculture, 2024, 217, pp.108594. ⟨10.1016/j.compag.2023.108594⟩

Article dans une revue lirmm-04393663v1
Deposit thumbnail

Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting

Olivier Rodriguez , Federico Ulliana , Marie-Laure Mugnier

Proceedings of the VLDB Endowment (PVLDB), 2023, 16 (11), pp.2699-2713. ⟨10.14778/3611479.3611481⟩

Article dans une revue lirmm-04305787v1
Deposit thumbnail

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
Deposit thumbnail

Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules

Marie-Laure Mugnier

KI - Künstliche Intelligenz, 2020, Ontologies and Data Management -- Part II, 34 (4), pp.475-489. ⟨10.1007/s13218-020-00678-3⟩

Article dans une revue lirmm-02920670v1
Deposit thumbnail

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
Deposit thumbnail

Visual reasoning with graph-based mechanisms: the good, the better and the best

Michel Chein , Marie-Laure Mugnier , Madalina Croitoru

Knowledge Engineering Review, 2013, 28 (Special Issue 3), pp.249-271. ⟨10.1017/S0269888913000234⟩

Article dans une revue lirmm-00856811v1

An artificial intelligence-based approach to deal with argumentation applied to food quality in a public health policy

Jean-Rémi Bourguet , Rallou Thomopoulos , Marie-Laure Mugnier , Joel Abecassis

Expert Systems with Applications, 2013, 40 (11), pp.4539-4546. ⟨10.1016/j.eswa.2013.01.059⟩

Article dans une revue istex lirmm-00835177v1
Deposit thumbnail

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

Marie-Laure Mugnier , Geneviève Simonet , Michaël Thomazo

Information and Computation, 2012, 215, pp.8-31. ⟨10.1016/j.ic.2012.03.001⟩

Article dans une revue lirmm-00681914v1

On Rules with Existential Variables: Walking the Decidability Line

Jean-François Baget , Michel Leclère , Marie-Laure Mugnier , Eric Salvat

Artificial Intelligence (AIJ), 2011, 175 (9-10), pp.1620-1654. ⟨10.1016/j.artint.2011.03.002⟩

Article dans une revue istex 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 istex 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 istex lirmm-00112647v1
Deposit thumbnail

Extensions of Simple Conceptual Graphs: The Complexity of Rules and Constraints

Jean-François Baget , Marie-Laure Mugnier

Journal of Artificial Intelligence Research, 2002, 16, pp.425-465. ⟨10.1613/jair.918⟩

Article dans une revue lirmm-00268460v1
Deposit thumbnail

Abstractions of Queries in Ontology-Based Data Access

Michel Leclère , Marie-Laure Mugnier , Guillaume Pérution-Kihli

KR 2025 - 22nd International Conference on Principles of Knowledge Representation and Reasoning, Nov 2025, Melbourne, Australia

Communication dans un congrès lirmm-05246623v1
Deposit thumbnail

A Legislation-Aware Robotic Framework for Autonomous Fertilization Near Protected Water Bodies

Nikolas Müller , Ahmad Kadi , Marie-Laure Mugnier , Guillaume Pérution-Kihli , Federico Ulliana et al.

ECMR 2025 - 12th European Conference on Mobile Robots, Sep 2025, Padua, Italy

Communication dans un congrès lirmm-05165190v1
Deposit thumbnail

Integrating Environmental Regulations Into Autonomous Agricultural Robotics: A Case for Waterbody-Aware Fertilization

Guillaume Pérution-Kihli , Ahmad Kadi , Nikolas Müller , Akira Charoensit , David Carral et al.

RuleML+RR 2025 - Rules and Reasoning, 9th International Joint Conference, RuleML+RR 2025, Sep 2025, Istanbul, Turkey

Communication dans un congrès hal-05242346v1
Deposit thumbnail

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 et al.

BDA 2023 - 39.Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France

Communication dans un congrès lirmm-04304601v1
Deposit thumbnail

Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting

Olivier Rodriguez , Federico Ulliana , 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-04305822v1
Deposit thumbnail

Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying

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

SIGMOD/PODS 2023 - International Conference on Management of Data, Jul 2023, Seattle, WA, United States. pp.291-302, ⟨10.1145/3584372.3588659⟩

Communication dans un congrès lirmm-04320944v1
Deposit thumbnail

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

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
Deposit thumbnail

Rule-Based Data Access: A Use Case in Agroecology

Elie Najm , Jean-François Baget , Marie-Laure Mugnier

RuleML+RR 2022 - 16th International Rule Challenge, Sep 2022, Berlin, Germany

Communication dans un congrès lirmm-03785968v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Obi-Wan: Ontology-Based RDF Integration of Heterogeneous Data

Maxime Buron , François Goasdoué , Ioana Manolescu , Marie-Laure Mugnier

VLDB 2020 - 46th International Conference on Very Large Data Bases, Aug 2020, Tokyo, Japan

Communication dans un congrès hal-02921434v1
Deposit thumbnail

Revisiting RDF storage layouts for efficient query answering

Maxime Buron , François Goasdoué , Ioana Manolescu , Tayeb Merabti , Marie-Laure Mugnier

SSWS 2020 - 13th International Workshop on Scalable Semantic Web Knowledge Base Systems, Nov 2020, Athène, Greece. pp.17-32

Communication dans un congrès hal-02921457v1
Deposit thumbnail

Ontology-Based RDF Integration of Heterogeneous Data

Maxime Buron , François Goasdoué , Ioana Manolescu , Marie-Laure Mugnier

EDBT 2020 - 23rd International Conference on Extending Database Technology, Mar 2020, Copenhagen, Denmark. pp.299-310, ⟨10.5441/002/edbt.2020.27⟩

Communication dans un congrès hal-02446427v1
Deposit thumbnail

Oblivious and Semi-Oblivious Boundedness for Existential Rules

Pierre Bourhis , Michel Leclère , Marie-Laure Mugnier , Sophie Tison , Federico Ulliana et al.

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
Deposit thumbnail

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
Deposit thumbnail

Reformulation-based query answering for RDF graphs with RDFS ontologies

Maxime Buron , François Goasdoué , Ioana Manolescu , Marie-Laure Mugnier

ESWC 2019 - 16th European Semantic Web Conference, Jun 2019, Portoroz, Slovenia. pp.19-35, ⟨10.1007/978-3-030-21348-0_2⟩

Communication dans un congrès hal-02051413v1
Deposit thumbnail

Rewriting-Based Query Answering for Semantic Data Integration Systems

Maxime Buron , François Goasdoué , Ioana Manolescu , Marie-Laure Mugnier

BDA: Gestion de Données – Principes, Technologies et Applications, Oct 2018, Bucarest, Romania

Communication dans un congrès hal-01927282v1
Deposit thumbnail

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

Reasoning on Data Workshop Chairs' Welcome and Organization

Marie-Laure Mugnier , Catherine Roussey , Pierre Senellart

International World Wide Web Conference (WWW), Apr 2018, Lyon, France. pp.1585-1586, ⟨10.1145/3184558.3192320⟩

Communication dans un congrès hal-02608565v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Ontology-Mediated Query Answering for Key-Value Stores

Meghyn Bienvenu , Pierre Bourhis , Marie-Laure Mugnier , Sophie Tison , Federico Ulliana

IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia

Communication dans un congrès lirmm-01632090v1

A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering

Jean-François Baget , Salem Benferhat , Zied Bouraoui , Madalina Croitoru , Marie-Laure Mugnier et al.

KR: Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. pp.513-516

Communication dans un congrès lirmm-01328690v1
Deposit thumbnail

Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis

Jean-François Baget , Salem Benferhat , Zied Bouraoui , Madalina Croitoru , Marie-Laure Mugnier et al.

JELIA: Logics in Artificial Intelligence, Nov 2016, Larnaca, Cyprus. pp.64-80, ⟨10.1007/978-3-319-48758-8_5⟩

Communication dans un congrès lirmm-01412864v1
Deposit thumbnail

Ontology-Mediated Queries for NOSQL Databases

Marie-Laure Mugnier , Marie-Christine Rousset , Federico Ulliana

DL: Description Logics, Apr 2016, Cape Town, South Africa. pp.1051-1057

Communication dans un congrès lirmm-01375093v1
Deposit thumbnail

Ontology-Mediated Queries for NOSQL Databases

Marie-Laure Mugnier , Marie-Christine Rousset , Federico Ulliana

AAAI Conference on Artificial Intelligence, Feb 2016, Phoenix, United States. pp.1051-1057

Communication dans un congrès lirmm-01242913v1
Deposit thumbnail

Combining Existential Rules and Transitivity: Next Steps

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

IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2720-2726

Communication dans un congrès hal-01171846v1
Deposit thumbnail

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
Deposit thumbnail

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 et al.

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
Deposit thumbnail

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
Deposit thumbnail

Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation

Jean-François Baget , Fabien Garreau , Marie-Laure Mugnier , Swan Rocher

NMR: Non-Monotonic Reasoning, Jul 2014, Vienna, Austria

Communication dans un congrès lirmm-01097136v1
Deposit thumbnail

Extending Acyclicity Notions for Existential Rules

Jean-François Baget , Fabien Garreau , Marie-Laure Mugnier , Swan Rocher

ECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.39-44, ⟨10.3233/978-1-61499-419-0-39⟩

Communication dans un congrès hal-01092757v1

Conceptual Graphs are Also Graphs

Michel Chein , Marie-Laure Mugnier

ICCS: International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. pp.1-18, ⟨10.1007/978-3-319-08389-6_1⟩

Communication dans un congrès lirmm-01090141v1
Deposit thumbnail

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

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 istex lirmm-00934018v1
Deposit thumbnail

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
Deposit thumbnail

Ontology-Based Query Answering with Existential Rules

Marie-Laure Mugnier

RuleML: Web Rule Symposium, Aug 2012, Montpellier, France. pp.16

Communication dans un congrès lirmm-00763475v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Supporting Argumentation Systems by Graph Representation and Computation

Jérôme Fortin , Rallou Thomopoulos , Jean-Rémi Bourguet , Marie-Laure Mugnier

GKR 2011 - 2nd International Workshop of Graph Structures for Knowledge Representation and Reasoning, Jul 2011, Barcelona, Spain. pp.119-136, ⟨10.1007/978-3-642-29449-5_5⟩

Communication dans un congrès lirmm-00768328v1

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 istex lirmm-00618779v1
Deposit thumbnail

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
Deposit thumbnail

Ontological Query Answering with Existential Rules

Marie-Laure Mugnier

RR: Web Reasoning and Rule Systems, Aug 2011, Galway, Ireland. pp.2-23, ⟨10.1007/978-3-642-23580-1_2⟩

Communication dans un congrès lirmm-00618296v1

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
Deposit thumbnail

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 istex lirmm-00537832v1
Deposit thumbnail

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

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
Deposit thumbnail

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

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 istex lirmm-00537836v1
Deposit thumbnail

Logical, graph based knowledge representation with CoGui

Jean-François Baget , Michel Chein , Madalina Croitoru , Alain Gutierrez , Michel Leclère et al.

GAOC: Graphes et Appariement d'Objets Complexes, Jan 2010, Hammamet, Tunisia. pp.15-25

Communication dans un congrès lirmm-00537351v1

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

Conceptual Graph Rules and Equivalent Rules: A Synthesis

Marie-Laure Mugnier

ICCS: International Conference on Conceptual Structures, Jul 2009, Moscow, Russia. pp.23-31, ⟨10.1007/978-3-642-03079-6_3⟩

Communication dans un congrès istex lirmm-00410129v1
Deposit thumbnail

RDF to Conceptual Graphs Translations

Jean-François Baget , Michel Chein , Madalina Croitoru , Jérôme Fortin , David Genest et al.

CS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2009, Moscow, Russia. pp.17

Communication dans un congrès lirmm-00410621v1
Deposit thumbnail

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
Deposit thumbnail

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 et al.

ICCS: International Conference on Conceptual Structures, Jul 2008, Toulouse, France. ⟨10.1007/978-3-540-70596-3_21⟩

Communication dans un congrès istex 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
Deposit thumbnail

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

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 istex lirmm-00355493v1
Deposit thumbnail

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

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

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
Deposit thumbnail

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
Deposit thumbnail

Towards Benchmarks for Conceptual Graphs Tools

Jean-François Baget , Olivier Carloni , Michel Chein , David Genest , Alain Gutierrez et al.

CS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2006, Aalborg, Denmark. pp.72-86

Communication dans un congrès lirmm-00112998v1
Deposit thumbnail

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

Olivier Carloni , Michel Leclère , Marie-Laure Mugnier

IC 2006 - 17es Journées francophones d'Ingénierie des Connaissances, PFIA, Jun 2006, Nantes, France. pp.17-27

Communication dans un congrès lirmm-00156561v1

Concept Type and Coreference in Simple Conceptual Graphs

Michel Chein , Marie-Laure Mugnier

ICCS: International Conference on Conceptual Structures, Jul 2004, Huntsville, United States. pp.303-318, ⟨10.1007/978-3-540-27769-9_20⟩

Communication dans un congrès istex lirmm-00108891v1
Deposit thumbnail

Existential Rules: A Graph-Based View

Marie-Laure Mugnier

Pablo Barceló; Reinhard Pichler. Datalog 2.0, Sep 2012, Vienne, Austria. Springer, 2nd International Workshop on Datalog 2.0, LNCS (7494), pp.21-26, 2012, ⟨10.1007/978-3-642-32925-8_3⟩

Poster de conférence lirmm-00763474v1
Deposit thumbnail

Foundations and state of play

Nathalie Mitton , Ludovic Brossard , Tassadit Bouadi , Frédérick Garcia , Romain Gautron et al.

Agriculture and Digital Technology: Getting the most out of digital technology to contribute to the transition to sustainable agriculture and food systems, 6, INRIA, pp.30-75, 2022, White book Inrira, 978-2-7261-1310-3

Chapitre d'ouvrage hal-03609470v2
Deposit thumbnail

Fondements et état de l'art

Nathalie Mitton , Ludovic Brossard , Tassadit Bouadi , Frédérick Garcia , Romain Gautron et al.

Bellon-Maurel Véronique (ed.); Brossard Ludovic (ed.); Garcia Frédérick (ed.); Mitton Nathalie (ed.); Terrier Alexandre (ed.). Agriculture et numérique : un Livre Blanc d’Inria et INRAE pour construire les bases d’une agriculture numérique responsable, 6, INRIA; INRAE, pp.32-82, 2022, Livre blanc / INRIA

Chapitre d'ouvrage hal-05179231v1
Deposit thumbnail

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
Deposit thumbnail

Oblivious and Semi-Oblivious Boundedness for Existential Rules

Pierre Bourhis , Michel Leclère , Marie-Laure Mugnier , Sophie Tison , Federico Ulliana et al.

[Research Report] LIRMM (UM, CNRS). 2020

Rapport (rapport de recherche) lirmm-02920624v1
Deposit thumbnail

Ontology-Based RDF Integration of Heterogeneous Data

Maxime Buron , François Goasdoué , Ioana Manolescu , Marie-Laure Mugnier

[Technical Report] LIX, Ecole polytechnique; Inria Saclay. 2019

Rapport (rapport technique) hal-02266517v1
Deposit thumbnail

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 (rapport de recherche) lirmm-01892375v1
Deposit thumbnail

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 (rapport de recherche) 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 (rapport de recherche) lirmm-00825634v1
Deposit thumbnail

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 (rapport de recherche) lirmm-00903375v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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

A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Rules (Chapter XI)

Michel Chein , Marie-Laure Mugnier

RR-08003, 2008, pp.30

Rapport lirmm-00260309v1

A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Negation (Chapter XII)

Michel Chein , Marie-Laure Mugnier

RR-08004, 2008, pp.50

Rapport lirmm-00260311v1

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
Deposit thumbnail

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 et al.

RR-07011, 2007, pp.35

Rapport lirmm-00148889v1

A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Basic Conceptual Graphs (chapter II)

Michel Chein , Marie-Laure Mugnier

RR-07033, 2007, pp.35

Rapport lirmm-00200712v1

A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Semantic Annotation Bases (chapter X)

Michel Chein , Marie-Laure Mugnier

RR-07041, 2007, pp.16

Rapport lirmm-00200897v1

A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Tractable Cases (chapter VII)

Michel Chein , Marie-Laure Mugnier

RR-07038, 2007, pp.30

Rapport lirmm-00200893v1

A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Simple Conceptual Graphs (chapter III)

Michel Chein , Marie-Laure Mugnier

RR-07034, 2007, pp.35

Rapport lirmm-00200714v1

A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Formal Semantics of Simple Conceptual Graphs (chapter IV)

Michel Chein , Marie-Laure Mugnier

RR-07035, 2007, pp.23

Rapport lirmm-00200721v1

A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Other Specialization/Generalization Operations (chapter VIII)

Michel Chein , Marie-Laure Mugnier

RR-07039, 2007, pp.40

Rapport lirmm-00200895v1

A Graph-Based Approach to Knowledge Representation and Reasoning - chapter BG Homomorphism and Other Notions (chapter V)

Michel Chein , Marie-Laure Mugnier

RR-07036, 2007, pp.30

Rapport lirmm-00200903v1

A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Basic Algorithms for BG Homomorphism (chapter VI)

Michel Chein , Marie-Laure Mugnier

RR-07037, 2007, pp.40

Rapport lirmm-00200725v1

A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter The BG Family: Facts, Rules and Constraints (chapter XII)

Michel Chein , Marie-Laure Mugnier

RR-07042, 2007

Rapport lirmm-00200900v1

A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Nested Graphs (chapter IX)

Michel Chein , Marie-Laure Mugnier

RR-07040, 2007, pp.30

Rapport lirmm-00200896v1

On the Pi-2-P Completeness of the Containment Problem of Conjunctive Queries with Negation and Other Problems

Marie-Laure Mugnier

RR-07004, 2007, pp.7

Rapport lirmm-00129534v1

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

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

OWL-SG : Un Sous-Langage pour la Famille OWL

Frédéric Comte , Michel Leclère , Marie-Laure Mugnier

2005

Rapport (rapport contrat/projet) lirmm-00106548v1

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

A Graph-Based Approach to Knowledge Representation: Computational Foundations of Conceptual Graphs (Part. I)

Michel Chein , Marie-Laure Mugnier

05068, 2005, 140 p

Rapport lirmm-00106666v1

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

Types and Conference in Simple Conceptual Graphs

Michel Chein , Marie-Laure Mugnier

04053, 2004, p. 15

Rapport lirmm-00109209v1

Intuitionistic Atomic Negation in Simple Conceptual Graphs

Marie-Laure Mugnier , Michel Leclère

04004, 2004, pp.15

Rapport lirmm-00109212v1

A Graph-Based Approach to Knowledge Representation and Reasoning

Marie-Laure Mugnier

02201, 2002

Rapport lirmm-00268470v1