Eric Salvat

Publication Activity (10 Years)

Years Active: 1996-2011
Publications (10 Years): 0

Publications

Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat
On rules with existential variables: Walking the decidability line. Artif. Intell. 175 (9-10) (2011)
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat
Extending Decidable Cases for Rules with Existential Variables. IJCAI (2009)
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)
Jean-François Baget, Eric Salvat
Rules Dependencies in Backward Chaining of Conceptual Graphs Rules. ICCS (2006)
Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Eric Salvat
A semantic validation of conceptual graphs. Knowl. Based Syst. 19 (7) (2006)
Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Eric Salvat
Validation de graphes conceptuels. EGC (2004)
Stéphane Coulondre, Eric Salvat
Piece Resolution: Towards Larger Perspectives. ICCS (1998)
David Genest, Eric Salvat
A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT (Research Note). ICCS (1998)
Eric Salvat
Theorem Proving Using Graph Operations in the Conceptual Graph Formalism. ECAI (1998)
Gwen Kerdiles, Eric Salvat
A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux. ICCS (1997)
Eric Salvat, Marie-Laure Mugnier
Sound and Complete Forward and backward Chainingd of Graph Rules. ICCS (1996)