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