| 1994 | A Poor Man's Co-ordination of Prolog: COPr. | David Moffat |
| 1994 | Logic Programs with Refutation Rules. | Marion Mircheva |
| 1994 | Design and Implementation of a Declarative Data-Parallel Language. | Olivier Michel, Jean-Louis Giavitto |
| 1994 | Modalities over Action, I. Model Theory. | L. Thorne McCarty |
| 1994 | Language Independence and Language Tolerance in Logic Programs. | Norman McCain, Hudson Turner |
| 1994 | Total correctness of logic and pure Prolog programs. | Paolo Mascellani, Dino Pedreschi |
| 1994 | Complexity and Consistency in Probabilistic Reasoning. | Laura Martignon, Hermann von Hasseln |
| 1994 | Semantics of Constraint Logic Programs with Optimization. | Kim Marriott, Peter J. Stuckey |
| 1994 | The Use of Different Representation Technique in Validation & Verification of Legal KB-System. | Marnix C. M. Weusten |
| 1994 | Automatic Generation of Graphical Interfaces in an Object-Logic Programming Environment. | Bernardo Lula Jr., Eugne Chouraqui, Hlio de Menezes Silva |
| 1994 | Process Semantics for Resolution. | A. Lopes, Jos Flix Costa, Danilo Montesi |
| 1994 | Resolution-Based Inference with Artificial Neural Networks. | Priscila Machado Vieira Lima |
| 1994 | Splitting a Logic Program. | Vladimir Lifschitz, Hudson Turner |
| 1994 | Prolog Support Tools for Learning AI Concepts. | Brian Lees |
| 1994 | Visualization and Interaction in Logic Programming. | Jos Paulo Leal |
| 1994 | Computing Annotated Logic Programs. | Sonia M. Leach, James J. Lu |
| 1994 | A Tutorial on Synthesis of Logic Programs from Specifications. | Kung-Kiu Lau, Geraint A. Wiggins |
| 1994 | The Halting Problem for Deductive Synthesis of Logic Programs. | Kung-Kiu Lau, Mario Ornaghi, Sten-ke Trnlund |
| 1994 | Lazy Funtional State Threads: An Abstract. | John Launchbury, Simon L. Peyton Jones |
| 1994 | Modularity in Logic Programming. | Evelina Lamma, Paola Mello |
| 1994 | Pandora: a Temporal Logic Based Process Engine. | Patricia Lago, Giovanni Malnati |
| 1994 | Why neural networks? | Franz J. Kurfess |
| 1994 | A New Transformation based on Process-Message Duality for Concurrent Logic Languages. | Kouichi Kumon, Keiji Hirata |
| 1994 | A-Sufficient Substitutions in mixed Contents. | Per Kreuger |
| 1994 | An abstract argumentation-theoretic framework for non-monotonic reasoning (joint work with Bondaranko, Dung, and Toni). | Bob Kowalski |