| 1994 | Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables. | Carmen Gervet |
| 1994 | Canonical Proofs for Linear Logic Programming Frameworks. | Didier Galmiche |
| 1994 | Fast and Precise Regular Approximations of Logic Programs. | John P. Gallagher, D. Andre de Waal |
| 1994 | Conditonal Logic Programming. | Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti |
| 1994 | The Real-Time Extension of CS-Prolog Professional. | Ivan Fut |
| 1994 | Transformational Development of Logic Programs from Executable Specifications. | Markus P. J. Fromherz, Norbert E. Fuchs |
| 1994 | IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. | M. J. Fernndez, Manuel Carro, Manuel V. Hermenegildo |
| 1994 | Search Tree Unification: Paradigm for Process-based Logic Programs. | Szabolcs Ferenczi |
| 1994 | Program Separation in GCLA. | Gran Falkman, Lars Hallns, Olof Torgersson |
| 1994 | Denotational semantics for Concurrent Constraint Programs analyses. | Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi |
| 1994 | Proof Search (Tutorial). | Roy Dyckhoff, Natarajan Shankar |
| 1994 | Uniform Proofs and Natural Deduction. | Roy Dyckhoff, Lus Pinto |
| 1994 | Towards a Practical Full Mode Inference System for CLP(H, N). | Veroniek Dumortier, Gerda Janssens |
| 1994 | An Axiomatic Approach to Semantics of Disjunctive Programs. | Jrgen Dix, Martin Mller |
| 1994 | Causal Models of Disjunctive Logic Programs. | Jrgen Dix, Georg Gottlob, V. Wiktor Marek |
| 1994 | Towards a Verified OR-Parallel WAM. | Stephan Diehl |
| 1994 | Implementation Issues of a Distributed Real-Time Logic Language. | Manuel Daz, Bartolom Rubio, Jos M. Troya |
| 1994 | A Comparison of Some Schemes for Translating Logic to C. | Bart Demoen, Greet Maris |
| 1994 | A Slick Procedure for Integrity Checking in Deductive Databases. | Hendrik Decker, Matilde Celma |
| 1994 | Distributed Declarative Systems as Parts of Cooperating Software Environments. | Grzegorz Czajkowski, Andrzej Uszok, Krzysztof Zielinski |
| 1994 | Combining Logic and Control to Characterize Global Invariants of Prolog Programs. | Livio Colussi, Elena Marchiori, Massimo Marchiori |
| 1994 | Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. | Michael Codish, Bart Demoen |
| 1994 | LPDA: Another look at Tabulation in Logic Programming. | ric Villemonte de la Clergerie, Bernard Lang |
| 1994 | LOGOS: An Object-Oriented Scheme to Implement Logic Programming Languages. | Liviu-Virgil Ciortuz, Mirela Petrea |
| 1994 | Specifying industrial real-time systems in a logical framework. | Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto |