Eric Salvat

11 papers A* 1A 1Misc 5Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
2011 J jnl
On rules with existential variables: Walking the decidability line.
Artif. Intell.
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat
2009 A* conf
Extending Decidable Cases for Rules with Existential Variables.
IJCAI
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat
2008 — conf
DL-SR: a Lite DL with Expressive Rules: Preliminary Results.
Description Logics
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat
2006 J jnl
A semantic validation of conceptual graphs.
Knowl. Based Syst.
Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Eric Salvat
2006 Misc conf
Rules Dependencies in Backward Chaining of Conceptual Graphs Rules.
ICCS
Jean-François Baget, Eric Salvat
2004 — conf
Validation de graphes conceptuels.
EGC
Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Eric Salvat
1998 Misc conf
A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT (Research Note).
ICCS
David Genest, Eric Salvat
1998 Misc conf
Piece Resolution: Towards Larger Perspectives.
ICCS
Stéphane Coulondre, Eric Salvat
1998 A conf
Theorem Proving Using Graph Operations in the Conceptual Graph Formalism.
ECAI
Eric Salvat
1997 Misc conf
A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux.
ICCS
Gwen Kerdiles, Eric Salvat
1996 Misc conf
Sound and Complete Forward and backward Chainingd of Graph Rules.
ICCS
Eric Salvat, Marie-Laure Mugnier