Constraints for Validation of Conceptual Graphs

Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau. Constraints for Validation of Conceptual Graphs. In Anca I. Vermesan, Frans Coenen, editors, Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV 99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway. pages 79-90, Kluwer, 1999.

Authors

Juliette Dibie-Barthélemy

This author has not been identified. Look up 'Juliette Dibie-Barthélemy' in Google

Ollivier Haemmerlé

This author has not been identified. Look up 'Ollivier Haemmerlé' in Google

Stéphane Loiseau

This author has not been identified. Look up 'Stéphane Loiseau' in Google