Keywords

Researcher identifiers

Export Publications

Export the displayed publications:
Number of documents

109

Publications of Marie-Laure Mugnier


Journal articles9 documents

  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. Sound, Complete and Minimal UCQ-Rewriting for Existential Rules. Semantic Web – Interoperability, Usability, Applicability, IOS Press, 2015, 6 (5), pp.451-475. ⟨10.3233/SW-140153⟩. ⟨lirmm-01090370⟩
  • Jean-Rémi Bourguet, Rallou Thomopoulos, Marie-Laure Mugnier, Joel Abecassis. An artificial intelligence-based approach to deal with argumentation applied to food quality in a public health policy. Expert Systems with Applications, Elsevier, 2013, 40 (11), pp.4539-4546. ⟨10.1016/j.eswa.2013.01.059⟩. ⟨lirmm-00835177⟩
  • Michel Chein, Marie-Laure Mugnier, Madalina Croitoru. Visual reasoning with graph-based mechanisms: the good, the better and the best. Knowledge Engineering Review, Cambridge University Press (CUP), 2013, 28 (Special Issue 3), pp.249-271. ⟨10.1017/S0269888913000234⟩. ⟨lirmm-00856811⟩
  • Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo. On the Complexity of Entailment in Existential Conjunctive First Order Logic with Atomic Negation. Information and Computation, Elsevier, 2012, 215, pp.8-31. ⟨10.1016/j.ic.2012.03.001⟩. ⟨lirmm-00681914⟩
  • Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat. On Rules with Existential Variables: Walking the Decidability Line. Artificial Intelligence, Elsevier, 2011, 175 (9-10), pp.1620-1654. ⟨10.1016/j.artint.2011.03.002⟩. ⟨lirmm-00587012⟩
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Validation et enrichissement d'annotations : Application à la veille médiatique. Revue des Nouvelles Technologies de l'Information, Hermann, 2008, 855 (E12), pp.105-125. ⟨lirmm-00374895⟩
  • Marie-Laure Mugnier, Michel Leclère. On Querying Simple Conceptual Graphs with Negation. Data and Knowledge Engineering, Elsevier, 2007, 60 (3), pp.468-493. ⟨lirmm-00112647⟩
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Introducing Reasoning into an Industrial Knowledge Management Tool. Applied Intelligence, Springer Verlag (Germany), 2007, in press, pp.14. ⟨10.1007/s10489-007-0103-x⟩. ⟨lirmm-00355363⟩
  • Jean-François Baget, Marie-Laure Mugnier. Extensions of Simple Conceptual Graphs: The Complexity of Rules and Constraints. Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2002, 16, pp.425-465. ⟨10.1613/jair.918⟩. ⟨lirmm-00268460⟩

Conference papers52 documents

  • Maxime Buron, François Goasdoué, Ioana Manolescu, Marie-Laure Mugnier. Reformulation-based query answering for RDF graphs with RDFS ontologies. ESWC 2019 - The 16th European Semantic Web Conference, Jun 2019, Portoroz, Slovenia. ⟨hal-02051413⟩
  • Maxime Buron, François Goasdoué, Ioana Manolescu, Marie-Laure Mugnier. Rewriting-Based Query Answering for Semantic Data Integration Systems. 34ème Conférence sur la Gestion de Données – Principes, Technologies et Applications (BDA 2018), Oct 2018, Bucarest, Romania. ⟨hal-01927282⟩
  • Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana. On the k-Boundedness for Existential Rules. RuleML+RR: Rules and Reasoning, Sep 2018, Luxembourg, Luxembourg. pp.48-64, ⟨10.1007/978-3-319-99906-7_4⟩. ⟨lirmm-01921140⟩
  • Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana. A Single Approach to Decide Chase Termination on Linear Existential Rules. DL 2018 - Description Logics, Oct 2018, Tempe, United States. ⟨lirmm-01892353⟩
  • Meghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana. Ontology-Mediated Query Answering for Key-Value Stores. IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. ⟨lirmm-01632090⟩
  • Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Michaël Thomazo. Answering Conjunctive Regular Path Queries over Guarded Existential Rules. IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. ⟨lirmm-01632224⟩
  • Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, et al.. Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis. JELIA: Logics in Artificial Intelligence, Nov 2016, Larnaca, Cyprus. pp.64-80, ⟨10.1007/978-3-319-48758-8_5⟩. ⟨lirmm-01412864⟩
  • Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana. Ontology-Mediated Queries for NOSQL Databases. AAAI: Conference on Artificial Intelligence, Feb 2016, Phoenix, United States. pp.1051-1057. ⟨lirmm-01242913⟩
  • Michel Leclère, Marie-Laure Mugnier, Federico Ulliana. On Bounded Positive Existential Rules. DL: Description Logics, Apr 2016, Cape Town, South Africa. ⟨lirmm-01375091⟩
  • Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana. Ontology-Mediated Queries for NOSQL Databases. DL: Description Logics, Apr 2016, Cape Town, South Africa. ⟨lirmm-01375093⟩
  • Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, et al.. A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering. KR: Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. pp.513-516. ⟨lirmm-01328690⟩
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier. Query Rewriting for Existential Rules with Compiled Preorder. IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. ⟨lirmm-01164851⟩
  • Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter. Graal: A Toolkit for Query Answering with Existential Rules. RuleML: Web Rule Symposium, Aug 2015, Berlin, Germany. pp.328-344, ⟨10.1007/978-3-319-21542-6_21⟩. ⟨hal-01172063⟩
  • Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher. Combining Existential Rules and Transitivity: Next Steps. IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. ⟨hal-01171846⟩
  • Jean-François Baget, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, et al.. Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules. RuleML: Web Rule Symposium, Aug 2015, Berlin, Germany. ⟨hal-01172069⟩
  • Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher. Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation. NMR: Non-Monotonic Reasoning, Jul 2014, Vienna, Austria. ⟨lirmm-01097136⟩
  • Marie-Laure Mugnier, Michaël Thomazo. An Introduction to Ontology-Based Query Answering with Existential Rules. RW: Reasoning Web, Sep 2014, Athens, Greece. pp.245-278, ⟨10.1007/978-3-319-10587-1_6⟩. ⟨lirmm-01089990⟩
  • Michel Chein, Marie-Laure Mugnier. Conceptual Graphs are Also Graphs. ICCS: International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. pp.1-18, ⟨10.1007/978-3-319-08389-6_1⟩. ⟨lirmm-01090141⟩
  • Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher. Extending Acyclicity Notions for Existential Rules. ECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.39-44, ⟨10.3233/978-1-61499-419-0-39⟩. ⟨hal-01092757⟩
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. On the Exploration of the Query Rewriting Space with Existential Rules. RR: Web Reasoning and Rule Systems, Aug 2013, Mannheim, Germany. pp.123-137, ⟨10.1007/978-3-642-39666-3_10⟩. ⟨lirmm-00838806⟩
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. Sound, Complete, and Minimal Query Rewriting for Existential Rules. IJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. ⟨lirmm-00838791⟩
  • Michel Leclère, Marie-Laure Mugnier, Swan Rocher. Kiabora: An Analyzer of Existential Rule Bases. RR: Web Reasoning and Rule Systems, Jul 2013, Mannheim, Germany. pp.241-246, ⟨10.1007/978-3-642-39666-3_22⟩. ⟨lirmm-00934018⟩
  • Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph. A Generic Querying Algorithm for Greedy Sets of Existential Rules. KR: Representation and Reasoning, Jun 2012, Rome, Italy. pp.096-106. ⟨lirmm-00763518⟩
  • Marie-Laure Mugnier. Existential Rules: A Graph-Based View. 2nd International Workshop on Datalog 2.0, Vienne, Austria. pp.21-26. ⟨lirmm-00763474⟩
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. A Sound and Complete Backward Chaining Algorithm for Existential Rules. RR: Web Reasoning and Rule Systems, Sep 2012, Vienna, Austria. pp.122-138, ⟨10.1007/978-3-642-33203-6_10⟩. ⟨lirmm-00764341v3⟩
  • Marie-Laure Mugnier. Ontology-Based Query Answering with Existential Rules. RuleML: Web Rule Symposium, Aug 2012, Montpellier, France. pp.16. ⟨lirmm-00763475⟩
  • Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. A Theoretical and Experimental Comparison of Algorithms for Containment of Conjunctive Queries with Negation. DEXA: Database and Expert Systems Applications, Aug 2011, Toulouse, France. pp.466-480, ⟨10.1007/978-3-642-23088-2_35⟩. ⟨lirmm-00618779⟩
  • Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo. Walking the Complexity Lines for Generalized Guarded Existential Rules. IJCAI: International Joint Conference on Artificial Intelligence, Jul 2011, Barcelona, Spain. pp.712-717. ⟨lirmm-00618081⟩
  • Jérôme Fortin, Rallou Thomopoulos, Jean-Rémi Bourguet, Marie-Laure Mugnier. Supporting Argumentation Systems by Graph Representation and Computation. GKR: Graph Structures for Knowledge Representation and Reasoning, Jul 2011, Barcelona, Spain. pp.119-136, ⟨10.1007/978-3-642-29449-5_5⟩. ⟨lirmm-00768328⟩
  • Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo. Notions de dépendances pour les règles Existentielles. JIAF'11: Journées de l'Intelligence Artificielle Fondamentale, Jun 2011, Lyon, France. pp.12-21. ⟨lirmm-00618090⟩
  • Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo. Towards Farsighted Dependencies for Existential Rules. RR: Web Reasoning and Rule Systems, Aug 2011, Galway, Ireland. pp.30-45, ⟨10.1007/978-3-642-23580-1_4⟩. ⟨lirmm-00618329⟩
  • Marie-Laure Mugnier. Ontological Query Answering with Existential Rules. RR: Web Reasoning and Rule Systems, Aug 2011, Galway, Ireland. pp.2-23, ⟨10.1007/978-3-642-23580-1_2⟩. ⟨lirmm-00618296⟩
  • Jean-François Baget, Michel Leclère, Marie-Laure Mugnier. Walking the Decidability Line for Rules with Existential Variables. KR: Principles of Knowledge Representation and Reasoning, May 2010, Toronto, Canada. pp.466-476. ⟨lirmm-00535780⟩
  • Jean-François Baget, Madalina Croitoru, Michel Leclère, Marie-Laure Mugnier. Translations between RDF(S) and Conceptual Graphs. ICCS: International Conference on Conceptual Structures, Jul 2010, Kuching, Sarawak, Malaysia. pp.28-41. ⟨lirmm-00537334⟩
  • Jean-François Baget, Michel Chein, Madalina Croitoru, Alain Gutierrez, Michel Leclère, et al.. Logical, graph based knowledge representation with CoGui. GAOC: Graphes et Appariement d'Objets Complexes, Jan 2010, Hammamet, Tunisia. pp.15-25. ⟨lirmm-00537351⟩
  • Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. Déduction dans le fragment existentiel conjonctif de la logique du premier ordre : algorithme et expérimentations. RFIA: Reconnaissance des Formes et Intelligence Artificielle, Jan 2010, Caen, France. ⟨lirmm-00537824⟩
  • Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments. 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⟩. ⟨lirmm-00537836⟩
  • Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. Containment of Conjunctive Queries with Negation: Algorithms and Experiments. DEXA: Database and Expert Systems Applications, Aug 2010, Bilbao, Spain. pp.330-345, ⟨10.1007/978-3-642-15251-1_27⟩. ⟨lirmm-00537832⟩
  • Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat. Extending Decidable Cases for Rules with Existential Variables. IJCAI: International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.677-682. ⟨lirmm-00410130⟩
  • Jean-François Baget, Michel Chein, Madalina Croitoru, Jérôme Fortin, David Genest, et al.. RDF to Conceptual Graphs Translations. CS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2009, Moscow, Russia. pp.17. ⟨lirmm-00410621⟩
  • Marie-Laure Mugnier. Conceptual Graph Rules and Equivalent Rules: A Synthesis. ICCS: International Conference on Conceptual Structures, Jul 2009, Moscow, Russia. pp.23-31, ⟨10.1007/978-3-642-03079-6_3⟩. ⟨lirmm-00410129⟩
  • Michel Leclère, Marie-Laure Mugnier. An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation. ICCS: International Conference on Conceptual Structures, Jul 2008, Toulouse, France. pp.119-132, ⟨10.1007/978-3-540-70596-3_8⟩. ⟨lirmm-00355493⟩
  • Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. De la déduction dans le fragment {Existe,Et,Neg} de la logique du premier ordre à SAT. Journées d'Intelligence Artificielle Fondamentale, Oct 2008, pp.11. ⟨lirmm-00355290⟩
  • Jean-François Baget, Olivier Corby, Rose Dieng-Kuntz, Catherine Faron Zucker, Fabien Gandon, et al.. Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit. ICCS: International Conference on Conceptual Structures, Jul 2008, Toulouse, France. ⟨10.1007/978-3-540-70596-3_21⟩. ⟨lirmm-00389753v2⟩
  • Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat. DL-SR: a Lite DL with Expressive Rules: Preliminary Results. DL: Description Logics, May 2008, Dresden, Germany. pp.11. ⟨lirmm-00394383⟩
  • Michel Leclère, Marie-Laure Mugnier. Some Algorithmic Improvments for the Containment Problem of Conjunctive Queries with Negation. ICDT: International Conference on Database Theory, Jan 2007, Barcelona, Spain. pp.404-418, ⟨10.1007/11965893_28⟩. ⟨lirmm-00135448⟩
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Introduction de raisonnement dans un outil de gestion de connaissances basé sur les Topic Maps. IC'06 : 17èmes Journées Francophones d'Ingénierie des Connaissances, Jun 2006, Nantes (France), pp.17-27. ⟨lirmm-00156561⟩
  • Olivier Carloni, Marie-Laure Mugnier, Michel Leclère. Introducing Reasoning into a Knowledge Management Tool: An Industrial Case Study. 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. ⟨lirmm-00156532⟩
  • Jean-François Baget, Olivier Carloni, Michel Chein, David Genest, Alain Gutierrez, et al.. Towards Benchmarks for Conceptual Graphs Tools. CS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2006, Aalborg, Denmark. pp.72-86. ⟨lirmm-00112998⟩
  • Rallou Thomopoulos, Marie-Laure Mugnier, Michel Leclère. Mapping Contexts to Vocabularies to Represent Intentions. ECAI: European Conference on Artificial Intelligence, Aug 2006, Riva del Garda, Italy. pp.44-46. ⟨lirmm-00112949⟩
  • Michel Leclère, Marie-Laure Mugnier. Simple Conceptual Graphs with Atomic Negation and Difference. ICCS: International Conference on Conceptual Structures, Jul 2006, Aalborg, Denmark. pp.331-345. ⟨lirmm-00113160⟩
  • Michel Chein, Marie-Laure Mugnier. Concept Type and Coreference in Simple Conceptual Graphs. ICCS: International Conference on Conceptual Structures, Jul 2004, Huntsville, United States. pp.303-318, ⟨10.1007/978-3-540-27769-9_20⟩. ⟨lirmm-00108891⟩

Books1 document

Book sections1 document

  • Michel Leclère, Marie-Laure Mugnier, Marie-Christine Rousset. Raisonner avec des ontologies: logiques de description et graphes conceptuels. Panorama de l'Intelligence Artificielle - Ses bases méthodologiques ses développements, 1 (5), Toulouse : Cépaduès-éditions, 2014, 2014, Représentation des connaissances et formalisation des raisonnements, 978-2-36493-457-3. ⟨hal-02071032⟩

Directions of work or proceedings6 documents

  • Odile Papini, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier, Eduaurdo FermÈ, et al.. Proceedings of JOWO-2015. The Joint Ontology Workshops at IJCAI 2015. JOWO 2015 - The Joint Ontology Workshops, Jul 2015, Buenos Aires, Argentina. 2015, JOWO 2015 - JOWO 2015 The Joint Ontology Workshops - Episode 1, ⟨http://ceur-ws.org/Vol-1517/⟩. ⟨hal-01488674⟩
  • Marie-Laure Mugnier, Roman Kontchakov. Web Reasoning and Rule Systems: 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings. RR: Web Reasoning and Rule Systems, Sep 2014, Athens, Greece. LNCS (8741), Springer, 2014, 978-3-319-11112-4. ⟨10.1007/978-3-319-11113-1⟩. ⟨http://rr2014.di.uoa.gr⟩. ⟨lirmm-01090004⟩
  • Madalina Croitoru, Christophe Gonzales, Jérôme Lang, Boris Motik, Marie-Laure Mugnier. First IJCAI International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR@IJCAI'09). pp.59, 2009. ⟨lirmm-00410651⟩
  • Henri Betaille, Jean-Yves Delort, Marie-Laure Mugnier, Jocelyne Nanard, Marc Nanard. International Workshop on Semantically Aware Document Processing and Indexing (SADPI 2007). pp.101, 2007, 978-1-15159-668-4. ⟨lirmm-00367393⟩
  • Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme. Conceptual Structures: Common Semantics for Sharing Knowledge. Proc.: 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005. 3596, Springer, 467 p., 2005, Lecture Notes in Artificial Intelligence, 3-540-27783-8. ⟨lirmm-00106575⟩
  • Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme. Common Semantics for Sharing Knowledge: Contributions to ICCS 2005: 13th International Conference on Conecptual Structures, ICCS 2005 Kassel, Germany, July 2005. F. Dau, M.L. Mugnier, G. Stumme. Kassel University Press, 208 p., 2005, 3-89958-138-5. ⟨lirmm-00106577⟩

Other publications1 document

  • Frédéric Comte, Michel Leclère, Marie-Laure Mugnier. OWL-SG : Un Sous-Langage pour la Famille OWL. 2005. ⟨lirmm-00106548⟩

Reports39 documents

  • Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana. A Single Approach to Decide Chase Termination on Linear Existential Rules. [Research Report] arXiv:1810.02132. 2018. ⟨lirmm-01892375⟩
  • Sebastian Rudolph, Michael Thomazo, Jean-François Baget, Marie-Laure Mugnier. Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses. [Research Report] LIRMM. 2014. ⟨lirmm-01097137⟩
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. Sound, Complete and Minimal UCQ-Rewriting for Existential Rules. [Research Report] RR-13034, Lirmm. 2013, pp.29. ⟨lirmm-00903375⟩
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. On the Exploration of the Query Rewriting Space with Existential Rules. [Research Report] RR-13016, Lirmm. 2013. ⟨lirmm-00825634⟩
  • Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph. A Generic Querying Algorithm for Greedy Sets of Existential Rules. RR-12006, 2012. 〈lirmm-00675560〉
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. A Sound and Complete Backward Chaining Algorithm for Existential Rules. RR-12016, 2012. ⟨lirmm-00713182v3⟩
  • Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo. Towards Farsighted Dependencies for Existential Rules. RR-11016, 2011, pp.16. ⟨lirmm-00595033⟩
  • Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo. Complexity Boundaries for Generalized Guarded Existential Rules. RR-11006, 2011, 39 p. ⟨lirmm-00568935⟩
  • Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments. RR-10010, 2010, pp.20. ⟨lirmm-00463579⟩
  • Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo. On the Complexity of Entailment in Existential Conjunctive First Order Logic with Atomic Negation. RR-11026, 2009, pp.46. ⟨lirmm-00413699v2⟩
  • Jean-François Baget, Michel Leclère, Marie-Laure Mugnier. Walking the Decidability Line for Rules with Existential Variables. RR-09030, 2009, pp.21. ⟨lirmm-00441907⟩
  • Michel Chein, Marie-Laure Mugnier. A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Rules (Chapter XI). RR-08003, 2008, pp.30. ⟨lirmm-00260309⟩
  • Michel Chein, Marie-Laure Mugnier. A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Negation (Chapter XII). RR-08004, 2008, pp.50. ⟨lirmm-00260311⟩
  • Michel Leclère, Marie-Laure Mugnier. An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation. RR-08005, 2008, pp.14. ⟨lirmm-00260315⟩
  • Jean-François Baget, Marie-Laure Mugnier, Michel Leclère, Eric Salvat. Some Structural Properties of the Logic of Rules. RR-08016, 2008. ⟨lirmm-00289250⟩
  • Marie-Laure Mugnier, Michaël Thomazo. On the Complexity of Deduction in the Existential Conjunctive Fragment of FOL with Atomic Negation. RR-08013, 2008, pp.18. ⟨lirmm-00285475⟩
  • Michel Chein, Marie-Laure Mugnier. A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Nested Graphs (chapter IX). RR-07040, 2007, pp.30. ⟨lirmm-00200896⟩
  • Michel Chein, Marie-Laure Mugnier. A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Tractable Cases (chapter VII). RR-07038, 2007, pp.30. ⟨lirmm-00200893⟩
  • Michel Chein, Marie-Laure Mugnier. A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Other Specialization/Generalization Operations (chapter VIII). RR-07039, 2007, pp.40. ⟨lirmm-00200895⟩
  • Michel Chein, Marie-Laure Mugnier. A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter The BG Family: Facts, Rules and Constraints (chapter XII). RR-07042, 2007. ⟨lirmm-00200900⟩
  • Michel Chein, Marie-Laure Mugnier. A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Semantic Annotation Bases (chapter X). RR-07041, 2007, pp.16. ⟨lirmm-00200897⟩
  • Michel Chein, Marie-Laure Mugnier. A Graph-Based Approach to Knowledge Representation and Reasoning - chapter BG Homomorphism and Other Notions (chapter V). RR-07036, 2007, pp.30. ⟨lirmm-00200903⟩
  • Michel Chein, Marie-Laure Mugnier. A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Basic Algorithms for BG Homomorphism (chapter VI). RR-07037, 2007, pp.40. ⟨lirmm-00200725⟩
  • Michel Chein, Marie-Laure Mugnier. A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Basic Conceptual Graphs (chapter II). RR-07033, 2007, pp.35. ⟨lirmm-00200712⟩
  • Michel Chein, Marie-Laure Mugnier. A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Simple Conceptual Graphs (chapter III). RR-07034, 2007, pp.35. ⟨lirmm-00200714⟩
  • Michel Chein, Marie-Laure Mugnier. A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Formal Semantics of Simple Conceptual Graphs (chapter IV). RR-07035, 2007, pp.23. ⟨lirmm-00200721⟩
  • Michel Chein, David Genest, Alain Gutierrez, Michel Leclère, Nicolas Moreau, et al.. Un modèle d'annotation basé sur des ontologies modulaires et des graphes conceptuels emboîtés. RR-07011, 2007, pp.35. ⟨lirmm-00148889⟩
  • Marie-Laure Mugnier. On the Pi-2-P Completeness of the Containment Problem of Conjunctive Queries with Negation and Other Problems. RR-07004, 2007, pp.7. ⟨lirmm-00129534⟩
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Introduction de Raisonnement dans un Outil de Gestion des Connaissances. 06011, 2006, 84 p. ⟨lirmm-00102706⟩
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Introducing Graph-Based Reasoning into a Knowledge Management Tool: An Industrial Case Study. 06004, 2006, 10 p. ⟨lirmm-00102684⟩
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Introduction de Raisonnement dans un Outil de Gestion des Connaissances Basé sur les Topic Maps. 06007, 2006, 10 p. ⟨lirmm-00102719⟩
  • Marie-Laure Mugnier, Michel Leclère. Intuitionistic Atomic Negation in Simple Conceptual Graphs. 05015, 2005, 6 p. ⟨lirmm-00106620⟩
  • Marie-Laure Mugnier, Michel Leclère. On Querying Simple Conceptual Graphs with Negation. 05051, 2005, pp.41. ⟨lirmm-00106650⟩
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Introducing Graph-Based Reasoning into Knowledge Management Tool: An Industrial Case Study. 05075, 2005, 10 p. ⟨lirmm-00106672⟩
  • Michel Leclère, Marie-Laure Mugnier. A Graph-Based Study of the Containment Problem of Conjunctive Queries with Negation. 05076, 2005, 10 p. ⟨lirmm-00106673⟩
  • Michel Chein, Marie-Laure Mugnier. A Graph-Based Approach to Knowledge Representation: Computational Foundations of Conceptual Graphs (Part. I). 05068, 2005, 140 p. ⟨lirmm-00106666⟩
  • Michel Chein, Marie-Laure Mugnier. Types and Conference in Simple Conceptual Graphs. 04053, 2004, p. 15. ⟨lirmm-00109209⟩
  • Marie-Laure Mugnier, Michel Leclère. Intuitionistic Atomic Negation in Simple Conceptual Graphs. 04004, 2004, pp.15. ⟨lirmm-00109212⟩
  • Marie-Laure Mugnier. A Graph-Based Approach to Knowledge Representation and Reasoning. 02201, 2002. ⟨lirmm-00268470⟩