ML Mugnier's homepage

Main Publications

If you are interested in a publication not available from this page, please contact me.
Last modified: September, 2013

2013

M. König, M. Leclère, M.-L. Mugnier, M. Thomazo, Sound, Complete, and Minimal Query Rewriting for Existential Rules, IJCAI 2013 (Sister Conference Track), August 2013. pdf file

M. König, M. Leclère, M.-L. Mugnier, M. Thomazo, On the Exploration of the Query Rewriting Space with Existential Rules, Proc. of the 7th International Conference on Web Reasoning and Rule Systems (RR 2013), July 2013. pdf file
Full version: Research Report LIRMM 13016

M. Leclère, M.-L. Mugnier, S.Rocher, KIABORA: An Analyzer of Existential Rule Bases, Proc. of the 7th International Conference on Web Reasoning and Rule Systems (RR 2013), July 2013. pdf file

J.-R. Bourguet, R. Thomopoulos, M.-L. Mugnier, J. Abécassis, An artificial intelligence-based approach to deal with argumentation applied to food quality in a public health policy, Expert Systems with Applications, 40(11): 4539-4546 (2013)

M. Chein, M.-L-. Mugnier, M. Croitoru, Visual reasoning with graph-based mechanisms: the good, the better and the best, The Knowledge Engineering Review, Volume 28, Issue 03, September 2013, pp 249-271

2012

M. König, M. Leclère, M.-L. Mugnier, M. Thomazo, A Sound and Complete Backward Chaining Algorithm for Existential Rules, Proc. of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012), September 2012. Full version: Research Report LIRMM 12016 (v2 - August 2012)

M.-L. Mugnier, Existential Rules: A Graph-based View (extended abstract of keynote talk), Proc. of Datalog 2.0, September 2012

Marie-Laure Mugnier, Ontology-Based Query Answering with Existential Rules (abstract of keynote talk), RuleML 2012, August 2012

M.-L. Mugnier, G. Simonet, M. Thomazo, On the Complexity of Entailment in Existential Conjunctive First-Order Logic , Information and Computation, Vol. 215, pp. 8-31, June 2012 Authors' file Published version

M. Thomazo, J.-F. Baget, M.-L. Mugnier, S. Rudolph, A Generic Querying Algorithm for Greedy Sets of Existential Rules, KR'12, June 2012 pdf file

2011

M.-L. Mugnier, Ontological Query Answering with Existential Rules (Keynote Talk). In Proceedings of the 5th International Conference on Web Reasoning and Rule Systems (RR 2011), LNCS 6902, Springer, August 2011, pp 2-23 pdf file

J.-F. Baget, M.-L. Mugnier, M. Thomazo, Towards Farsighted Dependencies for Existential Rules. . In Proceedings of the 5th International Conference on Web Reasoning and Rule Systems (RR 2011), LNCS 6902, Springer, August 2011, pp 30-45 pdf file

J.-F. Baget, M.-L. Mugnier, S. Rudolph, M. Thomazo, Walking the Complexity Lines for Generalized Guarded Existential Rules, In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), July 2011, vol. II, pp 712-717. IJCAI 2011 Online Proceedings See Research Report LIRMM 11006 (below) for a long version with detailed proofs.

J.-F. Baget, M.-L. Mugnier, S. Rudolph, M. Thomazo, Complexity Boundaries for Generalized Guarded Existential Rules, Research Report LIRMM 11006, 39 pages, February 2011. pdf file

K. Ben Mohamed, M. Leclère, M.-L. Mugnier, A Theoretical and Experimental Comparison of Algorithms for the Containment of Conjunctive Queries with Negation. In Proceedings of the 22nd International Conference on Database and Expert Systems Applications (DEXA 2011), August 2011, pp. 466-480 pdf file

J.-F. Baget, M. Leclère, M.-L. Mugnier, E. Salvat, On Rules with Existential Variables: Walking the Decidability Line, 57 pages, Artificial Intelligence Journal 175 (2011), pp. 1620-1654 (online April 2011). Author's file: pdf file

M.-L. Mugnier, G. Simonet, M. Thomazo, On the Complexity of Entailment in Existential Conjunctive First-Order Logic , Research Report LIRMM 11026, March 2011. Revised version of R.R. LIRMM 09026 (2009) with extended results. pdf file

2010

J.-F. Baget, M. Leclère, M.-L. Mugnier, Walking the Decidability Line for Rules with Existential Variables, In Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010). pdf file

K. Ben Mohamed, M. Leclère, M.-L. Mugnier, Containment of Conjunctive Queries with Negation: Algorithms and Experiments, 21st International Conference on Database and Expert Systems Applications (DEXA 2010). pdf file

J.-F. Baget, M. Croitoru, A. Gutierrez, M. Leclère, M.-L. Mugnier Translations between RDF(S) and Conceptual Graphs, In Proceedings of the 18th International Conference on Conceptual Structures (ICCS 2010), volume 6208 of LNCS, pages 28-41. Springer, 2010.

K. Ben Mohamed, M. Leclère, M.-L. Mugnier, Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments, 14th International Conference on Artificial Intelligence: Methodology, Systems, Applications, (AIMSA 2010)

K. Ben Mohamed, M. Leclère, M.-L. Mugnier, Deduction in existential first-order logic: an algorithm and experiments, R.R. LIRMM 10010. pdf file

K. Ben Mohamed, M. Leclère, M.-L. Mugnier, Déduction dans le fragment existentiel conjonctif de la logique du premier ordre : algorithme et expérimentations, Actes de RFIA’10 (17ième Congrès Reconnaissance des Formes et Intelligence Artificielle),Caen, janvier 2010. Prix de l'AFIA. pdf file

2009

J.-F. Baget, M. Leclère, M.-L. Mugnier, Walking the Decidability Line for Rules with Existential Variables (long version), R.R. LIRMM 09030. pdf file

O. Carloni, M. Leclère, M.-L. Mugnier. Introducing reasoning into an industrial knowledge management tool, Applied Intelligence, vol. 31, n°3, 2009 (published online December 2007).

J.-F. Baget, M. Leclère, M.-L. Mugnier, E. Salvat, Extending Decidable Cases for Rules with Existential Variables, In Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI'09), pages 677-682, 2009. pdf file

M.-L. Mugnier, Conceptual Graph Rules and Equivalent Rules: A synthesis, Keynote talk, In Proceedings of the 17th International Conference on Conceptual Structures (ICCS'09), volume 5662 of LNCS. Springer, 2009. pdf file

M.-L. Mugnier, G. Simonet, M. Thomazo, On the Complexity of Deduction in Existential Conjunctive First-Order Logic (long version), R.R. LIRMM 09026. ps file

M. Chein and M.-L. Mugnier. Graph-based Knowledge Representation and Reasoning --- Computational Foundations of Conceptual Graphs . Advanced Information and Knowledge Processing Series, Springer London, 427 pages, 2009. Book's companion website

2008

J.-F. Baget, M. Leclère, M.-L. Mugnier, E. Salvat, DL-SR, a Lite DL Extended with Expressive Rules: Preliminary Results, Proceedings of the 21st International Workshop on Description Logics (DL'08), 2008.

M. Leclère, M.-L. Mugnier. On computing deduction in simple conceptual graphs with classical negation, In Proceedings of the 16th International Conference on Conceptual Structures (ICCS'08), volume 5113 of LNCS, pages 119-132. Springer, 2008. pdf file

J.-F. Baget, O. Corby, R. Dieng-Kuntz, C. Faron-Zucker, F. Gandon, A. Giboin, A. Gutierrez, M. Leclère, M.-L. Mugnier, R. Thomopoulos, Griwes : Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit In Proceedings of the 16th International Conference on Conceptual Structures (ICCS'08), volume 5113 of LNCS, pages 297-310. Springer, 2008.

K. Ben Mohamed, M.Leclère, M.-L. Mugnier, De la déduction dans le fragment existentiel conjonctif de la logique du premier ordre à Sat, Journées Intelligence Artificielle Fondamentale (IAF’08), Actes en Ligne, Paris, 2008.

2007

O. Carloni, M. Leclère, M.-L. Mugnier. Introducing reasoning into an industrial knowledge management tool, Applied Intelligence, published online December 2007.

M.-L. Mugnier, M. Leclère, On Querying Simple Conceptual Graphs with Negation, Data and Knowledge Engineering (DKE), Elsevier, vol. 60, pp 468-493, March 2007 (publication online April 2006), Elsevier. Revised version of R.R. LIRMM 05-051

M.-L. Mugnier, On the Pi-2-P Completeness of the Containment Problem of Conjunctive Queries with Negation and Other Problems, R.R. LIRMM N°07004 (February 2007) pdf file

M. Leclère, M.-L. Mugnier, Some algorithmic improvments for the containment problem of conjunctive queries with negation Proceedings of  ICDT'07 (International Conference on Database Theory), LNCS 4353, pp. 401-418, Barcelona, January 2007. pdf file

2006

M. Leclère, M.-L. Mugnier, Simple Conceptual Graphs with Atomic Negation and Difference, Proceedings of ICCS'06 (14th International Conference on Conceptual Structures), LNAI 4068 Springer, 2006. pdf file

O. Carloni, M. Leclère, M.-L. Mugnier. Introducing Graph-based Reasoning into a Knowledge Management Tool : an Industrial Case, Proceedings of IEA / AIE'06 (19th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems), LNCS 4031, pp. 590-599, Springer, 2006.

O. Carloni, M. Leclère, M.-L. Mugnier, Introduction de raisonnement dans un outil de gestion de connaissances basé sur les Topic Maps, Proceedings of IC'06 (17èmes journées francophones d'Ingéniérie des Connaissances), Nantes, june 2006.

J.-F. Baget, O. Carloni, M. Chein, D. Genest, A. Gutierrez, M. Leclère, M.-L. Mugnier, E. Salvat, R. Thomopoulos, Towards Benchmarks for Conceptual Graph  Tools, Proceedings of CS-TIW 2006 (Conceptual Structures Tool Interoperability Workshop in conjunction with ICCS'06), pp.72-86,  Aalborg University Press, ISBN 87-7307-769-0, 2006

R. Thomopoulos, M.-L. Mugnier, M. Leclère. Mapping contexts to Vocabularies to Represent Intentions Proceedings of C&O-2006 (ECAI’2006 Workshop on Contexts and Ontologies: Theory, Practice and Applications), pp. 44-46, 2006.


2005

F. Dau, M.-L. Mugnier, G. Stumme (eds), Conceptual Structures: Common Semantics for Sharing Knowledge, Proceedings of ICCS'05 (13th International Conference on Conceptual Structures), LNAI, vol. 3596, Springer, 467 pages.

F. Comte, M. Leclère, M.-L. Mugnier, OWL-SG : un sous-langage pour la famille OWL, Workshop "raisonner le web sémantique avec des graphes", AFIA meeting, Nice, june 2005.

M. Leclère, M.-L. Mugnier, A Graph-Based Study of the Containment Problem for Conjunctive Queries with Negation, R.R. LIRMM 05-052, 2005. Revised version to appear in ICDT'07.

M.-L. Mugnier, M. Leclère, On Querying Simple Conceptual Graphs with Negation R.R. LIRMM 05-051, 41 pages. Revised version to appear in DKE (in press, april 2006).

M. Chein, M.-L. Mugnier, A Graph-Based Approach to Knowledge Representation: Computational Foundations of Conceptual Graphs (Part. I), R.R. LIRMM, 2005, document 12835 - 140 pages. First chapters of a forthcoming book.


2002 - 2004

M. Chein, M.-L. Mugnier Types and Coreference in Simple Conceptual Graphs. Proc. of ICCS'04 (12th International Conference on Conceptual Structures), LNAI 3127, pp. 303-318, Springer, Hunstville, USA, 2004. PostScript file .

M.-L. Mugnier, A graph-based approach to Knowledge Representation, Habilitation à diriger des recherches, 2002. Go to the habilitation page. A revised version will be incorporated in a forthcoming book.

Jean-François Baget, Marie-Laure Mugnier. Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints, Journal of Artificial Intelligence Research (JAIR), vol. 16, 2002, pages 425-465. Available on JAIR website. Quick access.

Jean-François Baget, Marie-Laure Mugnier. The SG Family: Extensions of Simple Conceptual Graphs, Proceedings of the seventeenth International Joint Conference on Artificial Intelligence (IJCAI'2001), Seattle, Washington, USA, August 2001, vol. I, pages 205-210, Morgan Kaufmann, 2001. The results of this paper have been extended and published in JAIR, 2002, see above.

Marie-Laure Mugnier. Knowledge Representation and Reasonings Based on Graph Homomorphism, (Invited Conference). Proceedings of the 8th International Conference on Conceptual Structures (ICCS'00), Darmstadt, Germany, August 2000, Lecture Notes in AI, volume 1867, pages 172-192. Springer, 2000. Abstract. A longer version is available as research report RR-LIRMM 00-098 PostScript file.

Michel Chein, Marie-Laure Mugnier. Graph Homomorphism: a tool for managing labelled graphs bases, (Invited Conference). International Conference on Ordinal and Symbolic Data Analysis (OSDA 2000), Brussels, Belgium, July 2000.


Before 2000

Jean-François Baget, David Genest, Marie-Laure Mugnier. Knowledge Acquisition with a Pure Graph-Based Knowledge Representation Model - Application to the Sisyphus-I Case Study. Twelfth Workshop on Knowledge Acquisition, Modeling and Management (KAW '99), Banff, Canada, October 1999. PDF file.

Jean-François Baget, David Genest, Marie-Laure Mugnier. A Pure Graph-Based Solution to the SCG-1 Initiative, Proceedings of the 7th International Conference on Conceptual Structures (ICCS'99), Blacksburg, USA, July 99. Lecture Notes in AI, volume 1640, pages 355-376. Springer, 1999. Abstract.

Marie-Laure Mugnier, Michel Chein (editors). Conceptual Structures: Theory, Tools and Applications, Proc. of the 6th International Conference on Conceptual Structures (ICCS'98), Montpellier, France, August 98, LNAI n°1453, Springer Verlag.

Anne Preller, Marie-Laure Mugnier, Michel Chein. Logic for Nested Graphs, Computational Intelligence, volume 14-3, pages 335-357. Blackwell Publishers, 1998.

Michel Chein, Marie-Laure Mugnier, Geneviève Simonet. Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics, Proceedings of the 6th International Conference "Principles of Knowledge Representation and Reasoning" (KR'98), Trento, Italy, June 98, pages 524-534. Morgan Kaufmann Publishers, 1998. PostScript file.

Geneviève Simonet, Michel Chein, Marie-Laure Mugnier. Projection in Conceptual Graphs and Query Containment in nr-Datalog, RR-LIRMM 98-025.

Michel Chein, Marie-Laure Mugnier. Positive Nested Conceptual Graphs, Proceedings of the 5th International Conference on Conceptual Structures (ICCS'97), Seattle, USA, August 97. Lecture Notes in AI, volume 1257, pages 95-109. Springer, 1997. PostScript file.

Marie-Laure Mugnier, Michel Chein. Représenter des connaissances et raisonner avec des graphes, Revue d'Intelligence Artificielle, volume 10-1, pages 7-56, 1996. PostScript file. In french, but most parts of this paper are also available in english as research report RR 95-003.)

B. Carbonneill, M. Chein, O. Cogis, O. Guinaldo, O. Haemmerlé, M.L. Mugnier, E. Salvat. COnceptual gRAphs At LIrmm, Proceedings of the 1st CGTOOLS Workshop, pages 5-8, Sydney, Australia, 1996.

Eric Salvat, Marie-Laure Mugnier. Sound and Complete Forward and Backward Chainings of Graph Rules, Proceedings of the 4th International Conference on Conceptual Structures (ICCS'96), Sydney, Australia, August 96. Lecture Notes in AI, volume 1115, pages 248-262. Springer, 1996. Version Research Report LIRMM 1996-004.

M. Chein, M.-L. Mugnier. Knowledge Representation with Conceptual Graphs (Invited conference). International Conference on Conceptual Knowledge Processing (ICCKP'96), Darmstadt, Germany, Feb. 1996.

Marie-Laure Mugnier. On generalization / specialization for conceptuals graphs, Journal of Experimental and Theoretical Artificial Intelligence, volume 7, pages 325-344, 1995. PostScript file.

M. Chein, M.-L. Mugnier. Conceptual and Descriptive Graphs, Invited Conference to the ACAI (Summer School of the European Conference in Artificial Intelligence), Perros-Guirec, July 1995.

M. Chein, M.-L. Mugnier. Conceptual Graphs are also Graphs, (Invited Conference). Proc. of the "quatrièmes journées du Laboratoire d'Informatique de Paris-Nord", Villetaneuse, sept. 1995, pp 81-97. RR-LIRMM 95-003. PostScript file.

D. Lukose, G. Mineau, M.-L. Mugnier, J.-U. Möller, P. Martin, R. Kremer, G.P. Zarri. Conceptual Structures for Knowledge Engineering and Knowledge Modelling , Supplementary proc. of ICCS'95, Santa Kruz, California, Aug. 1995.

Roland Ducournau, Michel Habib, Marianne Huchard, Marie-Laure Mugnier, Amedeo Napoli. Le point sur l'héritage multiple, Technique et Science Informatiques (TSI), Vol. 14, n° 3, 1995, pp. 309-345. In french.

Roland Ducournau, Michel Habib, Marianne Huchard, Marie-Laure Mugnier. Proposal for a monotonic multiple inheritance linearization, Proc. OOPSLA'94: Ninth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, ACM SIGPLAN Notices, Vol. 29, No10, Oregon Convention Center Portland, Oregon, USA, 0ctober 23-27, 1994, pp. 164-175.

Marie-Laure Mugnier, Michel Chein. Characterization and Algorithmic Recognition of Canonical Conceptual Graphs, Proc. of International Conference on Conceptual Structures'93 (ICCS'93), Lecture Notes in AI, n° 699, Springer Verlag, 1993, pp. 294-311.

Michel Chein, Marie-Laure Mugnier Specialization: Where do the difficulties occur ? , Conceptual Structures: Theory and Implementation, Selected papers from AWCG'92, Lecture Notes in AI, n° 754, H.D. Pfeiffer and T.E. Nagle (eds), Springer Verlag, 1993.

 Marie-Laure Mugnier, Michel Chein. Polynomial Algorithms for Projection and Matching, "Conceptual Structures: Theory and Implementation", Selected papers from AWCG'92, Lecture Notes in AI, n° 754, H.D. Pfeiffer and T.E. Nagle (eds), Springer Verlag, 1993.

Michel Chein, Marie-Laure Mugnier. Conceptual Graphs: Fundamental Notions, Revue d'Intelligence Artificielle, volume 6-4, pages 365-406, 1992. PostScript file.

Michel Chein, Marie-Laure Mugnier. Specialization: Where do the difficulties occur ?, Proceedings of the 7th Annual Workshop on Conceptual Graphs (AWCG'92), New Mexico State University, Las Cruces, New Mexico, USA , juillet 1992, pp. 19-28.

Marie-Laure Mugnier, Michel Chein. Polynomial Algorithms for Projection and Matching, "Conceptual Structures: Theory and Implementation", Proceedings of the 7th Annual Workshop on Conceptual Graphs (AWCG'92), New Mexico State University, Las Cruces, New Mexico, USA , juillet 1992,pp. 49-58.

Roland Ducournau, Michel Habib, Marianne Huchard, Marie-Laure Mugnier. Monotonic Conflict Resolution Mechanisms for Inheritance, Proc. OOPSLA'92, Vancouver, octobre 1992, in ACM SIGPLAN Notices, Vol. 27, n° 10, 1992, pp. 16-24.

Marie-Laure Mugnier. Contributions algorithmiques pour les graphes d'héritage et les graphes conceptuels, Thèse de Doctorat (PhD Thesis), Université Montpellier II, October 1992. In french.

Marianne Huchard, Marie-Laure Mugnier, Michel Habib, Roland Ducournau. Towards a unique multiple inheritance linearisation, Proceedings of the Conference East EurOOPe'91, Bratislava, September 17-20, 1991, pp. 48-61.


ML Mugnier's homepage    top of page