Proceedings of the 5th International Joint Conference on Artificial Intelligence IJCAI-77, MIT, Cambridge, Mass., August, 1977

• Bobrow, Daniel., Terry Winograd, and the KRL resea (1977) Bobrow, Daniel., Terry Winograd, and the KRL research group, "Experience with KRL-0: One Cycle of a Knowledge Representation Language", pp213-222
• Forgy, C.L. and McDermott, J. (1977) Forgy, C.L. and McDermott, J. "OPS, A Domain-Independent Production System"
• Genesereth, Michael R. (1977) Genesereth, Michael R. "An Automated Consultant for MACSYMA" p789
• Hayes, P. J. (1977) Hayes, P. J. "In Defence of Logic," pp559­-565
• Lozano-Perez, T, Winston, P. (1977) Lozano-Perez, T, Winston, P. "LAMA: Language for Automatic Mechanical Assembly"
• Martin N., Friedland P., King J., Stefik M., (1977) Martin N., Friedland P., King J., Stefik M., "Knowledge Base Management for Experiment Planning" pp. 882-887
• Pople (1977) Pople, H. E. "The Formation of Composite Hypotheses in Diagnostic Problem-solving: An Exercise in Synthetic Reasoning"
• Pople et al (1977) Pople, H. E., Myers, J.D. and Miller, R.A. "DIALOG: a model of diagnostic logic for internal medicine"
• Sridharan (1977) Sridharan. N.S., "A Frame Based System for Reasoning About Actions"
• Travis, Larry; Honda, M.; LeBlanc, R.; Ziegler, S. (1977) Travis, Larry; Honda, M.; LeBlanc, R.; Ziegler, S. "TELOS, A Language for Building Well-Structured AI Models" p917
• [Bobrow, Daniel G.] A Panel On Knowledge Repres (1980) [Bobrow, Daniel G.] A Panel On Knowledge Representation chaired by Daniel G. Bobrow
  Bobrow, Daniel G. (1980)Bobrow, Daniel G. "KRL, A Knowledge Representation Language"
  Martin, William A. (1980)Martin, William A. "OWL"
  Newell, Allen (1980)Newell, Allen "Knowledge Representation Aspects of Production Systems"
  Schank, Roger (1980)Schank, Roger "Conceptual Dependency, and Knowledge Structures"
  Smith, Brian C. (1980)Smith, Brian C. "Knowledge Representation Semantics"
  Sridharan N.S., (1977)Sridharan N.S., "Knowledge representation in AIMDS and its use in BELIEVER" pp990