| 1995 | Semantical Properties of SLD-Resolution with Reflection. | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone |
| 1995 | Modeling OR-Parallel Execution of Prolog using CHOCS. | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone |
| 1994 | On the Scheme of Passing Arguments in Stack Frames for Prolog. | Neng-Fa Zhou |
| 1994 | Logic Programming as Quantum Measurement. | Roman R. Zapatrin |
| 1994 | Abstracting Synchronization in Concurrent Constraint Programming. | Enea Zaffanella, Giorgio Levi, Roberto Giacobazzi |
| 1994 | Representation of Legal Knowledge by Compound Predicate Formula. | Hajime Yoshino |
| 1994 | Deontic and Diagnostic Reasoning. | Yao-Hua Tan, Leendert W. N. van der Torre |
| 1994 | Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. | Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro |
| 1994 | Cover Page, Preface, and Table of Contents. | |
| 1994 | Towards the Verification of Concurrent Constaint Programs in the Field of Finite Domain Reasoning. | Jrg Wrtz |
| 1994 | Constraint Logic Programs with Declarations: Theory and Implementation. | Eric Vtillard |
| 1994 | Automatic Generation of Temporal Relations in a Legal Case. | Satoshi Tojo, Katsumi Nitta |
| 1994 | An Intelligent LOTOS interpreter in AMLOG. | Atsushi Togashi, Glenn Mansfield, Norio Shiratori |
| 1994 | Representing Actions in Equational Logic Programming. | Michael Thielscher |
| 1994 | Textual Tree Trace Notation for Prolog: an Overview. | C. N. Taylor, J. B. H. du Boulay, Mukesh J. Patel |
| 1994 | Design of a Resolution Multiprocessor for the Parallel Virtual Machine. | Hamish Taylor |
| 1994 | A Typed Functional Language Based on Sequent Calculus. | M. Tarver |
| 1994 | Language Embedding by Dual Compilation and State Mirroring. | Paul Tarau, Bart Demoen |
| 1994 | Modelling the Connection Machine 2 as an Emulator of Subset-Based Declarative Languages. | Giancarlo Succi, Giuseppe Marino, Giancarlo Colla |
| 1994 | Computing Stable Models by Program Transformation. | Jrgen Stuber |
| 1994 | Z Specifications: Syntactic Sugar for Prolog. | Leon Sterling |
| 1994 | An SLOU Prolog Interpreter. | I. Stephan |
| 1994 | "I Want to Correct the Program" Teaching Prolog-debugging. | Teresa Del Soldato |
| 1994 | Modeling Backtracking, Disjunctive Constraints, and Control/Data Or-Parallelism. | Donald A. Smith |
| 1994 | Logic, Algebra and Static Analysis in DM Systems, the IE Way. | Esther D. Silcrat |