Journal of Logic Programming, Volume 40

Volume 40, Number 1, July 1999

• Stefan Brass, Jürgen Dix: Semantics of (disjunctive) Logic Programs Based on Partial Evaluation. 1-46
• Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo: An Approach to Declarative Programming Based on a Rewriting Logic. 47-87
• Paqui Lucio, Fernando Orejas, Elvira Pino: An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs. 89-124

Volume 40, Numbers 2-3, August 1999

• Stephen Muggleton, David Page: Guest Editors' Introduction: Inductive Logic Programming. 125-126
• Kerry Taylor: Generalization by Absorption of Definite Clauses. 127-157
• Henrik Boström, Peter Idestam-Almquist: Induction of Logic Programs by Example-Guided Unfolding. 159-183
• Ashwin Srinivasan, Rui Camacho: Numerical Reasoning with an ILP System Capable of Lazy Evaluation and Customised Search. 185-213
• Nada Lavrac, Dragan Gamberger, Viktor Jovanoski: A Study of Relevance for Learning in Deductive Databases. 215-249
• Anke D. Rieger: Optimizing General Chain Programs. 251-271
• Russell Greiner: The Complexity of Revising Logic Programs. 273-298