CMU Artificial Intelligence Repository
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,
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
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
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,
Allen Newell, "The Knowledge Level", Artificial Intelligence,
Allen Newell and Herb Simon, "Computer Science as Empirical
Enquiry: Symbols and Search", Communications of the ACM,
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
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
AI Software Packages, Knowledge Representation,
Last Web update on Mon Feb 13 10:24:12 1995