| 1997 | A Strong Correspondence between Description Logics and Open Logic Programming. | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
| 1997 | Calculi for Disjunctive Logic Programming. | Peter Baumgartner, Ulrich Furbach |
| 1997 | Parallel Evaluation Strategies for Functional Logic Languages. | Sergio Antoy, Rachid Echahed, Michael Hanus |
| 1997 | A Modular Framework for the Combination of Unification and Built-In Constraints. | Farid Ajili, Claude Kirchner |
| 1996 | Adding Flexibility to Query Evaluation for Modularly Stratified Databases. | Ulrich Zukowski, Burkhard Freitag |
| 1996 | A Novel Implementation Method of Delay. | Neng-Fa Zhou |
| 1996 | PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). | Gerhard Wetzel, Robert A. Kowalski, Francesca Toni |
| 1996 | A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs. | Michael Thielscher |
| 1996 | Type Synthesis for Logic Programs. | Jichang Tan, I-Peng Lin |
| 1996 | Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract). | Naoyuki Tamura, Yukio Kaneda |
| 1996 | Initial Results of the Parallel Implementation of DASWAM. | Kish Shen |
| 1996 | Attempto Controlled English (ACE) A Seemingly Informal Bridgehead in Formal Territory (Poster Abstract). | Rolf Schwitter, Norbert E. Fuchs |
| 1996 | Representing Priorities in Logic Programs. | Chiaki Sakama, Katsumi Inoue |
| 1996 | An Abstract Machine for Computing the Well-Founded Semantics. | Konstantinos Sagonas, Terrance Swift, David Scott Warren |
| 1996 | Engineering Transformations of Attributed Grammars in LambdaProlog. | Olivier Ridoux |
| 1996 | CLP(Rlin) Revised. | Philippe Refalo, Pascal Van Hentenryck |
| 1996 | A Thread in Time Saves Tabling Time. | Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 1996 | Completeness Results for Basic Narrowing in Non-Copying Implementations. | M. R. K. Krishna Rao |
| 1996 | Constraint Programming (Abstract). | Jean-Francois Puget |
| 1996 | Logic Programs with Contested Information. | Shekhar Pradhan |
| 1996 | Dependent And-Parallelism Revisited (Poster Abstract). | Enrico Pontelli, Gopal Gupta |
| 1996 | How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract). | Alberto Pettorossi, Maurizio Proietti, Sophie Renault |
| 1996 | Efficient Implementation of the Well-founded and Stable Model Semantics. | Ilkka Niemel, Patrik Simons |
| 1996 | Probabilistic Disjunctive Deductive Databases (Poster Abstract). | Liem Ngo |
| 1996 | GUPU: A Prolog Course Environment and its Programming Methodology (Poster Abstract). | Ulrich Neumerkel |