CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Knowledge Representation


   doc/       Knowledge Representation Information Files
   systems/   Knowledge Representation Software Packages
This directory contains software and materials concerning knowledge representation and related topics, such as Semantic Nets, Frames, and KL-One.
References: Hector J. Levesque, "Knowledge Representation and Reasoning", Annual Review of Computer Science 1:255-287, 1986. Ronald J. Brachman, "The Future of Knowledge Representation", in Proceedings of the Eighth National Conference on Artificial Intelligence, 1990. Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, editors, "Knowledge Representation", MIT Press, 1992, 416 pages. ISBN 0-262-52168-7, $30. Nick Cercone and Gordon McCalla, editors, "The Knowledge Frontier: Essays in the Representation of Knowledge", Springer-Verlag, New York, 1987. 512 pages, $40.00, ISBN 0-38796-557-2. (This is the much revised version of a special issue of COMPUTER on KR.) Brachman, Ronald J., Levesque, Hector J. and Reiter, Ray, editors, Special Volume on Knowledge Representation, Artificial Intelligence 49(1-3), January, 1991. Brachman, Ronald J. and Levesque, Hector J., editors, "Readings in Knowledge Representation", Morgan Kaufmann Publishers, 1985. See also the proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, (KR-89, KR-91, KR-92, and KR-94), all of which were published by Morgan Kaufmann. Ronald J. Brachman and James G. Schmolze, "An overview of the KL-ONE knowledge representation system", Cognitive Science, 9:171-216, 1985. Allen Newell, "The Knowledge Level", Artificial Intelligence, 18:87-127, 1982. Allen Newell and Herb Simon, "Computer Science as Empirical Enquiry: Symbols and Search", Communications of the ACM, 19(3):113-126, 1976. Ronald J. Brachman, " ``I lied about the trees'', or, defaults and definitions in knowledge representation", AI Magazine 6(3):80-93, 1985. Bernhard Nebel and Gert Smolka, "Attributive Description Formalisms ... and the Rest of the World", in Otthein Herzog and Claus-Rainer Rollinger, editors, Text Understanding in LILOG, Springer Verlag, Lecture Notes in Artificial Intelligence #546, pages 439-452, 1991. [Theoretical results in the area of description logics.] James G. Schmolze and William A. Woods, "The KL-ONE Family", in F. Lehmann, editor, Semantic Networks in Artificial Intelligence, Pergamon Press, 1992. [History of description logics (KL-ONE style systems).] W.A. Woods, "What's in a link: Foundations for semantic networks", In D.G. Bobrow & A. Collins (Eds.), "Representation and Understanding", Academic Press, New York, 1975. Reprinted in "Readings in Cognitive Science", Collins & Smith (eds.), section 2.2. Fritz Lehmann, Editor, "Semantic Networks in Artificial Intelligence", Pergamon Press, Oxford, 1992. (Appeared as a double special issue of Computers and Mathematics with Applications 23(2-9), 1992.) John Sowa, Editor, "Principles of Semantic Networks", Morgan Kaufmann, San Mateo, CA, 1991. CD-ROM: Prime Time Freeware for AI, Issue 1-1 Keywords: AI Software Packages, Knowledge Representation, Software Packages
Last Web update on Mon Feb 13 10:24:12 1995