Publications of
Florence Dupin De Saint Cyr – Bannay, Stéphane Loiseau
Alignement cognitif de symboles (regular paper)
In : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2003), Lille, 20/05/03-22/05/03, Cépaduès Editions, pp. 249-254, May 2003.
Florence Dupin De Saint Cyr – Bannay, Béatrice Duval, Stéphane Loiseau
Révision a priori (regular paper)
In : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2002), Angers, 08/01/02-10/01/02, Vol. II, AFIA : Association Francaise d’Intelligence Artificielle, pp. 715-722, 2002.
URL : http://www.irit.fr/~Florence.Bannay/publis/rfia02extra.ps.gz
BibTeXFlorence Dupin De Saint Cyr – Bannay, Béatrice Duval, Stéphane Loiseau
A priori revision (regular paper)
In : European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2001), Toulouse, 19/09/01-21/09/01, Salem Benferhat, Philippe Besnard (Eds.), Springer, LNAI 2143, pp. 488-497, 2001.
URL : http://www.irit.fr/~Florence.Bannay/publis/ecsqaru01.pdf.gz
BibTeXJuliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau
Refinement of Conceptual Graphs
In : 9th International Conference on Conceptual Structures, ICCS2001, Stanford University, CA, USA, Springer, LNAI 2120, pp. 216-230, August 2001.
Florence Dupin De Saint Cyr – Bannay, Stéphane Loiseau
Validation et révision (regular paper)
In : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2000), Paris, 01/02/00-03/02/00, Vol. I, AFIA : Association Francaise d’Intelligence Artificielle, pp. 175-183, February 2000.
URL : http://www.irit.fr/~Florence.Bannay/publis/rfiadefinitive.ps.gz
BibTeXJuliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau, Eric Salvat
Validation et réparation sémantique de graphes conceptuels
In : 12ème congrès Reconnaissance des Formes et Intelligence Artificielle, RFIA2000, Paris, France, pp. 205-214, February 2000.
Florence Dupin De Saint Cyr – Bannay, Stéphane Loiseau
Validation and refinement versus revision (regular paper)
In : Symposium on Verification and Validation of Knowledge Based Systems and Components (EUROVAV 1999), Oslo, Norway, 09/06/99-11/06/99, Kluwer Academic Publishers, pp. 163-176, June 1999.
URL : http://www.irit.fr/~Florence.Bannay/publis/eurovav99.ps.gz
BibTeXJuliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau
Constraints for Validation of Conceptual Graphs
In : 5th International Symposium on Validation and Verification of Knowledge Based Systems and Components, EUROVAV99, Oslo, Norway, Kluwer, pp. 79-91, June 1999.
Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau
A semantic Validation of Conceptual Graphs
In : 6th International Conference on Conceptual Structures, ICCS98, Montpellier, France, Springer-Verlag, LNAI 1453, pp. 80-93, August 1998.