Juliette Dibie-Barthélemy;Ollivier Haemmerlé;Stéphane Loiseau
-;-;-
Validation and verification of knowledge-based systems: report on EUROVAV99
The Knowledge Engineering Review
A semantic validation of conceptual graphs
Knowledge-Based Systems