| 1994 | A Bottom-Up Reconstruction of the Well-founded Semantics for Disjunctive Logic Programs. Cristian Papp |
| 1994 | A Generic Declarative Diagnoser for Normal Logic Programs. Lunjin Lu |
| 1994 | A Kind of Achievement by Parts Method. Philippe Mathieu, Jean-Paul Delahaye |
| 1994 | A Logic Programming Framework for the Abductive Inference of Intentions in Cooperative Dialogues. Paulo Quaresma, José Gabriel Lopes |
| 1994 | An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets. Dietmar Seipel |
| 1994 | Constraint Logic Programming in the Sequent Calculus. John Darlington, Yike Guo |
| 1994 | Generalization and Reuse of Tactic Proofs. Amy P. Felty, Douglas J. Howe |
| 1994 | Goal Dependent versus Goal Independent Analysis of Logic Programs. Michael Codish, Maria J. García de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo |
| 1994 | Higher-Order Abstract Syntax with Induction in Coq. Joëlle Despeyroux, André Hirschowitz |
| 1994 | Higher-Order Rigid E-Unification. Jean Goubault |
| 1994 | Implementing a Finite-domain CLP-language on Top of Prolog: a Transformational Approach. Henk Vandecasteele, Danny De Schreye |
| 1994 | Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings Frank Pfenning |
| 1994 | Logical Closures. Dominic Duggan |
| 1994 | Multi-SLD Resolution. Donald A. Smith, Timothy J. Hickey |
| 1994 | On Anti-Links. Bernhard Beckert, Reiner Hähnle, Anavai Ramesh, Neil V. Murray |
| 1994 | On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs. Jürgen Avenhaus, Carlos Loría-Sáenz |
| 1994 | On a Proof-Theoretical Analysis of Sigma-1, 1-AC, Sigma-1, 1-DC and Delta-1, 1-CA. Sergei Tupailo |
| 1994 | On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control. Philippe de Groote |
| 1994 | On the Value of Antiprenexing. Uwe Egly |
| 1994 | Program Extraction in a Logical Framework Setting. Penny Anderson |
| 1994 | Program Tactics and Logic Tactics. Fausto Giunchiglia, Paolo Traverso |
| 1994 | Projection in Temporal Logic Programming. Zhenhua Duan, Maciej Koutny, Chris Holt |
| 1994 | Proof Plans for the Correction of False Conjectures. Raúl Monroy, Alan Bundy, Andrew Ireland |
| 1994 | RISC-CLP(CF) Constraint Logic Programming over Complex Functions. Hoon Hong |
| 1994 | Towards Efficient Calculi for Resource-Oriented Deductive Planning. Stefan Brüning |