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 BibTeX
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 BibTeX
Paqui Lucio, Fernando Orejas, Elvira Pino: An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs. 89-124 BibTeX

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