References

[Bobrow88] Bobrow, D. and Kiczales, G. The Common Lisp Object System metaobject kernel: A status report. In Proceedings of the 1988 ACM Conference on Lisp and Functional Programming. ACM SIGART. pp 309-315.

[Brachman77] Brachman, R. What's in a concept. Int. J. Man-Machine Studies. Volume 9, 1977. pp 127-152.

[Brachman79] Brachman, R. and Levesque, H. On The Epistemological Status of Semantic Networks. In Brachman, R. and Levesque, H., eds.,Readings in Knowledge Representation, pp 169-189. Morgan Kaufman, 1985.

[Brachman83] Brachman, R. What is-a is and isn't. IEEE Computer. October, 1983. pp 30-36.

[Brachman85] Brachman, R. and Schmolze, J. An overview of the KL-ONE Knowledge Representation System. Cognitive Science. Volume 9, pp 171-216. 1985.

[Brachman89] Brachman, R, Borgida, A., McGuinness, D., and Resnick, L. The CLASSIC Knowledge Representation System. In Proceedings of the 11th IJCAI. August, 1989.

[Carnap47] Carnap, R. Meaning and Necessity. U. of Chicago Press, 1947.

[Carnap61] Carnap, R. Introduction to Semantics and Formalization of Logic. Harvard University Press, 1961.

[Fox79] Fox, M. On Inheritance in Knowledge Representation. CMU Robotics Institute Technical Report number CMU-RI-79024. 1979.

[Fox85] Fox, M., Wright, J., and Adam, D. Experiences with SRL. In Expert Database Systems. Benjamin Cummings. 1985.

[Gödel31] Gödel, K. Über Formal Unentscheidbare Sätze der Principia Mathematica und Verwandter Systeme I. Monatshefte für Mathematik und Physik, Volume 38, pp 173-198. 1931.

[Goldberg83] Goldberg, A. and Robson, D. Smalltalk-80: The Language and its Implementation.Addison-Wesley. 1983.

[Maida82] Maida, A. and Shapiro, S. Intensional Concepts in Propositional Semantic Networks. In Brachman, R. and Levesque, H., eds.,Readings in Knowledge Representation, pp 169-189. Morgan Kaufman, 1985.

[Patil92] Patil, R., Fikes, R., Patel-Schneider, P., Mckay, D., Finin, T., Gruber, T., and Neches, R. The DARPA Knowledge Sharing Effort: Progress Report. In Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann. 1992.

[Quine64] Quine, W. From a logical point of view. Harvard University Press, 1964.

[Quine69] Quine, W. Ontological Relativity and Other Essays. Columbia University Press. 1969.

[Shapiro87] Shapiro, S. and Rappaport, W. SNePS considered as a fully intensional propositional semantic network. In Cercone, N., and McCalla, G., eds., The Knowledge Frontier. pp 262-315. Springer-Verlag, 1987.

[Welty93] Welty, C. An Integrated Representation for Software Development and Discovery. RPI Computer Science Tech Rpt. July, 1993.

[Woods75] Woods, W. What's in a Link. In Brachman, R. and Levesque, H., eds.,Readings in Knowledge Representation, pp 217-241. Morgan Kaufman, 1985.

What's in an Instance? - 01 MAY 95

[Next] [Previous] [Top]

Generated with CERN WebMaker