| |
| 2006 | ||
|---|---|---|
| 8 | EE | Jean-François Baget, Eric Salvat: Rules Dependencies in Backward Chaining of Conceptual Graphs Rules. ICCS 2006: 102-116 |
| 7 | EE | Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Eric Salvat: A semantic validation of conceptual graphs. Knowl.-Based Syst. 19(7): 498-510 (2006) |
| 2004 | ||
| 6 | Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Eric Salvat: Validation de graphes conceptuels. EGC 2004: 135-146 | |
| 1998 | ||
| 5 | Eric Salvat: Theorem Proving Using Graph Operations in the Conceptual Graph Formalism. ECAI 1998: 356-360 | |
| 4 | EE | David Genest, Eric Salvat: A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT (Research Note). ICCS 1998: 154-164 |
| 3 | EE | Stéphane Coulondre, Eric Salvat: Piece Resolution: Towards Larger Perspectives. ICCS 1998: 179-193 |
| 1997 | ||
| 2 | Gwen Kerdiles, Eric Salvat: A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux. ICCS 1997: 371-385 | |
| 1996 | ||
| 1 | Eric Salvat, Marie-Laure Mugnier: Sound and Complete Forward and backward Chainingd of Graph Rules. ICCS 1996: 248-262 | |
| 1 | Jean-François Baget | [8] |
| 2 | Stéphane Coulondre | [3] |
| 3 | Juliette Dibie-Barthélemy | [6] [7] |
| 4 | David Genest | [4] |
| 5 | Ollivier Haemmerlé | [6] [7] |
| 6 | Gwen Kerdiles | [2] |
| 7 | Marie-Laure Mugnier | [1] |