Practical, object-based knowledge representation for knowledge-based systems
暂无分享,去创建一个
[1] Alan M. Frisch. Inference without Chaining , 1987, IJCAI.
[2] Alan M. Frisch. Using Model Theory to Specify AI Programs , 1985, IJCAI.
[3] Robert C. Moore. The Role of Logic in Knowledge Representation and Commonsense Reasoning , 1982, AAAI.
[4] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[5] PETER F. PATEL-SCHNEIDER,et al. A hybrid, decidable, logic‐based knowledge representation system 1 , 1987, Comput. Intell..
[6] Hector J. Levesque,et al. Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..
[7] Peter F. Patel-Schneider,et al. A Four-Valued Semantics for Terminological Logics , 1989, Artif. Intell..
[8] Daniel G. Bobrow,et al. Common lisp object system specification , 1988, SIGP.
[9] Ronald J. Brachman,et al. An overview of the KL-ONE Knowledge Representation System , 1985 .
[10] Hector J. Levesque,et al. Krypton: A Functional Approach to Knowledge Representation , 1983, Computer.
[11] Thomas Kaczmarek,et al. Recent Developments in NIKL , 1986, AAAI.
[12] Bernhard Nebel,et al. Computational Complexity of Terminological Reasoning in BACK , 1988, Artif. Intell..
[13] John Yen,et al. The Knowledge Representation Project , 1989 .
[14] Manfred Schmidt-Schaubß,et al. Subsumption in KL-ONE is undecidable , 1989, KR 1989.
[15] Peter F. Patel-Schneider,et al. Undecidability of Subsumption in NIKL , 1989, Artif. Intell..
[16] Robert M. MacGregor,et al. The Loom Knowledge Representation Language. , 1987 .
[17] P. Patel-Schneider. Small can be beautiful in knowledge representation , 1984 .
[18] Herbert B. Enderton,et al. A mathematical introduction to logic , 1972 .
[19] Timothy W. Finin,et al. Interactive classification: A technique for acquiring and maintaining knowledge bases , 1984, Proceedings of the IEEE.
[20] John Yen,et al. Classification-Based Programming: A Deep Integration of Frames and Rules , 1989 .
[21] Nuel D. Belnap,et al. How a Computer Should Think , 2019, New Essays on Belnap-Dunn Logic.