| 1987 | Circumscription as Introspection. | Donald Perlis |
| 1987 | A Methodology for Dynamic Task Allocation in a Man-Machine System. | Lynne E. Parker, Franois G. Pin |
| 1987 | Knowledge and the Problem of Logical Omniscience. | Rohit Parikh |
| 1987 | Relating Boltzmann Machines to Conventional Models of Computation. | Ian Parberry, Georg Schnitger |
| 1987 | Towards the Design of a Knowledge Based System for Hypercarbon Play Analysis. | Miao-Li Pai, Gautam Biswas, Christopher G. St. C. Kendall, James C. Bezdek |
| 1987 | Knowledge Acquisition and Metaprepresentation: Attribute Autopoiesis. | Ephraim Nissan |
| 1987 | An Experimental Implementation of a Compiler for Two-Level Grammars. | Torbjrn Nnd |
| 1987 | A Concept Version. | Sung-Hyon Myaeng, Robert R. Korfhage |
| 1987 | Inferencing on an Arbitrary Set of Links. | Neil V. Murray, Erik Rosenthal |
| 1987 | Deductive Databases: An Overview of Some Alternative Theories. | Jack Minker |
| 1987 | Classical Conditioning as an Example of Natural Models Useful in Machine Learning. | William W. McMillan |
| 1987 | Abstract Inference Structures to Support Variable Rule Structures for Expert Systems. | Lawrence J. Mazlack |
| 1987 | A Uniform Architecture for Rule-based Meta Reasoning and Representation. | Anthony S. Maida |
| 1987 | Applying an Extended Relational Model to Indefinite Deductive Databases. | Ken-Chih Liu, Rajshekhar Sunderraman |
| 1987 | A Model-Based Intelligent Tutoring System for Power Distribution Systems. | Xiaofeng Li, Jeffrey R. Cantwell, John R. Bourne, Kazuhiko Kawamura, Charles K. Kinzer, Nobuji Miyasaka |
| 1987 | Formal Treatment of Incomplete Information in Type Data Bases. | Maurizio Lenzerini |
| 1987 | Stratified Interactive Knowledge Bases. | Catherine Lassez, Ken McAloon |
| 1987 | Rule-Discovery from Examples Using a Combination of Syntactic and Semantic Information. | Sukhamay Kundu |
| 1987 | A New Approach to Knowledge Base Management Systems. | Hidefumi Kondo, Takuo Koguchi |
| 1987 | On the Mechniszation of Programmer's Knowledge. | Henryk Jan Komorowski |
| 1987 | Generating Qualitative Representations of Continuous Physical Processes. | Mieczyslaw M. Kokar |
| 1987 | On Transformation Properties of Conceptual Structures. | Eld Knuth, Jnos Demetrovics, gnes Herndi |
| 1987 | Frame and Inheritance Systems. | Minkoo Kim, Anthony S. Maida |
| 1987 | Human-Computer Interaction in the Game of Go. | Anders Kierulf |
| 1987 | Investigating Logical Properties of the Rule-Based Expert Systems Using Combinatorial and Geometrical Techniques I. | Jerzy W. Jaromczyk, V. Wiktor Marek |