| 1993 | SLS-Resolution without Floundering. | Wlodzimierz Drabent |
| 1993 | Canonical Kripke Models and The Intuitonistic Semantics of Logic Programs (Extended Abstract). | Fangqing Dong, Laks V. S. Lakshmanan |
| 1993 | Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs. | Marc Denecker, Danny De Schreye |
| 1993 | Contributions to the Stable Model Semantics of Logic Programs with Negation. | Stefania Costantini |
| 1993 | Minimal Knowledge + Negation as Failure = Only Knowing (Sometimes). | Jianhua Chen |
| 1993 | A Sequent Axiomatization of Three-valued Logic with Two Negations. | Douglas R. Busch |
| 1993 | An Abductive Framework for Generalized Logic Programs. | Gerhard Brewka |
| 1993 | An Assumption-Based Framework for Non-Monotonic Reasoning. | Andrei Bondarenko, Francesca Toni, Robert A. Kowalski |
| 1993 | Autoepistemic Logic Programming. | Piero A. Bonatti |
| 1993 | Implementing Stable Semantics by Linear Programming. | Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian |
| 1993 | Scenario Semantics of Extended Logic Programs. | Jos Jlio Alferes, Phan Minh Dung, Lus Moniz Pereira |
| 1991 | Embedding Default Logic into Modal Nonmonotonic Logics. | Miroslaw Truszczynski |
| 1991 | Autoepistemic Logic of Knowledge. | Grigori Schwarz |
| 1991 | Representing Epistemic Intervals in Logic Programs. | John S. Schlipf |
| 1991 | Partial Models and Three-Valued Models in Logic Programs with Negation. | Domenico Sacc, Carlo Zaniolo |
| 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 | Contradiction Removal within Well Founded Semantics. | Lus Moniz Pereira, Jos Jlio Alferes, Joaquim Nunes Aparcio |
| 1991 | Circumscribing Embedded Implications. | L. Thorne McCarty |
| 1991 | Computing Intersection of Autoepistemic Expansions. | V. Wiktor Marek, Miroslaw Truszczynski |
| 1991 | Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning. | Michael J. Maher |
| 1991 | Negation as Stable Hypotheses. | Antonis C. Kakas, Paolo Mancarella |
| 1991 | Definitions in Epistemic Specifications. | Michael Gelfond, Halina Przymusinska |
| 1991 | Credulous and Autoepistemic Reasoning Using Ordered Logic. | P. Geerts, Dirk Vermeir |
| 1991 | Well-Founded Reasoning with Classical Negation. | Phan Minh Dung, Phaiboon Ruamviboonsuk |