Eric Salvat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
1996–2009
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | IJCAI | Extending Decidable Cases for Rules with Existential Variables. | Jean-Franois Baget, Michel Leclre, Marie-Laure Mugnier, Eric Salvat |
| 2006 | ICCS | Rules Dependencies in Backward Chaining of Conceptual Graphs Rules. | Jean-Franois Baget, Eric Salvat |
| 1998 | ECAI | Theorem Proving Using Graph Operations in the Conceptual Graph Formalism. | Eric Salvat |
| 1998 | ICCS | Piece Resolution: Towards Larger Perspectives. | Stphane Coulondre, Eric Salvat |
| 1998 | ICCS | A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT (Research Note). | David Genest, Eric Salvat |
| 1997 | ICCS | A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux. | Gwen Kerdiles, Eric Salvat |
| 1996 | ICCS | Sound and Complete Forward and backward Chainingd of Graph Rules. | Eric Salvat, Marie-Laure Mugnier |