Knowledge Representation through Coherence Spaces - A Theoretical Framework for the Integration of Knowledge Representations
暂无分享,去创建一个
Marco Romano | V. Michele Abrusci | Christophe Fouqueré | V. M. Abrusci | Marco Romano | C. Fouqueré
[1] James A. Hendler,et al. The Semantic Web" in Scientific American , 2001 .
[2] J. Girard,et al. Proofs and types , 1989 .
[3] Thomas Ehrhard,et al. Linear logic in computer science , 2004 .
[4] Patrick Lincoln,et al. Linear logic , 1992, SIGA.
[5] Diego Calvanese,et al. The description logic handbook: theory , 2003 .
[6] Thomas R. Gruber,et al. Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..