| 1994 | A Basis for a Multi-Level Meta-Logic Programming Language. Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua |
| 1994 | A Model of Costs and Benefits of Meta-Level Computation. Frank van Harmelen |
| 1994 | A Module System for Meta-Programming. Patricia M. Hill |
| 1994 | A Transformation System for Definite Programs Based on Termination Analysis. J. Cook, John P. Gallagher |
| 1994 | Abstract Debugging of Logic Program. Marco Comini, Giorgio Levi, Giuliana Vitiello |
| 1994 | An Architecture with Multiple Meta-Levels for the Development of Correct Programs. Barbara Dunin-Keplicz |
| 1994 | An Extended Transformation System for CLP Programs. Nacéra Bensaou, Irène Guessarian |
| 1994 | Avoiding Non-Termination when Learning Logical Programs: A Case Study with FOIL and FOCL. Giovanni Semeraro, Floriana Esposito, Donato Malerba, Clifford Brunk, Michael J. Pazzani |
| 1994 | Building Proofs in Context. Giuseppe Attardi, Maria Simi |
| 1994 | Formal Semantics of Temporal Epistemic Reflection. Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur |
| 1994 | Generalizing Extended Execution for Normal Programs. Sophie Renault |
| 1994 | Gödel as a Meta-Language for Composing Logic Programs. Antonio Brogi, Simone Contiero |
| 1994 | Improving the Whelk System: A Type-Theoretic Reconstruction. Geraint A. Wiggins |
| 1994 | Introspective Metatheoretic Reasoning. Fausto Giunchiglia, Alessandro Cimatti |
| 1994 | Logic Frameworks for Logic Programs. David A. Basin |
| 1994 | Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings Laurent Fribourg, Franco Turini |
| 1994 | Logic Programming and Logic Grammars with First-Order Continuations. Paul Tarau, Verónica Dahl |
| 1994 | Logic Programs with Tests. Marion Mircheva |
| 1994 | More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. Annalisa Bossi, Sandro Etalle |
| 1994 | On Specification Frameworks and Deductive Synthesis of Logic Programs. Kung-Kiu Lau, Mario Ornaghi |
| 1994 | On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects. Pierre Flener, Lubos Popelínský |
| 1994 | Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. Chiaki Sakama, Hirohisa Seki |
| 1994 | Partial Evaluation of the "Real Thing". Michael Leuschel |
| 1994 | Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems. Christine Solnon, Michel Rueher |
| 1994 | Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types. Emmanuil I. Marakakis, John P. Gallagher |
| 1994 | Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning. Jan Treur |
| 1994 | Transforming Specifications of Observable Behaviour into Programs. David R. Gilbert, Christopher J. Hogger, Jirí Zlatuska |
| 1994 | Using Call/Exit Analysis for Logic Program Transformation. Dmitri Boulanger, Maurice Bruynooghe |