| 1994 | Around a Powerful Property of Circumscriptions. | Yves Moinard, Raymond Rolland |
| 1994 | Revision Specifications by Means of Programs. | V. Wiktor Marek, Miroslaw Truszczynski |
| 1994 | Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. | Jean-Marie Jacquet, Lus Monteiro |
| 1994 | Compactness Properties of Nonmonotonic Inference Operations. | Heinrich Herre |
| 1994 | Propositional State Event Logic. | Gerd Groe |
| 1994 | From Carnap's Modal Logic to Autoepistemic Logic. | Georg Gottlob |
| 1994 | Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. | Giuseppe De Giacomo, Maurizio Lenzerini |
| 1994 | Reasoning about Knowledge on Computation Trees. | Konstantinos Georgatos |
| 1994 | Temporal Theories of Reasoning. | Joeri Engelfriet, Jan Treur |
| 1994 | The Computational Value of Joint Consistency. | Yannis Dimopoulos |
| 1994 | Efficient Strategies for Automated Reasoning in Modal Logics. | Stphane Demri |
| 1994 | Extending Horn Clause Theories by Reflection Principles. | Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone |
| 1994 | Viewing Hypothesis Theories as Constrained Graded Theories. | Philippe Chatalic |
| 1994 | Adding Priorities and Specificity to Default Logic. | Gerhard Brewka |
| 1994 | On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples. | Leopoldo E. Bertossi, Raymond Reiter |
| 1994 | Belief Dynamics, Abduction, and Database. | Chandrabose Aravindan, Phan Minh Dung |
| 1994 | Belief, Provability, and Logic Programs. | Jos Jlio Alferes, Lus Moniz Pereira |
| 1994 | TAS-D | Gabriel Aguilera, Inman P. de Guzmn, Manuel Ojeda-Aciego |
| 1992 | An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics. | Nicolas Zabel |
| 1992 | Expanding Logic Programs. | Cees Witteveen |
| 1992 | Relevance and Revision - About Generalizing Syntax-based Belief Revision. | Emil Weydert |
| 1992 | Reasoning with Defeasible Arguments: Examples and Applications. | Gerard Vreeswijk |
| 1992 | A Modal Theory of Arrows. Arrow Logics I. | Dimiter Vakarelov |
| 1992 | Deriving Inference Rules for Terminological Logics. | Vronique Royer, Joachim Quantz |
| 1992 | Modellings for Belief Change: Base Contraction, Multiple Contraction, and Epistemic Entrenchment. | Hans Rott |