1 | -- | 3 | José Júlio Alferes, Luís Moniz Pereira. Preface: Logics for Artificial Intelligence |
5 | -- | 25 | Hans de Nivelle. An Algorithm for the Retrieval of Unifiers from Discrimination Trees |
27 | -- | 45 | Gilles Défourneaux, Christophe Bourely, Nicolas Peltier. Semantic Generalizations for Proving and Disproving Conjectures by Analogy |
47 | -- | 80 | Anatoli Degtyarev, Andrei Voronkov. What You Always Wanted to Know about Rigid E-Unification |
81 | -- | 105 | Peter Fröhlich, Wolfgang Nejdl, Michael Schroeder. Strategies in Model-Based Diagnosis |
107 | -- | 142 | José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski. Classical Negation in Nonmonotonic Reasoning and Logic Programming |
143 | -- | 165 | Stefan Brass, Jürgen Dix. Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA |
167 | -- | 190 | Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino. Informational Logic as a Tool for Automated Reasoning |
191 | -- | 213 | Philippe Besnard, Torsten Schaub. Signed Systems for Paraconsistent Reasoning |