![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
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 H. Muggleton, David Page:
Guest Editors' Introduction: Inductive Logic Programming. 125-126 - Kerry L. 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.