| 1994 | A Complete Connection Calculus with Rigid E-Unification. Uwe Petermann |
| 1994 | A Unification of Ordering Refinements of Resolution in Classical Logic. Hans de Nivelle |
| 1994 | Adding Priorities and Specificity to Default Logic. Gerhard Brewka |
| 1994 | Around a Powerful Property of Circumscriptions. Yves Moinard, Raymond Rolland |
| 1994 | Autoepistemic Logic of Minimal Beliefs. Teodor C. Przymusinski |
| 1994 | Belief Dynamics, Abduction, and Database. Chandrabose Aravindan, Phan Minh Dung |
| 1994 | Belief, Provability, and Logic Programs. José Júlio Alferes, Luís Moniz Pereira |
| 1994 | Compactness Properties of Nonmonotonic Inference Operations. Heinrich Herre |
| 1994 | Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. Giuseppe De Giacomo, Maurizio Lenzerini |
| 1994 | Efficient Strategies for Automated Reasoning in Modal Logics. Stéphane Demri |
| 1994 | Equality and Constrained Resolution. Richard B. Scherl |
| 1994 | Extending Horn Clause Theories by Reflection Principles. Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone |
| 1994 | From Carnap's Modal Logic to Autoepistemic Logic. Georg Gottlob |
| 1994 | How to Use Modalities and Sorts in Prolog. Andreas Nonnengart |
| 1994 | Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings Craig MacNish, David Pearce, Luís Moniz Pereira |
| 1994 | On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples. Leopoldo E. Bertossi, Raymond Reiter |
| 1994 | On the Logic of Theory Base Change. Mary-Anne Williams |
| 1994 | Prioritized Autoepistemic Logic. Jussi Rintanen |
| 1994 | Propositional State Event Logic. Gerd Große |
| 1994 | Reasoning about Knowledge on Computation Trees. Konstantinos Georgatos |
| 1994 | Revision Specifications by Means of Programs. V. Wiktor Marek, Miroslaw Truszczynski |
| 1994 | Revision of Non-Monotonic Theories. Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle |
| 1994 | TAS-D Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego |
| 1994 | Temporal Theories of Reasoning. Joeri Engelfriet, Jan Treur |
| 1994 | The Computational Value of Joint Consistency. Yannis Dimopoulos |
| 1994 | Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. Jean-Marie Jacquet, Luís Monteiro |
| 1994 | Two Logical Dimensions. Ewa Orlowska |
| 1994 | Viewing Hypothesis Theories as Constrained Graded Theories. Philippe Chatalic |