The SCEAS System
Navigation Menu

Journals in DBLP

J. Autom. Reasoning
1998, volume: 20, number: 1

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002