Node Subsumption in a Propositional Semantic Network with Structured Variables
暂无分享,去创建一个
[1] Ronald J. Brachman,et al. An overview of the KL-ONE Knowledge Representation System , 1985 .
[2] Peter H. Schmitt,et al. An Order-Sorted Logic for Knowledge Representation Systems , 1992, Artif. Intell..
[3] William A. Woods,et al. Understanding Subsumption and Taxonomy: A Framework for Progress , 1991, Principles of Semantic Networks.
[4] Stuart C. Shapiro,et al. Natural language processing using a propositional semantic network with structured variables , 1993, Minds and Machines.
[5] Hector J. Levesque,et al. An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON , 1985, IJCAI.
[6] S.C. Shapiro. Symmetric relations, intensional individuals, and variable binding , 1986, Proceedings of the IEEE.
[7] Stuart C. Shapiro,et al. Cables, Paths, and "Subconscious" Reasoning in Propositional Semantic Networks , 1991, Principles of Semantic Networks.
[8] Stuart C. Shapiro,et al. SNePS Considered as a Fully Intensional Propositional Semantic Network , 1986, AAAI.