Marie-Laure Mugnier

Identifiants chercheurs

IdHAL :

marie-laure-mugnier

ORCID :

0000-0002-0574-3693

IdRef :

129977896

Présentation

Publications

Article dans une revue (13)

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étralet al. Computers and Electronics in Agriculture, 2024, 217, pp.108594. ⟨10.1016/j.compag.2023.108594⟩ Article dans une revue lirmm-04393663v1
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
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
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
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
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
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
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

Communication dans un congrès (70)

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
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 Ullianaet al. ECMR 2025 - 12th European Conference on Mobile Robots, Sep 2025, Padua, Italy Communication dans un congrès lirmm-05165190v1
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 Carralet 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
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
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
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-Kihliet 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
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
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
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
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
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
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
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
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
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
Oblivious and Semi-Oblivious Boundedness for Existential Rules Pierre Bourhis,Michel Leclère,Marie-Laure Mugnier,Sophie Tison,Federico Ullianaet 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
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
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
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
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
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
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
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
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis Jean-François Baget,Salem Benferhat,Zied Bouraoui,Madalina Croitoru,Marie-Laure Mugnieret 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
A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering Jean-François Baget,Salem Benferhat,Zied Bouraoui,Madalina Croitoru,Marie-Laure Mugnieret al. KR: Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. pp.513-516 Communication dans un congrès lirmm-01328690v1
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
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
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
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
Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules Jean-François Baget,Alain Gutierrez,Michel Leclère,Marie-Laure Mugnier,Swan Rocheret 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
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
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
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
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
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
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
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
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 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
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
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
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
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
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
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
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
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
Logical, graph based knowledge representation with CoGui Jean-François Baget,Michel Chein,Madalina Croitoru,Alain Gutierrez,Michel Leclèreet 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
RDF to Conceptual Graphs Translations Jean-François Baget,Michel Chein,Madalina Croitoru,Jérôme Fortin,David Genestet al. CS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2009, Moscow, Russia. pp.17 Communication dans un congrès lirmm-00410621v1
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
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
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 Gandonet 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
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
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
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
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
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
Towards Benchmarks for Conceptual Graphs Tools Jean-François Baget,Olivier Carloni,Michel Chein,David Genest,Alain Gutierrezet al. CS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2006, Aalborg, Denmark. pp.72-86 Communication dans un congrès lirmm-00112998v1
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

Poster de conférence (1)

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

Ouvrages (4)

Graph-Based Knowledge Representation: Computational Foundations of Conceptual Graphs Michel Chein,Marie-Laure Mugnier Springer, pp.427, 2008, Advanced Information and Knowledge Processing, 978-1-84800-286-9. ⟨10.1007/978-1-84800-286-9⟩ Ouvrages lirmm-00355336v1
International Workshop on Semantically Aware Document Processing and Indexing (SADPI 2007) Henri Betaille,Jean-Yves Delort,Marie-Laure Mugnier,Jocelyne Nanard,Marc Nanard pp.101, 2007, 978-1-15159-668-4 Ouvrages lirmm-00367393v1
Common Semantics for Sharing Knowledge: Contributions to ICCS 2005 Frithjof Dau,Marie-Laure Mugnier,Gerd Stumme F. Dau, M.L. Mugnier, G. Stumme. Kassel University Press, 208 p., 2005, 3-89958-138-5 Ouvrages lirmm-00106577v1
Conceptual Structures: Common Semantics for Sharing Knowledge. Proc. Frithjof Dau,Marie-Laure Mugnier,Gerd Stumme Springer, 3596, 467 p., 2005, Lecture Notes in Artificial Intelligence, 3-540-27783-8 Ouvrages lirmm-00106575v1

Chapitre d'ouvrage (5)

Systèmes d’information, modélisation sémantique et gestion des connaissances pour l’agriculture Sandrine Auzoux,Alexandre Bazin,Marianne Huchard,Clement Jonquet,Pierre Martinet al. Bellon-Maurel V.; Gauche K.,; Enriquez M.L.; Lyon-Caen N. Appréhender l'agriculture numérique - 10 ans de recherche interdisciplinaire au sein de l’Institut #DigitAg, Chapitre 3, Éditions Quae, pp.47-62, 2026, 978-2-7592-4254-2. ⟨10.35690/978-2-7592-4255-9⟩ Chapitre d'ouvrage hal-05583828v1
Fondements et état de l'art Nathalie Mitton,Ludovic Brossard,Tassadit Bouadi,Frédérick Garcia,Romain Gautronet 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
Foundations and state of play Nathalie Mitton,Ludovic Brossard,Tassadit Bouadi,Frédérick Garcia,Romain Gautronet 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
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, Représentation des connaissances et formalisation des raisonnements, 978-2-36493-457-3 Chapitre d'ouvrage hal-02071032v1

Pré-publication, Document de travail (1)

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 Metralet al. 2022 Pré-publication, Document de travail (preprint/prepublication) lirmm-03879910v1

Rapport (41)

Oblivious and Semi-Oblivious Boundedness for Existential Rules Pierre Bourhis,Michel Leclère,Marie-Laure Mugnier,Sophie Tison,Federico Ullianaet al. [Research Report] LIRMM (UM, CNRS). 2020 Rapport (rapport de recherche) lirmm-02920624v1
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
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
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
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
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
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
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
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
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
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
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 Moreauet al. RR-07011, 2007, pp.35 Rapport lirmm-00148889v1
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 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 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 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
Intuitionistic Atomic Negation in Simple Conceptual Graphs Marie-Laure Mugnier,Michel Leclère 05015, 2005, 6 p Rapport lirmm-00106620v1
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
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
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
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