Search the dblp DataBase

Publications of Author

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