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