| 1990 | Semantic Interpretation as Higher-Order Deduction. | Fernando C. N. Pereira |
| 1990 | Towards Automatic Autoepistemic Reasoning. | Ilkka Niemel |
| 1990 | Anaphora and the Logic of Change. | Reinhard Muskens |
| 1990 | Non-Monotonic Reasoning by Monotonic Means. | John-Jules Ch. Meyer, Wiebe van der Hoek |
| 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 | Polymorphic Constructs in Natural and Programming Languages. | Hans Lei |
| 1990 | What is a Horn Clause in Partial Logic? | Tore Langholm |
| 1990 | A Computationally Attractive First-Order Logic of Belief. | Gerhard Lakemeyer |
| 1990 | A Logical Basis for Object Oriented Programming. | Els Laenens, Dirk Vermeir |
| 1990 | Theoretical Circumscription in Partial Modal Logic. | Jan Jaspars |
| 1990 | Awareness, Negation and Logical Omniscience. | Zhisheng Huang, Karen L. Kwast |
| 1990 | Systems for Knowledge and Beliefs. | Wiebe van der Hoek |
| 1990 | Two Theories of Dynamic Semantics. | Jeroen Groenendijk, Martin Stokhof |
| 1990 | Dynamic Semantics and VP-Ellipsis. | Claire Gardent |
| 1990 | Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin? (Abstract). | Peter Grdenfors |
| 1990 | A Constraint Logic Approach to Modal Deduction. | Alan M. Frisch, Richard B. Scherl |
| 1990 | Deductive Inference Operations. | Michael Freund, Daniel Lehmann |
| 1990 | Untitled record | Marta Franov |
| 1990 | Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations. | J. Michael Dunn |
| 1990 | NM3 - A Three-Valued Cumulative Non-Monotonic Formalism. | Patrick Doherty |
| 1990 | The Optimal Model of a Program with Negation. | Jean-Paul Delahaye, V. Thibau |
| 1990 | A First Order Logic of Truth, Knowledge and Belief. | Nick Davies |
| 1990 | Extending Resolution for Model Construction. | Ricardo Caferra, Nicolas Zabel |
| 1990 | On Generative Capacity of the Lambek Calculus. | Wojciech Buszkowski |