Journal of Logic Programming, Volume 41

Volume 41, Number 1, October 1999

• Joeri Engelfriet, Heinrich Herre: Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults. 1-25 BibTeX
• Birgit Elbl: A Declarative Semantics for Depth-First Logic Programs. 27-66 BibTeX
• Catherine Belleannée, Pascal Brisset, Olivier Ridoux: A Pragmatic Reconstruction of lambda-Prolog. 67-102 BibTeX
• Michael Codish, Cohavit Taboch: A Semantic Basis for the Termination Analysis of Logic Programs. 103-123 BibTeX
• Michael Codish: Worst-Case Groundness Analysis Using Positive Boolean Functions. 125-128 BibTeX
• Christos H. Papadimitriou, Martha Sideri: On the Floyd-Warshall Algorithm for Logic Programs. 129-137 BibTeX

Volume 41, Number 2-3, November 1999

• Annalisa Bossi, Yves Deville: Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2. 139-140 BibTeX
• Pierre Flener, Serap Yilmaz: Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects. 141-195 BibTeX
• Alberto Pettorossi, Maurizio Proietti: Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs. 197-230 BibTeX
• Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen: Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments. 231-277 BibTeX - Erratum: J. Log. Program. 43(3): 265(2000) BibTeX
• Germán Puebla, Manuel V. Hermenegildo: Abstract Multiple Specialization and Its Application to Program Parallelization. 279-316 BibTeX