| 1994 | Parallel Symbolic Computing with the Shared Dataspace Coordination Model. | Paolo Ciancarini, Mauro Gaspari |
| 1994 | Applications of Logic Programming in Software Process Modeling. | Paolo Ciancarini |
| 1994 | On Proof Predicates in Logic Programming. | Henning Christiansen |
| 1994 | Efficient and Complete Demo Predicates for Definite Clause Languages. | Henning Christiansen |
| 1994 | Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs. | Pascal Chambre, Pierre Deransart |
| 1994 | The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms. | Manuel M. T. Chakravarty, Hendrik C. R. Lock |
| 1994 | Lollipops Taste of Vanilla too. | Iliano Cervesato |
| 1994 | Improved CLP Scheduling with Task Intervals. | Yves Caseau, Franois Laburthe |
| 1994 | Entailment of Finite Domain Constraints. | Bjrn Carlson, Mats Carlsson, Daniel Diaz |
| 1994 | Pitagora 2.0: an Intelligent Tutoring System developed in Prolog. | Antonella Carbonaro, Giorgio Casadei, Vittorio Maniezzo, Paola Salomoni |
| 1994 | Teaching Prolog Integrated in a Multiparadigm Language. | Giuseppe Callegarin |
| 1994 | Higher-Order Polymorphic Unification for Logic Programming. | Lus Caires, Lus Monteiro |
| 1994 | Finding Conflict Sets and Backtrack Points in CLP(R). | Jennifer Burg, Sheau-Dong Lang, Charles E. Hughes |
| 1994 | Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables. | Maurice Bruynooghe, Michael Codish, Anne Mulkers |
| 1994 | Compiling Intensional Sets in CLP. | Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 1994 | Logic Programming in Education: A Perspective on the State of Art. | Paul Brna |
| 1994 | A Commonsense Formalization of Normative Systems. | Joost Breuker, Andr Valente |
| 1994 | Proving Hardware Designs. | Peter T. Breuer, Luis Snchez, Carlos Delgado Kloos |
| 1994 | Compiling Control Revisited: A New Approach based upon Abstract Interpretation. | Dmitri Boulanger, Danny De Schreye |
| 1994 | Abstract Domains: a Model-Theoretic approach. | Dmitri Boulanger, Maurice Bruynooghe |
| 1994 | A Bottom-up Semantics for Constructive Negation. | Annalisa Bossi, Massimo Fabris, Maria Chiara Meo |
| 1994 | Process-Based Parallel Logic Programming: A Survey of the Basic Issues. | Koenraad De Bosschere |
| 1994 | Proving correctness of Concurrent Constraint Programs. | Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi |
| 1994 | Inference in a Fuzzy System Using the Consistence Level of the Rules. | Armando Blanco, Miguel Delgado, Waldo Fajardo, Ignacio Requena |
| 1994 | Output Value Placement in Moded Logic Programs. | Peter A. Bigot, David Gudeman, Saumya K. Debray |