 | 2009 |
|---|
| 10 |       | Jean-François Baget,
Michel Leclère,
Marie-Laure Mugnier,
Eric Salvat:
Extending Decidable Cases for Rules with Existential Variables.
IJCAI 2009: 677-682 |
| 2008 |
|---|
| 9 | | 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 |
| 2006 |
|---|
| 8 | | Jean-François Baget,
Eric Salvat:
Rules Dependencies in Backward Chaining of Conceptual Graphs Rules.
ICCS 2006: 102-116 |
| 7 | | 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 | | David Genest,
Eric Salvat:
A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT (Research Note).
ICCS 1998: 154-164 |
| 3 | | 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 |
