| 1993 | A Characterization of Stable Models using a Non-Monotonic Operator. Frank Teusink |
| 1993 | A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information. P. Geerts, Dirk Vermeir |
| 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 | An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version). L. Thorne McCarty, Ron van der Meyden |
| 1993 | Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms. David Pearce |
| 1993 | Autoepistemic Logic Programming. Piero A. Bonatti |
| 1993 | Autonomous Control of Hybrid Systems with Declarative Controllers. Wolf Kohn, Anil Nerode |
| 1993 | Canonical Kripke Models and The Intuitonistic Semantics of Logic Programs (Extended Abstract). Fangqing Dong, Laks V. S. Lakshmanan |
| 1993 | Connectionist Approach to Finding Stable Models and Other Structures in Nonmonotonic Reasoning. Radek Vingralek |
| 1993 | Contributions to the Stable Model Semantics of Logic Programs with Negation. Stefania Costantini |
| 1993 | Diagnosis and Debugging as Contradiction Removal. Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes |
| 1993 | Extended Logic Programs as Autoepistemic Theories. Vladimir Lifschitz, Grigori Schwarz |
| 1993 | Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract). Martin Müller, Jürgen Dix |
| 1993 | Implementing Stable Semantics by Linear Programming. Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian |
| 1993 | Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs. Marc Denecker, Danny De Schreye |
| 1993 | Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop, Lisbon, Portugal, June 1993 Luís Moniz Pereira, Anil Nerode |
| 1993 | Minimal Knowledge + Negation as Failure = Only Knowing (Sometimes). Jianhua Chen |
| 1993 | Negation as Failure to Support. Alberto Torres |
| 1993 | Negation as Partial Failure. Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi |
| 1993 | Rational Default Logic and Disjunctive Logic Programming. Artur Mikitiuk, Miroslaw Truszczynski |
| 1993 | Reasoning on Open Domains. Michael Gelfond, Halina Przymusinska |
| 1993 | Reasoning with Inconsistency in Extended Deductive Databases. Gerd Wagner |
| 1993 | Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract). Georg Gottlob |
| 1993 | Reflective Autoepistemic Logic and Logic Programming. V. Wiktor Marek, Miroslaw Truszczynski |
| 1993 | Relating Disjunctive Logic Programs to Default Theories. Chiaki Sakama, Katsumi Inoue |
| 1993 | SLS-Resolution without Floundering. Wlodzimierz Drabent |
| 1993 | Scenario Semantics of Extended Logic Programs. José Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira |
| 1993 | Tools for Deductive Databases (Abstract). Yehoshua Sagiv |