Publications de
Florence Dupin De Saint Cyr – Bannay, Stéphane Loiseau
Alignement cognitif de symboles (regular paper)
Dans : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2003), Lille, 20/05/03-22/05/03, Cépaduès Editions, p. 249-254, mai 2003.
Florence Dupin De Saint Cyr – Bannay, Béatrice Duval, Stéphane Loiseau
Révision a priori (regular paper)
Dans : 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, p. 715-722, 2002.
Accès : 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)
Dans : 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, p. 488-497, 2001.
Accès : http://www.irit.fr/~Florence.Bannay/publis/ecsqaru01.pdf.gz
BibTeXJuliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau
Refinement of Conceptual Graphs
Dans : 9th International Conference on Conceptual Structures, ICCS’2001, Stanford University, CA, USA, Springer, LNAI 2120, p. 216-230, août 2001.
Florence Dupin De Saint Cyr – Bannay, Stéphane Loiseau
Validation et révision (regular paper)
Dans : 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, p. 175-183, février 2000.
Accès : 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
Dans : 12ème congrès Reconnaissance des Formes et Intelligence Artificielle, RFIA’2000, Paris, France, p. 205-214, février 2000.
Florence Dupin De Saint Cyr – Bannay, Stéphane Loiseau
Validation and refinement versus revision (regular paper)
Dans : Symposium on Verification and Validation of Knowledge Based Systems and Components (EUROVAV 1999), Oslo, Norway, 09/06/99-11/06/99, Kluwer Academic Publishers, p. 163-176, juin 1999.
Accès : 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
Dans : 5th International Symposium on Validation and Verification of Knowledge Based Systems and Components, EUROVAV’99, Oslo, Norway, Kluwer, p. 79-91, juin 1999.
Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau
A semantic Validation of Conceptual Graphs
Dans : 6th International Conference on Conceptual Structures, ICCS’98, Montpellier, France, Springer-Verlag, LNAI 1453, p. 80-93, août 1998.