Journal of Logic Programming, Volume 17

Volume 17, Number 1, October 1993

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

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