Marie-Laure Mugnier Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo: On the complexity of entailment in existential conjunctive first-order logic with atomic negation. Inf. Comput. 215: 8-31 (2012)
2011
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier: A Theoretical and Experimental Comparison of Algorithms for the Containment of Conjunctive Queries with Negation. DEXA (1) 2011: 466-480
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo: Walking the Complexity Lines for Generalized Guarded Existential Rules. IJCAI 2011: 712-717
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Laure Mugnier: Ontological Query Answering with Existential Rules. RR 2011: 2-23
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Baget, Marie-Laure Mugnier, Michaël Thomazo: Towards Farsighted Dependencies for Existential Rules. RR 2011: 30-45
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat: On rules with existential variables: Walking the decidability line. Artif. Intell. 175(9-10): 1620-1654 (2011)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Baget, Marie-Laure Mugnier: Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints CoRR abs/1106.1800: (2011)
2010
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier: Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments. AIMSA 2010: 1-10
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier: Containment of Conjunctive Queries with Negation: Algorithms and Experiments. DEXA (2) 2010: 330-345
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Baget, Madalina Croitoru, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier: Translations between RDF(S) and Conceptual Graphs. ICCS 2010: 28-41
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Baget, Michel Leclère, Marie-Laure Mugnier: Walking the Decidability Line for Rules with Existential Variables. KR 2010
2009
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Laure Mugnier: Conceptual Graph Rules and Equivalent Rules: A Synthesis. ICCS 2009: 23-31
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat: Extending Decidable Cases for Rules with Existential Variables. IJCAI 2009: 677-682
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Carloni, Michel Leclère, Marie-Laure Mugnier: Introducing reasoning into an industrial knowledge management tool. Appl. Intell. 31(3): 211-224 (2009)
2008
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat: DL-SR: a Lite DL with Expressive Rules: Preliminary Results. Description Logics 2008
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Leclère, Marie-Laure Mugnier: An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation. ICCS 2008: 119-132
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Baget, Olivier Corby, Rose Dieng-Kuntz, Catherine Faron-Zucker, Fabien L. Gandon, Alain Giboin, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Rallou Thomopoulos: Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit. ICCS 2008: 297-310
2007
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Leclère, Marie-Laure Mugnier: Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation. ICDT 2007: 404-418
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Laure Mugnier, Michel Leclère: On querying simple conceptual graphs with negation. Data Knowl. Eng. 60(3): 468-493 (2007)
2006
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Carloni, Michel Leclère, Marie-Laure Mugnier: Introduction de raisonnement dans un outil de gestion des connaissances basé sur les Topic Maps. Actes d'IC 2006: 11-20
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Leclère, Marie-Laure Mugnier: Simple Conceptual Graphs with Atomic Negation and Difference. ICCS 2006: 331-345
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Carloni, Michel Leclère, Marie-Laure Mugnier: Introducing Graph-Based Reasoning into a Knowledge Management Tool: An Industrial Case Study. IEA/AIE 2006: 590-599
2005
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrithjof Dau, Marie-Laure Mugnier, Gerd Stumme: Conceptual Structures: Common Semantics for Sharing Knowledge, 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings Springer 2005
2004
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Chein, Marie-Laure Mugnier: Concept Types and Coreference in Simple Conceptual Graphs. ICCS 2004: 303-318
2002
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Baget, Marie-Laure Mugnier: Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints. J. Artif. Intell. Res. (JAIR) 16: 425-465 (2002)
2001
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Baget, Marie-Laure Mugnier: The SG Family: Extensions of Simple Conceptual Graphs. IJCAI 2001: 205-212
2000
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Laure Mugnier: Knowledge Representation and Reasonings Based on Graph Homomorphism. ICCS 2000: 172-192
1999
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Baget, David Genest, Marie-Laure Mugnier: A Pure Graph-Based Solution to the SCG-1 Initiative. ICCS 1999: 355-376
1998
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Laure Mugnier, Michel Chein: Conceptual Structures: Theory, Tools and Applications, 6th International Conference on Conceptual Structures, ICCS '98, Montpellier, France, August 10-12, 1998, Proceedings Springer 1998
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Chein, Marie-Laure Mugnier, Geneviève Simonet: Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics. KR 1998: 524-535
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnne Preller, Marie-Laure Mugnier, Michel Chein: Logic for Nested Graphs. Computational Intelligence 14(3): 335-357 (1998)
1997
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Chein, Marie-Laure Mugnier: Positive Nested Conceptual Graphs. ICCS 1997: 95-109
1996
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Salvat, Marie-Laure Mugnier: Sound and Complete Forward and backward Chainingd of Graph Rules. ICCS 1996: 248-262
1995
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Laure Mugnier: On generalization/specialization for conceptual graphs. J. Exp. Theor. Artif. Intell. 7(3): 325-344 (1995)
1994
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoland Ducournau, Michel Habib, Marianne Huchard, Marie-Laure Mugnier: Proposal for a Monotonic Multiple Inheritance Linearization. OOPSLA 1994: 164-175
1993
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Laure Mugnier, Michel Chein: Characterization and Algorithmic Recognition of Canonical Conceptual Graphs. ICCS 1993: 294-311
1992
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoland Ducournau, Michel Habib, Marianne Huchard, Marie-Laure Mugnier: Monotonic Conflict Resolution Mechanisms for Inheritance. OOPSLA 1992: 16-24
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Chein, Marie-Laure Mugnier: Specialization: Where Do the Difficulties Occur? Workshop on Conceptual Graphs 1992: 229-238
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Laure Mugnier, Michel Chein: Polynomial Algorithms for Projection and Matching. Workshop on Conceptual Graphs 1992: 239-251

Coauthor Index

1Jean-François Baget [12] [14] [15] [23] [25] [27] [29] [30] [33] [34] [35] [37]
2Olivier Carloni [18] [20] [26]
3Michel Chein [1] [2] [4] [8] [9] [10] [11] [16]
4Olivier Corby [23]
5Madalina Croitoru [30]
6Frithjof Dau [17]
7Rose Dieng (Rose Dieng-Kuntz) [23]
8Roland Ducournau [3] [5]
9Catherine Faron-Zucker (Catherine Faron) [23]
10Fabien L. Gandon (Fabien Gandon) [23]
11David Genest [12]
12Alain Giboin [23]
13Alain Gutierrez [23] [30]
14Michel Habib [3] [5]
15Marianne Huchard [3] [5]
16Michel Leclère [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [29] [30] [31] [32] [34] [38]
17Khalil Ben Mohamed [31] [32] [38]
18Anne Preller [9]
19Sebastian Rudolph [37]
20Eric Salvat [7] [25] [27] [34]
21Geneviève Simonet [10] [39]
22Gerd Stumme [17]
23Michaël Thomazo [35] [37] [39]
24Rallou Thomopoulos [23]

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page