论文信息 - The SG Family: Extensions of Simple Conceptual Graphs - 字舞流文

The SG Family: Extensions of Simple Conceptual Graphs

Jean-François Baget | Marie-Laure Mugnier | Jean-François Baget | M. Mugnier

[1] David Genest. Extension du modèle des graphes conceptuels pour la recherche d'informations , 2000 .

[2] Jean-François Baget,et al. Knowledge Acquisition with a Pure Graph-Based Knowledge Representation Model Application to the Sisyphus-I Case Study , 1999 .

[3] Ollivier Haemmerlé,et al. A semantic validation of conceptual graphs , 1998, Knowl. Based Syst..

[4] Stéphane Coulondre,et al. Piece Resolution: Towards Larger Perspectives , 1998, ICCS.

[5] Eric Salvat,et al. Theorem Proving Using Graph Operations in the Conceptual Graph Formalism , 1998, ECAI.

[6] Marie-Laure Mugnier,et al. Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics , 1998, KR.

[7] Bernard Botella,et al. Modelling and Simulating Human Behaviours with Conceptual Graphs , 1997, ICCS.

[8] Rokia Missaoui,et al. The Representation of Semantic Constraints in Conceptual Graph Systems , 1997, ICCS.

[9] Gwen Kerdiles,et al. Projection: A Unification Procedure for Tableaux in Conceptual Graphs , 1997, TABLEAUX.

[10] Vilas Wuwongse,et al. A Direct Proof Procedure for Definite Conceptual Graph Programs , 1995, ICCS.

[11] John F. Sowa,et al. Conceptual Structures: Information Processing in Mind and Machine , 1983 .