Eric Salvat

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

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
On rules with existential variables: Walking the decidability line.
Artif. Intell., 2011

2009
Extending Decidable Cases for Rules with Existential Variables.
Proceedings of the IJCAI 2009, 2009

2008
DL-SR: a Lite DL with Expressive Rules: Preliminary Results.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2006
A semantic validation of conceptual graphs.
Knowl.-Based Syst., 2006

Rules Dependencies in Backward Chaining of Conceptual Graphs Rules.
Proceedings of the Conceptual Structures: Inspiration and Application, 2006

2004
Validation de graphes conceptuels.
Proceedings of the Extraction et gestion des connaissances (EGC'2004), 2004

1998
A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT (Research Note).
Proceedings of the Conceptual Structures: Theory, 1998

Piece Resolution: Towards Larger Perspectives.
Proceedings of the Conceptual Structures: Theory, 1998

Theorem Proving Using Graph Operations in the Conceptual Graph Formalism.
ECAI, 1998

1997
A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux.
Proceedings of the Conceptual Structures: Fulfilling Peirce's Dream, 1997

1996
Sound and Complete Forward and backward Chainingd of Graph Rules.
Proceedings of the Conceptual Structures: Knowledge Representation as Interlingua, 1996


  Loading...