Eric Salvat

According to our database, Eric Salvat authored at least 11 papers between 1996 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

On rules with existential variables: Walking the decidability line.

Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat

Artif. Intell., 2011

2009

Extending Decidable Cases for Rules with Existential Variables.

Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat

Proceedings of the IJCAI 2009, 2009

2008

DL-SR: a Lite DL with Expressive Rules: Preliminary Results.

Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2006

A semantic validation of conceptual graphs.

Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Eric Salvat

Knowl. Based Syst., 2006

Rules Dependencies in Backward Chaining of Conceptual Graphs Rules.

Jean-François Baget, Eric Salvat

Proceedings of the Conceptual Structures: Inspiration and Application, 2006

2004

Validation de graphes conceptuels.

Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Eric Salvat

Proceedings of the Extraction et gestion des connaissances (EGC'2004), 2004

1998

A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT (Research Note).

David Genest, Eric Salvat

Proceedings of the Conceptual Structures: Theory, 1998

Piece Resolution: Towards Larger Perspectives.

Stéphane Coulondre, Eric Salvat

Proceedings of the Conceptual Structures: Theory, 1998

Theorem Proving Using Graph Operations in the Conceptual Graph Formalism.

Eric Salvat

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1997

A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux.

Gwen Kerdiles, Eric Salvat

Proceedings of the Conceptual Structures: Fulfilling Peirce's Dream, 1997

1996

Sound and Complete Forward and backward Chainingd of Graph Rules.

Eric Salvat, Marie-Laure Mugnier

Proceedings of the Conceptual Structures: Knowledge Representation as Interlingua, 1996