| 1992 | An Efficient Constraint Language for Polymorphic Order-sorted Resoluton. | Christian Prehofer |
| 1992 | Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic. | Regimantas Pliuskevicius |
| 1992 | Default Theory for Well Founded Semantics with Explicit Negation. | Lus Moniz Pereira, Jos Jlio Alferes, Joaquim Nunes Aparcio |
| 1992 | Logical Omniscience and Classical Logic. | Reinhard Muskens |
| 1992 | Declarative Semantics for Inconsistent Database Programs. | Marion Sarkis Mircheva |
| 1992 | Knowledge without Modality: A Simplified Framework for Chronological Ignorance. | Craig MacNish |
| 1992 | Weak Implication: Theory and Applications. | Karen L. Kwast, Sieger van Denneheuvel |
| 1992 | A Conceptualization of Preferences in Non-Monotonic Proof Theory. | Anthony Hunter |
| 1992 | Disjunctive Logic Programming, Constructivity and Strong Negation. | Heinrich Herre, David Pearce |
| 1992 | A Constructive Type System Based on Data Terms. | Hans-Joachim Goltz |
| 1992 | Computing Answers for Disjunctive Logic Programs. | Ulrich Furbach |
| 1992 | Linear Proofs and Linear Logic. | Bertram Fronhfer |
| 1992 | A Framework for Default Logics. | Christine Froidevaux, Jrme Mengin |
| 1992 | Transition Systems and Dynamic Semantics. | Tim Fernando |
| 1992 | Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic. | Oliver Bittel |
| 1992 | About Deductive Generalization. | Philippe Besnard, ric Grgoire |
| 1990 | Partial Semantics for Truth Maintenance - a Compositional Approach. | Cees Witteveen |
| 1990 | Doxastic Preference Logic: A New Look at Belief Revision. | Emil Weydert |
| 1990 | A Complete Logic for Autoepistemic Membership. | Gerard Vreeswijk |
| 1990 | The Logic of Objective Knowledge and Rational Belief. | Frans Voorbraak |
| 1990 | Note on Effective Constructibility of Resolution Proof Systems. | Zbigniew Stachniak |
| 1990 | Towards a Formal Theory of Intentions. | Munindar P. Singh, Nicholas M. Asher |
| 1990 | On the Equivalence of Deferred Substitution and Immediate Substitution Semantics for Logic Programs. | Amir Rahat, Nissim Francez, Oded Shmueli |
| 1990 | Action Logic and Pure Induction. | Vaughan R. Pratt |
| 1990 | Towards a Connection Procedure with Built in Theories. | Uwe Petermann |