| 1991 | Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings Jan van Eijck |
| 1990 | A Complete Logic for Autoepistemic Membership. Gerard Vreeswijk |
| 1990 | A Computationally Attractive First-Order Logic of Belief. Gerhard Lakemeyer |
| 1990 | A Constraint Logic Approach to Modal Deduction. Alan M. Frisch, Richard B. Scherl |
| 1990 | A First Order Logic of Truth, Knowledge and Belief. Nick Davies |
| 1990 | A Logical Basis for Object Oriented Programming. Els Laenens, Dirk Vermeir |
| 1990 | Action Logic and Pure Induction. Vaughan R. Pratt |
| 1990 | Anaphora and the Logic of Change. Reinhard Muskens |
| 1990 | Awareness, Negation and Logical Omniscience. Zhisheng Huang, Karen L. Kwast |
| 1990 | Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin? (Abstract). Peter Gärdenfors |
| 1990 | Commonsense Entailment: A Modal Theory of Nonmonotonic Reasoning. Nicholas Asher, Michael Morreau |
| 1990 | Deductive Inference Operations. Michael Freund, Daniel Lehmann |
| 1990 | Doxastic Preference Logic: A New Look at Belief Revision. Emil Weydert |
| 1990 | Dynamic Semantics and VP-Ellipsis. Claire Gardent |
| 1990 | Extending Resolution for Model Construction. Ricardo Caferra, Nicolas Zabel |
| 1990 | Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations. J. Michael Dunn |
| 1990 | Loop Checking and Negation. Roland N. Bol |
| 1990 | NM3 - A Three-Valued Cumulative Non-Monotonic Formalism. Patrick Doherty |
| 1990 | Non-Monotonic Reasoning by Monotonic Means. John-Jules Ch. Meyer, Wiebe van der Hoek |
| 1990 | Note on Effective Constructibility of Resolution Proof Systems. Zbigniew Stachniak |
| 1990 | On Generative Capacity of the Lambek Calculus. Wojciech Buszkowski |
| 1990 | On the Equivalence of Deferred Substitution and Immediate Substitution Semantics for Logic Programs. Amir Rahat, Nissim Francez, Oded Shmueli |
| 1990 | Partial Semantics for Truth Maintenance - a Compositional Approach. Cees Witteveen |
| 1990 | Polymorphic Constructs in Natural and Programming Languages. Hans Leiß |
| 1990 | Semantic Interpretation as Higher-Order Deduction. Fernando C. N. Pereira |
| 1990 | Systems for Knowledge and Beliefs. Wiebe van der Hoek |
| 1990 | The Logic of Objective Knowledge and Rational Belief. Frans Voorbraak |
| 1990 | The Logical Compilation of Knowledge Bases. Philippe Mathieu, Jean-Paul Delahaye |
| 1990 | The Net-Clause Language - A Tool for Data-Driven Inference. Zdravko Markov, Christo Dichev |
| 1990 | The Optimal Model of a Program with Negation. Jean-Paul Delahaye, V. Thibau |
| 1990 | Theoretical Circumscription in Partial Modal Logic. Jan Jaspars |
| 1990 | Towards Automatic Autoepistemic Reasoning. Ilkka Niemelä |
| 1990 | Towards a Connection Procedure with Built in Theories. Uwe Petermann |
| 1990 | Towards a Formal Theory of Intentions. Munindar P. Singh, Nicholas M. Asher |
| 1990 | Two Theories of Dynamic Semantics. Jeroen Groenendijk, Martin Stokhof |
| 1990 | What is a Horn Clause in Partial Logic? Tore Langholm |