Michel Leclere, Marie-Laure Mugnier, Guillaume Perution-Kihli:
Query Rewriting with Disjunctive Existential Rules and Mappings.
KR 2023:429-439
HAL deposit
Olivier Rodriguez, Federico Ulliana, Marie-Laure Mugnier:
Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting.
PVLDB 16(11): 2699-2713
HAL deposit
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph:
Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying.
PODS 2023: 291-302
HAL deposit (paper with full proofs)
Jean-François Baget, Pierre Bisquert, Michel Leclere, Marie-Laure Mugnier, Guillaume Pérution-Kihli,
Florent Tornil, Federico Ulliana:
InteGraal: a Tool for Data-Integration and Reasoning on Heterogeneous and Federated Sources.
BDA 2023 - 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications
HAL deposit
David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo:
Normalisations of Existential Rules: Not so Innocuous! KR 2022
HAL deposit
Elie Najm, Jean-François Baget, Marie-Laure Mugnier:
Rule-Based Data Access: A Use-case in Agroecology. RuleML+RR (Companion) 2022
HAL deposit
N. Mitton, L. Brossard, T. Bouadi, F. Garcia, R. Gautron, N. Hilgert, D. Ienco, C. Largouët, E. Lutton, V. Masson, R. Martin-Clouaire, M.-L. Mugnier, P. Neveu, P. Preux, H. Raynal, C. Roussey, A. Termier and V. Bellon Maurel. Foundations and state of the art. In: Agriculture and Digital Technology: Getting the most out of digital technology to contribute to the transition to sustainable agriculture and food systems. White book INRIA/INRAE, 2022, pp. 30–75.
Maxime Buron, Marie-Laure Mugnier, Michael Thomazo:
Parallelisable Existential Rules: a Story of Pieces.
KR 2021:162-173
HAL deposit
Stathis Delivorias, Michel Leclere, Marie-Laure Mugnier, Federico Ulliana:
Characterizing Boundedness in Chase Variants. Theory and Practice of Logic Programming (TPLP) 21(1): 51-79, 2021
As technical report CoRR abs/2004.10030
Marie-Laure Mugnier: Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules Künstliche Intelligenz (KI)
34(4): 475-489, 2020
pdf file
Maxime Buron, François Goasdoué, Ioana Manolescu, Marie-Laure Mugnier:
Ontology-Based RDF Integration of Heterogeneous Data. EDBT 2020: 299-310, 2020
HAL deposit
Meghyn Bienvenu, Michel Leclere, Marie-Laure Mugnier, Marie-Christine Rousset, Reasoning with ontologies, in A Guided Tour of Artificial Intelligence Research, vol. I: Knowledge Representation, Reasoning and Learning, Pierre Marquis, Odile Papini, Henri Prade (Eds.), International Publishing, DOI: 10.1007/978-3-030-06164-7, 2020
pdf file
Pierre Bourhis, Michel Leclere, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Gallois,
Oblivious and Semi-Oblivious Boundedness for Existential Rules. Full version of the paper with the same title at IJCAI 2019.Technical report CoRR abs/2006.08467, 2020
CoRR abs/2006.08467
Pierre Bourhis, Michel Leclere, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Gallois,
Oblivious and Semi-Oblivious Boundedness for Existential Rules, IJCAI 2019
HAL deposit
Maxime Buron, Francois Goasdoue, Ioana Manolescu, Marie-Laure Mugnier,
Reformulation-based query answering for RDF
graphs with RDFS ontologies ESWC 2019
HAL deposit
Michel Leclere, Marie-Laure Mugnier, Michael Thomazo, Federico Ulliana, On Chase Termination for Linear Existential Rules, ICDT 2019
HAL deposit
Stathis Delivorias, Michel Leclere, Marie-Laure Mugnier, Federico Ulliana, On the k-Boundedness for Existential Rules. RuleML+RR 2018: 48-64 pdf on arixv.org
Michel Leclere, Marie-Laure Mugnier, Michael Thomazo, Federico Ulliana, On Chase Termination for Linear Existential Rules (extended abstract), DL 2018 pdf
Maxime Buron, Francois Goasdoue, Ioana Manolescu, Marie-Laure Mugnier, Rewriting-Based Query Answering for Semantic Data Integration Systems (abstract), BDA 2018
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Michaël Thomazo: Answering Conjunctive Regular Path Queries over Guarded Existential Rules. IJCAI 2017: 793-799 pdf
Meghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana: Ontology-Mediated Query Answering for Key-Value Stores. IJCAI 2017: 844-851 pdf
Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana:Ontology-Mediated Queries for NOSQL Databases. AAAI 2016: 1051-1057 pdf
Also: extended abstract at Description Logics 2016
Michel Leclère, Marie-Laure Mugnier, Federico Ulliana: On Bounded Positive Existential Rules., Description Logics 2016, CEUR Workshop Proceedings, Volume 1577 pdf
Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia: A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering. KR 2016: 513-516 pdf
Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia: A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering. Technical report associated with KR 2016 paper: arXiv:1602.05828 (2016)
Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia: Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis. JELIA 2016: 64-80 pdf
J.-F. Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher, Combining Existential Rules and Transitivity: Next steps IJCAI 2015: 2720-2726. pdf
J.-F. Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher, Combining Existential Rules and Transitivity: Next steps, Technical report associated with IJCAI 2015 paper: arXiv:1504.07443 (2015)
M. König, M. Leclère, M.-L. Mugnier Query Rewriting for Existential Rules with Compiled Preorder IJCAI 2015: 3106-3112. pdf
J.-F. Baget, Michel Leclère, M.-L. Mugnier, Swan Rocher, Clément Sipieter, Graal: A Toolkit for Query Answering with Existential Rules RuleML 2015: 328-344 pdf on Graal website
J.-F. Baget, Alain Gutierrez, Michel Leclère, M.-L. Mugnier, Swan Rocher, Clément Sipieter, Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules Challenge+DC@RuleML 2015: 328-344 pdf on Graal website
M. König, M. Leclère, M.-L. Mugnier, M. Thomazo, Sound, Complete and Minimal UCQ-Rewritings for Existential Rules. Semantic Web Journal, online (2014), 6(5): 451-475 (2015).
S. Rudolph, M. Thomazo, J.-F. Baget, M.-L. Mugnier, Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses. CoRR abs/1412.4485
J.-F. Baget, F. Garreau, M.-L. Mugnier, S. Rocher, Extending Acyclicity Notions for Existential Rules. In Proceedings of the European Conference on Artificial Intelligence ECAI 2014: 39-44 Long version: arXiv:1407.6885
J.-F. Baget, Fabien Garreau, M.-L. Mugnier, S. Rocher: Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation. Proceedings of NMR 2014 (Workshop on Non-Monotonic Reasoning) CoRR abs/1405.1071
M.-L. Mugnier, M. Thomazo, An Introduction to Ontology-Based Query Answering with Existential Rules. Reasoning Web 2014, 245-278, pdf file
M. Chein, M.-L. Mugnier, Conceptual Graphs Are Also Graphs. In Proceedings of ICCS 2014: 1-18 (actually, an invitation to publish a 20 years' old technical report: 1995)
R. Kontchakov, M.-L. Mugnier (Eds.): Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings. Lecture Notes in Computer Science 8741, Springer 2014, ISBN 978-3-319-11112-4
M. Leclère, M.-L. Mugnier, M.-C. Rousset, Raisonner avec des ontologies : logiques de description et graphes conceptuels, Chapter 5, in Panorama de l'intelligence artificielle - ses bases méthodologiques, ses développements. Tome 1: représentation des connaissances et formalisation des raisonnements, P. Marquis, O. Papini, H. Prade (Eds), Cepadues, 2014.
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
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), 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
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. pdf file 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
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
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
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.
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
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.
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.
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.
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.