The SCEAS System
Navigation Menu

Journals in DBLP

J. Log. Comput.
1996, volume: 6, number: 2

  1. Christian G. Fermüller, Alexander Leitsch
    Hyperresolution and Automated Model Building. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:2, pp:173-203 [Journal]
  2. Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri
    A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:2, pp:205-231 [Journal]
  3. Gerd Große, Steffen Hölldobler, Josef Schneeberger
    Linear Deductive Planning. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:2, pp:233-262 [Journal]
  4. Michael Freund, Daniel J. Lehmann
    On Negation Rationality. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:2, pp:263-269 [Journal]
  5. Antony Galton
    An Investigation of `Non-Intermingling' Principles in Temporal Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:2, pp:271-294 [Journal]
  6. Grigori Schwarz, Miroslaw Truszczynski
    Nonmonotonic Reasoning is Sometimes Simpler! [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:2, pp:295-308 [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