The SCEAS System
Navigation Menu

Journals in DBLP

J. Log. Program.
1996, volume: 27, number: 2

  1. Wlodzimierz Drabent
    Completeness of SLDNF-Resolution for Nonfloundering Queries. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1996, v:27, n:2, pp:89-106 [Journal]
  2. Katsumi Inoue, Chiaki Sakama
    A Fixpoint Characterization of Abductive Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1996, v:27, n:2, pp:107-136 [Journal]
  3. Agostino Cortesi, Gilberto Filé, William H. Winsborough
    Optimal Groundness Analysis Using Propositional Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1996, v:27, n:2, pp:137-167 [Journal]
  4. Weidong Chen
    Extending Prolog with Nonmonotonic Reasoning. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1996, v:27, n:2, pp:169-183 [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