| 1994 | Executable requirements Specifications in a Logic Specification Language SPILL-2. | Feliks Kluzniak, Miroslawa Milkowska |
| 1994 | Constraint Solving by Narrowing in Combined Algebraic Domains. | Hlne Kirchner, Christophe Ringeissen |
| 1994 | Depth-k Sharing and Freeness. | Andy King, Paul Soper |
| 1994 | Reynold and Heyling Models of Logic Programs. | R. S. Kemp, Graem A. Ringwood |
| 1994 | The Acceptability Semantics for Logic Programs. | Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung |
| 1994 | Abduction and Abductive Logic Programming. | Antonis C. Kakas, Paolo Mancarella |
| 1994 | A Dataflow Analysis Method for Ground Prolog. | Andreas Kgedal |
| 1994 | A Prolog based Semantics of a Dedicated Process Modeling Language. | Gerald Junkermann |
| 1994 | Ambivalent Logic as the Semantic Basis of Metalogic Programming. | Yuejun Jiang |
| 1994 | Implementation of Andorra-based Languages. | Sverker Janson |
| 1994 | Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics. | Jean-Marie Jacquet, Lus Monteiro |
| 1994 | PP-clauses: A Means for Handling Resources. | Jean-Marie Jacquet, Lus Monteiro |
| 1994 | Verifying Logic Programs from Metric Semantics. | Jean-Marie Jacquet |
| 1994 | Constraints that Assist in the Teaching of Logic Programming. | Jeanne Idt, Michel Levy, Laurent Trilling |
| 1994 | A Database Interface for Complex Objects. | Marcel Holsheimer, Rolf A. de By, Hassan At-Kaci |
| 1994 | A Note on Data-Parallelism and (And-Parallel) Prolog. | Manuel V. Hermenegildo, Manuel Carro |
| 1994 | Native Code Compilation in SICStus Prolog. | Ralph Clarke Haygood |
| 1994 | Partial Inductive Definitions (Tutorial). | Lars Hallns, Per Kreuger |
| 1994 | ACE: And/Or-parallel Copying-based Execution of Logic Programs. | Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vtor Santos Costa |
| 1994 | Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator. | Alessio Guglielmi |
| 1994 | Efficient Integration of Declarative Paradigms into Symbolic Computation Systems. | Georgios Grivas |
| 1994 | Inductive Inference of Regular Grammars Using Recurrent Networks: A Critical Analysis. | Marco Gori, Paolo Frasconi, Marco Maggini, Giovanni Soda |
| 1994 | Logic Programming with Constructor-based Type Constraints. | Hans-Joachim Goltz |
| 1994 | On the Collecting Semantics for Logic Programs. | Roberto Giacobazzi |
| 1994 | A Type Based Debugging Tool for Untyped Logic Languages. | Ulrich Geske, Mario Lenz |