| 1988 | Uses of Higher-Order Unification for Implementing Program Transformers. | John Hannan, Dale Miller |
| 1988 | Lazy Reference Counting: An Incremental Garbage Collection Method for Parallel Inference Machines. | Atsuhiro Goto, Yasunori Kimura, T. Nakagawa, Takashi Chikayama |
| 1988 | Gauge: A Workbench for the Performance Analysis of Logic Programs. | Michael M. Gorlick, Carl Kesselman |
| 1988 | The Stable Model Semantics for Logic Programming. | Michael Gelfond, Vladimir Lifschitz |
| 1988 | Rewriting in Order-sorted Equational Logic. | Jean H. Gallier, Toms Isakowitz |
| 1988 | Partial Evaluation of GHC Programs Based on the UR-set with Constraints. | Hiroshi Fujita, Akira Okumura, Koichi Furukawa |
| 1988 | Equivalence-Preserving Transformations of Inductive Properties of Prolog Programs. | Laurent Fribourg |
| 1988 | Deduced Relevant Types and Constructive Negation. | Norman Y. Foo, Anand S. Rao, Andrew Taylor, Adrian Walker |
| 1988 | Stratified and Three-valued Logic Programming Semantics. | Melvin Fitting, Marion Ben-Jacob |
| 1988 | A New Declarative Semantics for Logic Languages. | Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi |
| 1988 | Abductive Planning with Event Calculus. | Kave Eshghi |
| 1988 | Conditional Answers for Polymorphic Type Inference. | Maarten H. van Emden |
| 1988 | Automated Inductive Reasoning about Logic Programs. | Charles Elkan, David A. McAllester |
| 1988 | SAME - A Structured Analysis Tool and its Implementation in Prolog. | Thomas W. G. Docker |
| 1988 | Solving a Cutting-Stock Problem in Constraint Logic Programming. | Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck |
| 1988 | Static Analysis of Parallel Logic Programs. | Saumya K. Debray |
| 1988 | Representing Linguistic Knowledge through Logic Programming. | Vernica Dahl |
| 1988 | Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment. | Patrizia Coscia, Paola Franceschi, Giorgio Levi, Giuseppe Sardu, Luigia Torre |
| 1988 | Logical Objects. | John S. Conery |
| 1988 | Yet Another Intelligent Backtracking Method. | Christian Codognet, Philippe Codognet, Gilberto Fil |
| 1988 | SWIFT: A New Symbolic Processor. | D. A. Chu, F. G. McCabe |
| 1988 | Objects as Intensions. | Weidong Chen, David Scott Warren |
| 1988 | Constructive Negation Based on the Completed Database. | David Chan |
| 1988 | A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment. | Mats Carlsson, Kenneth J. Danhof, Ross A. Overbeek |
| 1988 | Scheduling OR-Parallelism: An Argonne Perspective. | Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens |