2008 |
22 | EE | Jean-François Baget,
Michel Leclère,
Marie-Laure Mugnier,
Eric Salvat:
DL-SR: a Lite DL with Expressive Rules: Preliminary Results.
Description Logics 2008 |
21 | EE | Michel Leclère,
Marie-Laure Mugnier:
An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation.
ICCS 2008: 119-132 |
20 | EE | Jean-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 |
19 | EE | Michel Leclère,
Marie-Laure Mugnier:
Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation.
ICDT 2007: 404-418 |
18 | EE | Marie-Laure Mugnier,
Michel Leclère:
On querying simple conceptual graphs with negation.
Data Knowl. Eng. 60(3): 468-493 (2007) |
2006 |
17 | EE | Michel Leclère,
Marie-Laure Mugnier:
Simple Conceptual Graphs with Atomic Negation and Difference.
ICCS 2006: 331-345 |
16 | EE | Olivier 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 |
15 | | Frithjof 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 |
14 | EE | Michel Chein,
Marie-Laure Mugnier:
Concept Types and Coreference in Simple Conceptual Graphs.
ICCS 2004: 303-318 |
2002 |
13 | EE | Jean-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 |
12 | | Jean-François Baget,
Marie-Laure Mugnier:
The SG Family: Extensions of Simple Conceptual Graphs.
IJCAI 2001: 205-212 |
2000 |
11 | | Marie-Laure Mugnier:
Knowledge Representation and Reasonings Based on Graph Homomorphism.
ICCS 2000: 172-192 |
1999 |
10 | | Jean-François Baget,
David Genest,
Marie-Laure Mugnier:
A Pure Graph-Based Solution to the SCG-1 Initiative.
ICCS 1999: 355-376 |
1998 |
9 | | Marie-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 |
8 | | Michel Chein,
Marie-Laure Mugnier,
Geneviève Simonet:
Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics.
KR 1998: 524-535 |
1997 |
7 | | Michel Chein,
Marie-Laure Mugnier:
Positive Nested Conceptual Graphs.
ICCS 1997: 95-109 |
1996 |
6 | | Eric Salvat,
Marie-Laure Mugnier:
Sound and Complete Forward and backward Chainingd of Graph Rules.
ICCS 1996: 248-262 |
1994 |
5 | | Roland Ducournau,
Michel Habib,
Marianne Huchard,
Marie-Laure Mugnier:
Proposal for a Monotonic Multiple Inheritance Linearization.
OOPSLA 1994: 164-175 |
1993 |
4 | | Marie-Laure Mugnier,
Michel Chein:
Characterization and Algorithmic Recognition of Canonical Conceptual Graphs.
ICCS 1993: 294-311 |
1992 |
3 | | Roland Ducournau,
Michel Habib,
Marianne Huchard,
Marie-Laure Mugnier:
Monotonic Conflict Resolution Mechanisms for Inheritance.
OOPSLA 1992: 16-24 |
2 | | Michel Chein,
Marie-Laure Mugnier:
Specialization: Where Do the Difficulties Occur?
Workshop on Conceptual Graphs 1992: 229-238 |
1 | | Marie-Laure Mugnier,
Michel Chein:
Polynomial Algorithms for Projection and Matching.
Workshop on Conceptual Graphs 1992: 239-251 |