Journals in DBLP

J. Log. Program.
1993, volume: 17, number: 2/3&4

1. Jack Minker
   An Overview of Nonmonotonic Reasoning and Logic Programming. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1993, v:17, n:2/3&4, pp:95-126 [Journal]
   
2. Marco Cadoli, Marco Schaerf
   A Survey of Complexity Results for Nonmonotonic Logics. [Citation Graph (3, 0)][DBLP]
   J. Log. Program., 1993, v:17, n:2/3&4, pp:127-160 [Journal]
   
3. Allen Van Gelder, John S. Schlipf
   Commonsense Axiomatizations for Logic Programs. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1993, v:17, n:2/3&4, pp:161-195 [Journal]
   
4. Melvin Fitting
   The Family of Stable Models. [Citation Graph (2, 0)][DBLP]
   J. Log. Program., 1993, v:17, n:2/3&4, pp:197-225 [Journal]
   
5. Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
   Non-Monotonic Reasoning with Logic Programming. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1993, v:17, n:2/3&4, pp:227-263 [Journal]
   
6. Gérard Ferrand, Pierre Deransart
   Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1993, v:17, n:2/3&4, pp:265-278 [Journal]
   
7. Weidong Chen, David Scott Warren
   A Goal-Oriented Approach to Computing the Well-Founded Semantics. [Citation Graph (1, 0)][DBLP]
   J. Log. Program., 1993, v:17, n:2/3&4, pp:279-300 [Journal]
   
8. Michael Gelfond, Vladimir Lifschitz
   Representing Action and Change by Logic Programs. [Citation Graph (1, 0)][DBLP]
   J. Log. Program., 1993, v:17, n:2/3&4, pp:301-321 [Journal]
   
9. L. Thorne McCarty
   Circumscribing Embedded Implications (without Stratifications). [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1993, v:17, n:2/3&4, pp:323-364 [Journal]