[3] Knowledge Representation

[Several papers in "Readings in Artificial Intelligence" are relevant,
including S. Amarel "On Representations of Problems on Reasoning about
Actions" and P.J. Hayes "The Frame Problem and Related Problems in AI".]
 
Overviews/Surveys:

   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. 

Paper Collections:

   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.

Papers: 

   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.

Semantic Networks:

   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.