| 1988 | Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes). | Yves Moinard |
| 1988 | Assertive Demons. | Jonathan Wayne Mills, Kevin A. Buettner |
| 1988 | Improving First-Class Array Expressions Using Prolog. | Carl McCrosky, Anthony J. Kusalik |
| 1988 | Bottom-up Abstract Interpretation of Logic Programs. | Kim Marriott, Harald Sndergaard |
| 1988 | Most Specific Logic Programs. | Kim Marriott, Lee Naish, Jean-Louis Lassez |
| 1988 | An Algebra of Logic Programs. | Paolo Mancarella, Dino Pedreschi |
| 1988 | Weak Completion Theory for Non-Horn Programs. | Jorge Lobo, Jack Minker, Arcot Rajasekar |
| 1988 | AND-Parallel Execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results. | Yow-Jian Lin, Vipin Kumar |
| 1988 | Abstract Algorithmic Debugging. | Yossi Lichtenstein, Ehud Shapiro |
| 1988 | Models, Unfolding Rules and Fixpoint Semantics. | Giorgio Levi |
| 1988 | Implicit Definition of Logic Programs. | Chor Sang Kwok, Marek J. Sergot |
| 1988 | Instruction Architecture for a High Performance Integrated Prolog Processor IPP. | Ken-ichi Kurosawa, S. Yamaguchi, Shigeo Abe, Tadaaki Bandoh |
| 1988 | Some Remarks on the Completed Database. | Kenneth Kunen |
| 1988 | Macro Processing in Prolog. | Sei-Ichi Kondoh, Takashi Chikayama |
| 1988 | Compile Time Garbage Collection for Ground Prolog. | Feliks Kluzniak |
| 1988 | A Decision Tree Compilation Algorithm for FCP(!, : , ?). | Shmuel Kliger, Ehud Shapiro |
| 1988 | Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases. | David B. Kemp, Rodney W. Topor |
| 1988 | Algorithmic Complexity of Logic Programs. | S. Kaplan |
| 1988 | A Memory Organization Independent Binding Environment for AND and OR Parallel Execution of Logic Programs. | Laxmikant V. Kal, R. Ramkumar, Wei Wennie Shu |
| 1988 | Subset-Logic Programming: Application and Implementation. | Bharat Jayaraman, Anil Nair |
| 1988 | Improving the Register Allocation of WAM by Recording Unification. | Gerda Janssens, Bart Demoen, Andr Marin |
| 1988 | A CLP(R) Options Trading Analysis System. | Tien Huynh, Catherine Lassez |
| 1988 | From Paramodulation to Narrowing. | Steffen Hlldobler |
| 1988 | OR-Parallel Speed-Up in Natural Language Processing: A Case Study. | Lynette Hirschman, William C. Hopkins, Robert C. Smith |
| 1988 | A Compiler and Semantic Analyzer Based on Categorial Grammar. | David Hemmendinger |