| 1990 | A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint. Hirohisa Seki |
| 1990 | A More General Solution to the Multiple Expansion Problem. Piero A. Bonatti |
| 1990 | A New Form of Circumscription for Logic Programs (Extended Abstract). Allen Van Gelder |
| 1990 | A Preferred Model Semantics for Inheritance Systems. Liz Sonenberg, Rodney W. Topor |
| 1990 | A Semantically Justified Approach to Nonmonotonic Reasoning in Logic Programming: Extended Abstract. James P. Delgrande |
| 1990 | Abductive Logic Programming. Antonis C. Kakas, Paolo Mancarella |
| 1990 | Autoepistemic Logic Revisited: The Bias-Free Stable Semantics. V. S. Lakshmanan |
| 1990 | Declarative Semantics for Pruning Operators in Logic Programming. Fosca Giannotti, Dino Pedreschi |
| 1990 | Integrating Assumption-Based and Nonmonotonic Reasoning. Stephen G. Pimentel, William L. Rodi |
| 1990 | Metalevel Negation in Non-Monotonic Reasoning. Stefania Costantini, Gaetano Aurelio Lanzarone |
| 1990 | Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule. Miroslaw Truszczynski |
| 1990 | On reasoning from Closed World Databases with Disjunctive Views. Marek A. Suchenek, Rajshekhar Sunderraman |
| 1990 | Possible Model Semantics for Disjunctive Databases II (Extended Abstract). Chiaki Sakama |
| 1990 | Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, Austin, TX, USA, November 1-2, 1990 V. Wiktor Marek, Anil Nerode, Dino Pedreschi, V. S. Subrahmanian |
| 1990 | Programming in Default Logic. Feng Yang, Allen L. Brown Jr., Howard A. Blair |
| 1990 | The Case for Explicit Exceptions. L. Thorne McCarty |
| 1990 | The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming. Els Laenens, Brigitte Verdonk, Dirk Vermeir |
| 1990 | The meaning of Negative Premises in Transition System Specifications. Roland N. Bol, Jan Friso Groote |
| 1990 | Three-Valued Non-Monotonic Formalisms and Semantics of Logic Programs. Teodor C. Przymusinski |