Journal of Logic Programming, Volume 17

Volume 17, Number 1, October 1993

• James Harland:
  Success and Failure for Hereditary Harrop Formulae. 1-29
  
• Hai-Ping Ko, David A. McAllester, Mark E. Nadel:
  Lower Bounds for the Lengths of Refutations. 31-58
  
• Gopal Gupta, Bharat Jayaraman:
  And-Or Parallelism on Shared-Memory Multiprocessors. 59-89
  , preliminary version: NACLP 1989: 332-349

Volume 17, Numbers 2/3&4, November 1993

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

Last update Tue Feb 14 04:20:42 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page