| 1991 | Autoepistemic Logic of Knowledge. Grigori Schwarz |
| 1991 | Autoepistemic Logics of Closed Beliefs and Logic Programming. Teodor C. Przymusinski |
| 1991 | Belief Revision and Paraconsistency in a Logic Programming Framework. Stephen G. Pimentel, William L. Rodi |
| 1991 | Beliefs as Stable Conjectures. Piero A. Bonatti |
| 1991 | Circumscribing Embedded Implications. L. Thorne McCarty |
| 1991 | Classifying Semantics of Logic Programs (Extended Abstract). Jürgen Dix |
| 1991 | Computing Intersection of Autoepistemic Expansions. V. Wiktor Marek, Miroslaw Truszczynski |
| 1991 | Contradiction Removal within Well Founded Semantics. Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício |
| 1991 | Credulous and Autoepistemic Reasoning Using Ordered Logic. P. Geerts, Dirk Vermeir |
| 1991 | Definitions in Epistemic Specifications. Michael Gelfond, Halina Przymusinska |
| 1991 | Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning (Extended Abstract). Chitta Baral, V. S. Subrahmanian |
| 1991 | Embedding Default Logic into Modal Nonmonotonic Logics. Miroslaw Truszczynski |
| 1991 | JTMS and Logic Programming. Gerhard Brewka, David Makinson, Karl Schlechta |
| 1991 | Logic Programming and Non-monotonic Reasoning, Proceedings of the First International Workshop, Washington, D.C., USA, July 1991 Anil Nerode, V. Wiktor Marek, V. S. Subrahmanian |
| 1991 | Negation as Stable Hypotheses. Antonis C. Kakas, Paolo Mancarella |
| 1991 | Partial Models and Three-Valued Models in Logic Programs with Negation. Domenico Saccà, Carlo Zaniolo |
| 1991 | Representing Epistemic Intervals in Logic Programs. John S. Schlipf |
| 1991 | Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning. Michael J. Maher |
| 1991 | Well-Founded Reasoning with Classical Negation. Phan Minh Dung, Phaiboon Ruamviboonsuk |