A Four-Valued Semantics for Frame-Based Description Languages
暂无分享,去创建一个
[1] Hector J. Levesque,et al. The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.
[2] Hector J. Levesque,et al. Krypton: A Functional Approach to Knowledge Representation , 1983, Computer.
[3] Hector J. Levesque,et al. An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON , 1985, IJCAI.
[4] P. Patel-Schneider. Small can be beautiful in knowledge representation , 1984 .
[5] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[6] Alan M. Frisch. Using Model Theory to Specify AI Programs , 1985, IJCAI.
[7] Ronald J. Brachman,et al. An overview of the KL-ONE Knowledge Representation System , 1985 .