| 1 | -- | 7 | James F. Allen. The RHET System |
| 8 | -- | 14 | Franz Baader, Bernhard Hollunder. KRIS: Knowledge Representation and Inference System |
| 15 | -- | 21 | Samuel Bayer, Marc B. Vilain. The Relation-Based Knowledge Representation of King Kong |
| 22 | -- | 27 | Toni Bollinger, Udo Pletat. The LILOG Knowledge Representation System |
| 28 | -- | 34 | Seng-cho Timothy Chou, Marianne Winslett. The Implementation of a Model-based Belief Revision System |
| 35 | -- | 44 | James M. Crawford, Benjamin Kuipers. Algernon - A Tractable System for Knowledge-Representation |
| 45 | -- | 56 | Brian R. Gaines. Empirical Investigation of Knowledge Representation Servers: Design Issues and Applications Experience with KRS |
| 57 | -- | 60 | Matthew L. Ginsberg. The MVL Theorem Proving System |
| 61 | -- | 69 | Nicola Guarino. A Concise Presentation if ITL |
| 70 | -- | 76 | Alfred Kobsa. First Experiences with the SB-ONE Knowledge Representation Workbench in Natural-Language Applications |
| 77 | -- | 83 | Bryan M. Kramer, Vinay K. Chaudhri, Manolis Koubarakis, Thodoros Topaloglou, Huaiqing Wang, John Mylopoulos. Implementing Telos |
| 84 | -- | 87 | Douglas B. Lenat, Ramanathan V. Guha. The Evolution of CycL, The Cyc Representation Language |
| 88 | -- | 92 | Robert M. MacGregor. Inside the LOOM Description Classifier |
| 93 | -- | 97 | Eric Mays, Robert Dionne, Robert A. Weida. K-Rep System Overview |
| 98 | -- | 100 | David A. McAllester. Socratic Sequent Systems |
| 101 | -- | 107 | Robert Nado, Jeffrey Van Baalen, Richard Fikes. JOSIE: An Integration of Specialized Representation and Reasoning Tools |
| 108 | -- | 113 | Peter F. Patel-Schneider, Deborah L. McGuinness, Alexander Borgida. The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale |
| 114 | -- | 119 | Christof Peltason. The BACK System - An Overview |
| 120 | -- | 127 | Charles Rich. CAKE: An Implemented Hybrid Knowledge Representation and Limited Reasoning System |
| 128 | -- | 134 | Stuart C. Shapiro. Case Studies of SNePS |
| 135 | -- | 142 | Howard E. Shrobe. Providing Paradigm Orientation without Implementational Handcuffs |
| 143 | -- | 151 | Narinder Singh, Michael R. Genesereth. Epikit: A Library of Subroutines Supporting Declarative Representations and Reasoning |