| 1994 | Using Proof Theory to Optimize Proof Search. | Natarajan Shankar |
| 1994 | (title not yet received). | Marek J. Sergot |
| 1994 | Introduction to Logic Programming and AI: the Development of a Multilevel Curricula. | Zahava Scherz, Bruria Haberman, Noa Ragonis |
| 1994 | On the Equivalence between Disjunctive and Abductive Logic Programs. | Chiaki Sakama, Katsumi Inoue |
| 1994 | Proving (total) correctness of Prolog programs. | Salvatore Ruggieri |
| 1994 | Theorem Proving Applications for QU-Prolog. | Peter J. Robinson, John Staples, Anthony S. K. Cheng |
| 1994 | F-Logic Programming and Terminological Constraints. | Christophe Rigotti, Mohand-Said Hacid, Jean-Franois Boulicaut |
| 1994 | Design of Redundant Formal Specifications by Logic programming: Merging Formal Text and Good Comments. | Sophie Renault, Pierre Deransart |
| 1994 | A Proof Manager for Verification of Logic Programs. | Sophie Renault, Pierre Deransart |
| 1994 | Higher-order Aspects of Logic Programming. | Uday S. Reddy |
| 1994 | Notes on the Design of an Open Boolean Solver. | Antoine Rauzy |
| 1994 | Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables. | Maurizio Proietti, Alberto Pettorossi |
| 1994 | Symbol Grounding and Transcendental Logic. | Erich Prem |
| 1994 | Logic, Prolog, and Legal Sentence. | Cornell Popa, Yonut Lopatan, Sorin Stratulat |
| 1994 | &ACE: the And-parallel Component of ACE (A Progress Report on ACE). | Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo |
| 1994 | Teaching Logic with(out) Prolog. | Donatella Persico |
| 1994 | A Proof Method for Runtime Properties of Prolog Programs. | Dino Pedreschi |
| 1994 | Reasoning with Limited Unification in a Connectionist Rule-Based System. | Nam Seog Park, Dave Robertson, Keith Stenning |
| 1994 | Knowledge Representation of New HELIC II. | Katsumi Nitta, Masato Shibasaki, Tsuyoshi Sakata, Takahiro Yamaji, Hiroshi Ohsaki, Satoshi Tojo, Iwao Kokubo, T. Anu Suzuki |
| 1994 | SPELL: A Logic Programming Language for Process Modelling. | Minh Ngoc Nguyen, Reidar Conradi |
| 1994 | Exploring Discrete Structures using a Complete Variant of Prolog. | Norman Neff |
| 1994 | Parallel CLP on Heterogeneous Networks. | Shyam Mudambi, Joachim Schimpf |
| 1994 | Default Rules: An Extension of Constructive Negation for Narrowing-based Languages. | Juan Jos Moreno-Navarro |
| 1994 | Hybrid Tree Search in the Andorra Model. | Remco Moolenaar, Bart Demoen |
| 1994 | Cross Structural Similarity for Retrieval of Legal Cases. | Mohammad Ali Montazeri, Mike Brown, Alison E. Adam |