| 1991 | Classifying Semantics of Logic Programs (Extended Abstract). | Jrgen Dix |
| 1991 | JTMS and Logic Programming. | Gerhard Brewka, David Makinson, Karl Schlechta |
| 1991 | Beliefs as Stable Conjectures. | Piero A. Bonatti |
| 1991 | Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning (Extended Abstract). | Chitta Baral, V. S. Subrahmanian |
| 1990 | Programming in Default Logic. | Feng Yang, Allen L. Brown Jr., Howard A. Blair |
| 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 | A Preferred Model Semantics for Inheritance Systems. | Liz Sonenberg, Rodney W. Topor |
| 1990 | A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint. | Hirohisa Seki |
| 1990 | Possible Model Semantics for Disjunctive Databases II (Extended Abstract). | Chiaki Sakama |
| 1990 | Three-Valued Non-Monotonic Formalisms and Semantics of Logic Programs. | Teodor C. Przymusinski |
| 1990 | Integrating Assumption-Based and Nonmonotonic Reasoning. | Stephen G. Pimentel, William L. Rodi |
| 1990 | The Case for Explicit Exceptions. | L. Thorne McCarty |
| 1990 | Autoepistemic Logic Revisited: The Bias-Free Stable Semantics. | V. S. Lakshmanan |
| 1990 | The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming. | Els Laenens, Brigitte Verdonk, Dirk Vermeir |
| 1990 | Abductive Logic Programming. | Antonis C. Kakas, Paolo Mancarella |
| 1990 | Declarative Semantics for Pruning Operators in Logic Programming. | Fosca Giannotti, Dino Pedreschi |
| 1990 | A New Form of Circumscription for Logic Programs (Extended Abstract). | Allen Van Gelder |
| 1990 | A Semantically Justified Approach to Nonmonotonic Reasoning in Logic Programming: Extended Abstract. | James P. Delgrande |
| 1990 | Metalevel Negation in Non-Monotonic Reasoning. | Stefania Costantini, Gaetano Aurelio Lanzarone |
| 1990 | A More General Solution to the Multiple Expansion Problem. | Piero A. Bonatti |
| 1990 | The meaning of Negative Premises in Transition System Specifications. | Roland N. Bol, Jan Friso Groote |