| 1996 | A Modal Action Logic Based Framework for Organization Specification and Analysis. Filipe Santos, José Carmo |
| 1996 | A Query Answering Algorithm for Lukaszewicz' General Open Default Theory. Viorica Ciorba |
| 1996 | A Simple Signed System for Paraconsistent Reasoning. Philippe Besnard, Torsten Schaub |
| 1996 | A System for Computing Constrained Default Logic Extensions. Grigoris Antoniou, Allen P. Courtney, Jörg Ernst, Mary-Anne Williams |
| 1996 | A Uniform Tableaux Method for Nonmonotonic Modal Logics. Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati |
| 1996 | An Abductive Framework for Negation in Disjunctive Logic Programming. Chandrabose Aravindan |
| 1996 | An Algorithm for the Retrieval of Unifiers from Discrimination Trees. Hans de Nivelle |
| 1996 | Building Proofs or Counterexamples by Analogy in a Resoluton Framework. Christophe Bourely, Gilles Défourneaux, Nicolas Peltier |
| 1996 | Carving Up Space: Steps Towards Construction of an Absolutely Complete Theory of Spatial Regions. Brandon Bennett |
| 1996 | Characterizing D-WFS: Confluence and Iterated GCWA. Stefan Brass, Jürgen Dix |
| 1996 | Design and Implementation of Diagnostic Strategies Using Modal Logic. Peter Fröhlich, Wolfgang Nejdl, Michael Schroeder |
| 1996 | Extensions for Open Default Theories via the Domain Closure Assumption. Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin |
| 1996 | Hyper Tableaux. Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä |
| 1996 | Infinitary Default Logic for Specification of Nonmonotonic Reasoning. Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski |
| 1996 | Informational Logic for Automated Reasoning. Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino |
| 1996 | Labelled Proofs for Quantified Modal Logic. Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo |
| 1996 | Logic Programming with Integrity Constraints. Robert A. Kowalski |
| 1996 | Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska |
| 1996 | McCarthy's Idea. Michael R. Genesereth |
| 1996 | Modules and Specifications. Vasco Pedro, Luís Monteiro |
| 1996 | Only Persistence Makes Nonmonotonicity Monotonous. Joeri Engelfriet |
| 1996 | Ordering-Based Representations of Rational Inference. Konstantinos Georgatos |
| 1996 | Revising and Updating Using a Back-Up Semantics. Cees Witteveen, Wiebe van der Hoek |
| 1996 | Semi-Representability of Default Theories in Rational Default Logic. Artur Mikitiuk |
| 1996 | Similarity Saturation for First Order Linear Temporal Logic with UNLESS. Regimantas Pliuskevicius |
| 1996 | Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski |
| 1996 | Temporal Reasoning over Linear Discrete Time. Manuel Enciso, Inman P. de Guzmán, Carlos Rossi |
| 1996 | The Oz Programming Model. Gert Smolka |
| 1996 | What You Always Wanted to Know About Rigid E-Unification. Anatoli Degtyarev, Andrei Voronkov |