1. Preface

   • José Júlio Alferes
   • Luís Moniz Pereira

   OriginalPaper Pages: 1 - 3

2. An Algorithm for the Retrieval of Unifiers from Discrimination Trees

   • Hans de Nivelle

   OriginalPaper Pages: 5 - 25

3. Semantic Generalizations for Proving and Disproving Conjectures by Analogy

   • Gilles Défourneaux
   • Christophe Bourely
   • Nicolas Peltier

   OriginalPaper Pages: 27 - 45

4. What You Always Wanted to Know about Rigid E-Unification

   • Anatoli Degtyarev
   • Andrei Voronkov

   OriginalPaper Pages: 47 - 80

5. Strategies in Model-based Diagnosis

   • Peter Fröhlich
   • Wolfgang Nejdl
   • Michael Schroeder

   OriginalPaper Pages: 81 - 105

6. 'Classical' Negation in Nonmonotonic Reasoning and Logic Programming

   • José Júlio Alferes
   • Luís Moniz Pereira
   • Teodor C. Przymusinski

   OriginalPaper Pages: 107 - 142

7. Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA

   • Stefan Brass
   • Jürgen Dix

   OriginalPaper Pages: 143 - 165

8. Informational Logic as a Tool for Automated Reasoning

   • Paola Forcheri
   • Paolo Gentilini
   • Maria Teresa Molfino

   OriginalPaper Pages: 167 - 190

9. Signed Systems for Paraconsistent Reasoning

   • Ph. Besnard
   • T. Schaub

   OriginalPaper Pages: 191 - 213