| 1992 | A Conceptualization of Preferences in Non-Monotonic Proof Theory. Anthony Hunter |
| 1992 | A Constructive Type System Based on Data Terms. Hans-Joachim Goltz |
| 1992 | A Framework for Default Logics. Christine Froidevaux, Jérôme Mengin |
| 1992 | A Modal Theory of Arrows. Arrow Logics I. Dimiter Vakarelov |
| 1992 | About Deductive Generalization. Philippe Besnard, Éric Grégoire |
| 1992 | An Efficient Constraint Language for Polymorphic Order-sorted Resoluton. Christian Prehofer |
| 1992 | An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics. Nicolas Zabel |
| 1992 | Computing Answers for Disjunctive Logic Programs. Ulrich Furbach |
| 1992 | Declarative Semantics for Inconsistent Database Programs. Marion Sarkis Mircheva |
| 1992 | Default Theory for Well Founded Semantics with Explicit Negation. Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício |
| 1992 | Deriving Inference Rules for Terminological Logics. Véronique Royer, Joachim Quantz |
| 1992 | Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic. Regimantas Pliuskevicius |
| 1992 | Disjunctive Logic Programming, Constructivity and Strong Negation. Heinrich Herre, David Pearce |
| 1992 | Expanding Logic Programs. Cees Witteveen |
| 1992 | Knowledge without Modality: A Simplified Framework for Chronological Ignorance. Craig MacNish |
| 1992 | Linear Proofs and Linear Logic. Bertram Fronhöfer |
| 1992 | Logical Omniscience and Classical Logic. Reinhard Muskens |
| 1992 | Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings David Pearce, Gerd Wagner |
| 1992 | Modellings for Belief Change: Base Contraction, Multiple Contraction, and Epistemic Entrenchment. Hans Rott |
| 1992 | Reasoning with Defeasible Arguments: Examples and Applications. Gerard Vreeswijk |
| 1992 | Relevance and Revision - About Generalizing Syntax-based Belief Revision. Emil Weydert |
| 1992 | Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic. Oliver Bittel |
| 1992 | Transition Systems and Dynamic Semantics. Tim Fernando |
| 1992 | Weak Implication: Theory and Applications. Karen L. Kwast, Sieger van Denneheuvel |