| 1996 | Informational Logic for Automated Reasoning. | Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino |
| 1996 | Infinitary Default Logic for Specification of Nonmonotonic Reasoning. | Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski |
| 1996 | Only Persistence Makes Nonmonotonicity Monotonous. | Joeri Engelfriet |
| 1996 | Temporal Reasoning over Linear Discrete Time. | Manuel Enciso, Inman P. de Guzmn, Carlos Rossi |
| 1996 | A Uniform Tableaux Method for Nonmonotonic Modal Logics. | Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati |
| 1996 | What You Always Wanted to Know About Rigid E-Unification. | Anatoli Degtyarev, Andrei Voronkov |
| 1996 | A Query Answering Algorithm for Lukaszewicz' General Open Default Theory. | Viorica Ciorba |
| 1996 | Characterizing D-WFS: Confluence and Iterated GCWA. | Stefan Brass, Jrgen Dix |
| 1996 | Building Proofs or Counterexamples by Analogy in a Resoluton Framework. | Christophe Bourely, Gilles Dfourneaux, Nicolas Peltier |
| 1996 | A Simple Signed System for Paraconsistent Reasoning. | Philippe Besnard, Torsten Schaub |
| 1996 | Carving Up Space: Steps Towards Construction of an Absolutely Complete Theory of Spatial Regions. | Brandon Bennett |
| 1996 | Hyper Tableaux. | Peter Baumgartner, Ulrich Furbach, Ilkka Niemel |
| 1996 | Labelled Proofs for Quantified Modal Logic. | Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo |
| 1996 | An Abductive Framework for Negation in Disjunctive Logic Programming. | Chandrabose Aravindan |
| 1996 | A System for Computing Constrained Default Logic Extensions. | Grigoris Antoniou, Allen P. Courtney, Jrg Ernst, Mary-Anne Williams |
| 1996 | Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. | Jos Jlio Alferes, Lus Moniz Pereira, Teodor C. Przymusinski |
| 1994 | Revision of Non-Monotonic Theories. | Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle |
| 1994 | On the Logic of Theory Base Change. | Mary-Anne Williams |
| 1994 | Equality and Constrained Resolution. | Richard B. Scherl |
| 1994 | Prioritized Autoepistemic Logic. | Jussi Rintanen |
| 1994 | Autoepistemic Logic of Minimal Beliefs. | Teodor C. Przymusinski |
| 1994 | A Complete Connection Calculus with Rigid E-Unification. | Uwe Petermann |
| 1994 | Two Logical Dimensions. | Ewa Orlowska |
| 1994 | How to Use Modalities and Sorts in Prolog. | Andreas Nonnengart |
| 1994 | A Unification of Ordering Refinements of Resolution in Classical Logic. | Hans de Nivelle |