| 1994 | Integrating Disequations in the Algebraic and Logic Programming Language LPG. | Didier Bert, Rachid Echahed |
| 1994 | Explanation-Based Learning of Open Textured Predicates in Logic Programming Models of Law. | S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone |
| 1994 | Indipendence of the Computation Rule for SLD-derivation with delay. | Michel Bergre, Grard Ferrand, Jean-Hugues Rty |
| 1994 | Representing Continuous Change in the Abductive Event Calculus. | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
| 1994 | IsaWhelk Interpreted in Isabelle. | David A. Basin |
| 1994 | A Grammatical Approach to DCG Parsing. | Franois Barthlemy |
| 1994 | Reflection through Constraint Satisfaction. | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone |
| 1994 | Integrating Reflection into SLD-Resolution. | Jonas Barklund, Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone |
| 1994 | Towards a Formal Computation Model of Associative Logic Programming. | Arvind K. Bansal |
| 1994 | A Modal Extension of Logic Programming. | Matteo Baldoni, Laura Giordano, Alberto Martelli |
| 1994 | On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs. | Roberto Bagnara |
| 1994 | Recomputation-Free Lemmatization by Program Transformation. | Paulo Jorge de Sousa Azevedo, Marek J. Sergot |
| 1994 | Prolog for Non Computer-Scientist. | Judith Avrahami |
| 1994 | KED: A Deontic Theorem Prover. | Alberto Artosi, Paola Cattabriga, Guido Governatori |
| 1994 | Compilation of Concurrent Declarative Languages. | Zena M. Ariola, Barton C. Massey, M. Sami, Evan Tick |
| 1994 | Higher-Order Implementation of Program Transformations using Algebraic Specification. | Francesca Arcelli, Ferrante Formato |
| 1994 | PDP: Prolog Distributed Processor for Independent AND\OR Parallel Execution of Prolog. | Lourdes Araujo, Jos J. Ruz |
| 1994 | Declarative Interpretations Reconsidered. | Krzysztof R. Apt, Maurizio Gabbrielli |
| 1994 | A Proposal to Merge Object Orientation, Logic Programming, and Multiple Tuple Spaces. | Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini |
| 1994 | On Cross-Fertilization between Logic Programming and Educational Systems. | Richard Allen, Cyrille Desmoulins, Laurent Trilling |
| 1994 | A Layer Architecture for the Integration of Rules, Inheritance, and Constraints. | Andreas Abecker, Holger Wache |
| 1993 | Performance of the Compiler-Based Andorra-I System. | Rong Yang, Tony Beaumont, Ins de Castro Dutra, Vtor Santos Costa, David H. D. Warren |
| 1993 | Istropolitan-a WAM Based Fuzzy Prolog. | Imrich Weigl, Milan Fico, Svitoslav Molnr, Rudolf Fiby |
| 1993 | Sets and Nondeterminism. | Michal Walicki, Sigurd Meldal |
| 1993 | Status of the Aditi Deductive Database System. | Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland |