| 1995 | An Abductive Framework for Extended Logic Programming. | Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello |
| 1995 | Characterizations of the Stable Semantics by Partial Evaluation. | Stefan Brass, Jrgen Dix |
| 1995 | Default Consequence Relations as a Logical Framework for Logic Programs. | Alexander Bochman |
| 1995 | Game Characterizations of Logic Program Properties. | Howard A. Blair |
| 1995 | Computing Well-founded Semantics Faster. | Kenneth A. Berman, John S. Schlipf, John V. Franco |
| 1995 | An Operator for Composing Deductive Databases with Theories of Constraints. | Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini |
| 1995 | Update Rules in Datalog Programs. | Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos |
| 1993 | Reasoning with Inconsistency in Extended Deductive Databases. | Gerd Wagner |
| 1993 | Connectionist Approach to Finding Stable Models and Other Structures in Nonmonotonic Reasoning. | Radek Vingralek |
| 1993 | Negation as Failure to Support. | Alberto Torres |
| 1993 | A Characterization of Stable Models using a Non-Monotonic Operator. | Frank Teusink |
| 1993 | Relating Disjunctive Logic Programs to Default Theories. | Chiaki Sakama, Katsumi Inoue |
| 1993 | Tools for Deductive Databases (Abstract). | Yehoshua Sagiv |
| 1993 | Diagnosis and Debugging as Contradiction Removal. | Lus Moniz Pereira, Carlos Viegas Damsio, Jos Jlio Alferes |
| 1993 | Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms. | David Pearce |
| 1993 | Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract). | Martin Mller, Jrgen Dix |
| 1993 | Negation as Partial Failure. | Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi |
| 1993 | Rational Default Logic and Disjunctive Logic Programming. | Artur Mikitiuk, Miroslaw Truszczynski |
| 1993 | An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version). | L. Thorne McCarty, Ron van der Meyden |
| 1993 | Reflective Autoepistemic Logic and Logic Programming. | V. Wiktor Marek, Miroslaw Truszczynski |
| 1993 | Extended Logic Programs as Autoepistemic Theories. | Vladimir Lifschitz, Grigori Schwarz |
| 1993 | Autonomous Control of Hybrid Systems with Declarative Controllers. | Wolf Kohn, Anil Nerode |
| 1993 | Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract). | Georg Gottlob |
| 1993 | Reasoning on Open Domains. | Michael Gelfond, Halina Przymusinska |
| 1993 | A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information. | P. Geerts, Dirk Vermeir |