| 1994 | A Bottom-up Semantics for Constructive Negation. Annalisa Bossi, Massimo Fabris, Maria Chiara Meo |
| 1994 | A Database Interface for Complex Objects. Marcel Holsheimer, Rolf A. de By, Hassan Aït-Kaci |
| 1994 | A Dataflow Analysis Method for Ground Prolog. Andreas Kågedal |
| 1994 | A Grammatical Approach to DCG Parsing. François Barthélemy |
| 1994 | A New Transformation based on Process-Message Duality for Concurrent Logic Languages. Kouichi Kumon, Keiji Hirata |
| 1994 | A Proof Method for Runtime Properties of Prolog Programs. Dino Pedreschi |
| 1994 | A Slick Procedure for Integrity Checking in Deductive Databases. Hendrik Decker, Matilde Celma |
| 1994 | A Tutorial on Synthesis of Logic Programs from Specifications. Kung-Kiu Lau, Geraint A. Wiggins |
| 1994 | ACE: And/Or-parallel Copying-based Execution of Logic Programs. Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa |
| 1994 | Abduction and Abductive Logic Programming. Antonis C. Kakas, Paolo Mancarella |
| 1994 | Ambivalent Logic as the Semantic Basis of Metalogic Programming. Yuejun Jiang |
| 1994 | An Axiomatic Approach to Semantics of Disjunctive Programs. Jürgen Dix, Martin Müller |
| 1994 | Causal Models of Disjunctive Logic Programs. Jürgen Dix, Georg Gottlob, V. Wiktor Marek |
| 1994 | Compiling Control Revisited: A New Approach based upon Abstract Interpretation. Dmitri Boulanger, Danny De Schreye |
| 1994 | Compiling Intensional Sets in CLP. Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 1994 | Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables. Maurizio Proietti, Alberto Pettorossi |
| 1994 | Computing Annotated Logic Programs. Sonia M. Leach, James J. Lu |
| 1994 | Computing Stable Models by Program Transformation. Jürgen Stuber |
| 1994 | Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator. Alessio Guglielmi |
| 1994 | Conditonal Logic Programming. Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti |
| 1994 | Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables. Carmen Gervet |
| 1994 | Constraint Solving by Narrowing in Combined Algebraic Domains. Hélène Kirchner, Christophe Ringeissen |
| 1994 | Declarative Interpretations Reconsidered. Krzysztof R. Apt, Maurizio Gabbrielli |
| 1994 | Default Rules: An Extension of Constructive Negation for Narrowing-based Languages. Juan José Moreno-Navarro |
| 1994 | Depth-k Sharing and Freeness. Andy King, Paul Soper |
| 1994 | Efficient and Complete Demo Predicates for Definite Clause Languages. Henning Christiansen |
| 1994 | Entailment of Finite Domain Constraints. Björn Carlson, Mats Carlsson, Daniel Diaz |
| 1994 | Fast and Precise Regular Approximations of Logic Programs. John P. Gallagher, D. Andre de Waal |
| 1994 | Finding Conflict Sets and Backtrack Points in CLP(R). Jennifer Burg, Sheau-Dong Lang, Charles E. Hughes |
| 1994 | Higher-Order Polymorphic Unification for Logic Programming. Luís Caires, Luís Monteiro |
| 1994 | Higher-order Aspects of Logic Programming. Uday S. Reddy |
| 1994 | Hybrid Tree Search in the Andorra Model. Remco Moolenaar, Bart Demoen |
| 1994 | Implementation of Andorra-based Languages. Sverker Janson |
| 1994 | Improved CLP Scheduling with Task Intervals. Yves Caseau, François Laburthe |
| 1994 | IsaWhelk Interpreted in Isabelle. David A. Basin |
| 1994 | LPDA: Another look at Tabulation in Logic Programming. Éric Villemonte de la Clergerie, Bernard Lang |
| 1994 | Language Independence and Language Tolerance in Logic Programs. Norman McCain, Hudson Turner |
| 1994 | Lazy Funtional State Threads: An Abstract. John Launchbury, Simon L. Peyton Jones |
| 1994 | Logic Programming as Quantum Measurement. Roman R. Zapatrin |
| 1994 | Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994 Pascal Van Hentenryck |
| 1994 | Logic Programs with Refutation Rules. Marion Mircheva |
| 1994 | Logic, Algebra and Static Analysis in DM Systems, the IE Way. Esther D. Silcrat |
| 1994 | Modularity in Logic Programming. Evelina Lamma, Paola Mello |
| 1994 | Native Code Compilation in SICStus Prolog. Ralph Clarke Haygood |
| 1994 | Notes on the Design of an Open Boolean Solver. Antoine Rauzy |
| 1994 | On the Equivalence between Disjunctive and Abductive Logic Programs. Chiaki Sakama, Katsumi Inoue |
| 1994 | On the Scheme of Passing Arguments in Stack Frames for Prolog. Neng-Fa Zhou |
| 1994 | Output Value Placement in Moded Logic Programs. Peter A. Bigot, David Gudeman, Saumya K. Debray |
| 1994 | PDP: Prolog Distributed Processor for Independent AND\OR Parallel Execution of Prolog. Lourdes Araujo, José J. Ruz |
| 1994 | PP-clauses: A Means for Handling Resources. Jean-Marie Jacquet, Luís Monteiro |
| 1994 | Parallel CLP on Heterogeneous Networks. Shyam Mudambi, Joachim Schimpf |
| 1994 | Proving Hardware Designs. Peter T. Breuer, Luis Sánchez, Carlos Delgado Kloos |
| 1994 | Recomputation-Free Lemmatization by Program Transformation. Paulo Jorge de Sousa Azevedo, Marek J. Sergot |
| 1994 | Reflection through Constraint Satisfaction. Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone |
| 1994 | Representing Actions in Equational Logic Programming. Michael Thielscher |
| 1994 | Representing Continuous Change in the Abductive Event Calculus. Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
| 1994 | Splitting a Logic Program. Vladimir Lifschitz, Hudson Turner |
| 1994 | The Acceptability Semantics for Logic Programs. Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung |
| 1994 | The Halting Problem for Deductive Synthesis of Logic Programs. Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund |
| 1994 | Towards a Practical Full Mode Inference System for CLP(H, N). Veroniek Dumortier, Gerda Janssens |
| 1994 | Towards a Verified OR-Parallel WAM. Stephan Diehl |