A Simulation of Co-identity with Rules in Simple and Nested Graphs-Reference-Cited by-同舟云学术

A Simulation of Co-identity with Rules in Simple and Nested Graphs

Published:1999 Issue: Volume: Page:442-455
ISSN:0302-9743
Container-title:Conceptual Structures: Standards and Practices
language:
Short-container-title:

Author:

Baget Jean-François

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48659-3_28

Reference10 articles.

1. M. Chein, M-L. Mugnier, and G. Simonet. Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics. In Proceedings of the 6th International Conference “Principles of Knowledge Representation and Reasoning” (KR’98). Morgan Kaufmann Publishers, 1998.

2. D. Genest and E. Salvat. A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT. In Proceedings of the 6th International Conference on Conceptual Structures, Lecture Notes in AI. Springer, 1998.

3. B.C. Ghosh and V. Wuvongse. Computational Situation Theory in the Conceptual Graph Language. In Proceedings of ICCS’96, Lecture Notes in AI. Springer, 1996.

4. M-L. Mugnier and M. Chein. Représenter des connaissances et raisonner avec des graphes. Revue d’Intelligence Artificielle, 10–1:7–56, 1996.

5. E. Salvat. Raisonner avec des opérations de graphes: graphes conceptuels et règies d’inférence. PhD thesis, Université de Montpellier II, 1997.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Advent of Formal Diagrammatic Reasoning Systems;Formal Concept Analysis;2009

2. Extending the CG Model by Simulations;Lecture Notes in Computer Science;2000

3. Knowledge Representation and Reasonings Based on Graph Homomorphism;Lecture Notes in Computer Science;2000

4. A Pure Graph-Based Solution to the SCG-1 Initiative;Conceptual Structures: Standards and Practices;1999