AIJ 11

J.-F. Baget, M. Leclère, M.-L. Mugnier, E. Salvat. 
On Rules with Existential Variables: Walking the Decidability Line (Artificial Intelligence) 175 (2011), pp. 1620-1654.

IJCAI 09

J.-F. Baget, M. Leclère, M.-L. Mugnier, E. Salvat. 
Extending Decidable Cases for Rules with Existential Variables. 21st International Joint Conference on Artificial Intelligence (IJCAI-09) July 11-17 2009, Passadena, California, USA.

DL 08

J.-F. Baget, M. Leclère, M.-L. Mugnier, E. Salvat. DL-SR: a Lite DL with Expressive Rules. Preliminary Results.
21st International Workshop on Description Logics (DL2008) May 13-16 2008, Dresden, Germany

KBS 06

J. Dibie-Barthélemy, O. Haemmerlé, E. Salvat.
A semantic validation of conceptual graphs. Knowledge-Based Systems, Volume 19, Issue 7, Novembre 2006, p. 498-510.

ICCS 06

J.-F. Baget et E. Salvat.
Rules Dependencies in Backward Chaining of Conceptual Graphs Rules.
Dans Proceedings of 14th Int. Conf. on Conceptual Structures, Aalborg,
Danemark, 2006.
Lecture Notes in Artificial Intelligence 4068, Springer Verlag, p. 102-116.

EGC 04

J. Dibie-Barthélemy, O. Haemmerlé et E. Salvat.
Validation de graphes conceptuels. In Actes des 4èmes journées Extraction et Gestion des Connaissances, EGC'2004, Clermont-Ferrand, Janvier 2004, RNTI-E2, Cépaduès, p. 135-146.

RFIA 00

Dibie-Barthélemy J., Haemmerlé O., Loiseau S. et Salvat E.
Validation et réparation sémantique de graphes conceptuels. In Actes du 12ème congrès Reconnaissance des Formes et Intelligence Artificielle, RFIA2000, Paris, Février 2000, vol. 1 p. 205-214.

ECAI 98

E. Salvat.
Theorem Proving Using Conceptual Operations in the Conceptual Graph
Formalism.
13th European Conference on Artificial Intelligence, Brighton,
Royaume-Uni, août 1998, p. 356-360.

ICCS 98

S. Coulondre et E. Salvat.
Piece Resolution: Towards Larger Perspectives.
Dans Proceedings of 6th Int. Conf. on Conceptual Structures, Monpellier,
France, août 1998.
Lecture Notes in Artificial Intelligence 1453, Springer Verlag, p. 179-193.

ICCS 98

D. Genest et E. Salvat.
A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT.
Dans Proceedings of 6th Int. Conf. on Conceptual Structures, Monpellier,
France, août 1998.
Lecture Notes in Artificial Intelligence 1453, Springer Verlag, p. 154-161.

ICCS 97

G. Kerdiles et E. Salvat.
A sound and complete proof procedure for conceptual graphs combining
projections with analytic tableaux.
Dans Proceedings of the 5th Int. Conf. on Conceptual Structures, Seattle,
USA, août 1997.
Lecture Notes in Artificial Intelligence 1257, Springer Verlag, p. 371-385.

ICCS 96

E. Salvat et M.L. Mugnier.
Sound and complete forward and backward chainings of graph rules.
Dans Proceedings of the 4th Int. Conf. on Conceptual Structures, Sydney,
Australie, 1996.
Lecture Notes in Artificial Intelligence 1115, Springer Verlag, p. 248-262.
Prix du meilleur article.

RJCIA 96

E. Salvat.
Des règles dans le formalisme des graphes conceptuels.
Dans les actes des 3^ièmes Rencontres Nationales des Jeunes Chercheurs en Intelligence Artificielle, Nantes, 1996, p. 197-204.

Titre :