Foundations of Inductive Logic Programming

Front Cover
Springer Science & Business Media, Apr 18, 1997 - Computers - 404 pages
0 Reviews
Inductive Logic Programming is a young and rapidly growing field combining machine learning and logic programming. This self-contained tutorial is the first theoretical introduction to ILP; it provides the reader with a rigorous and sufficiently broad basis for future research in the area.
In the first part, a thorough treatment of first-order logic, resolution-based theorem proving, and logic programming is given. The second part introduces the main concepts of ILP and systematically develops the most important results on model inference, inverse resolution, unfolding, refinement operators, least generalizations, and ways to deal with background knowledge. Furthermore, the authors give an overview of PAC learning results in ILP and of some of the most relevant implemented systems.
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

III
3
IV
4
V
5
VII
7
VIII
9
IX
15
XI
17
XII
18
XCII
203
XCIII
205
XCV
207
XCVI
209
XCVII
213
XCVIII
217
XCIX
219
C
220

XIII
22
XIV
24
XV
29
XVI
33
XVII
34
XVIII
35
XIX
36
XX
39
XXII
40
XXIII
45
XXIV
48
XXV
50
XXVI
51
XXVII
55
XXVIII
57
XXIX
59
XXX
63
XXXI
65
XXXII
68
XXXIII
73
XXXIV
75
XXXV
77
XXXVI
78
XXXVIII
79
XXXIX
82
XL
84
XLI
87
XLIII
90
XLIV
91
XLV
93
XLVI
94
XLVII
95
XLVIII
98
XLIX
100
L
103
LI
105
LII
106
LIII
108
LV
109
LVI
111
LVII
113
LVIII
119
LIX
122
LX
125
LXI
126
LXII
127
LXIII
130
LXIV
133
LXV
141
LXVI
145
LXVII
150
LXVIII
153
LXIX
154
LXXI
155
LXXII
157
LXXIII
159
LXXIV
161
LXXV
163
LXXVI
165
LXXVII
172
LXXVIII
173
LXXIX
174
LXXX
177
LXXXI
179
LXXXII
180
LXXXIV
182
LXXXV
184
LXXXVI
186
LXXXVII
191
LXXXVIII
192
LXXXIX
195
XC
197
XCI
198
CI
225
CIII
227
CV
232
CVII
234
CIX
237
CX
240
CXI
241
CXII
243
CXIII
245
CXIV
247
CXV
249
CXVI
251
CXVII
252
CXVIII
256
CXX
257
CXXI
260
CXXIII
261
CXXIV
262
CXXV
265
CXXVI
266
CXXVII
267
CXXVIII
274
CXXIX
275
CXXX
277
CXXXI
278
CXXXII
279
CXXXIII
281
CXXXV
285
CXXXVI
287
CXXXVIII
288
CXXXIX
289
CXLI
294
CXLII
297
CXLIII
299
CXLIV
300
CXLV
303
CXLVI
305
CXLVIII
306
CXLIX
310
CL
311
CLI
315
CLII
316
CLIII
317
CLIV
319
CLV
321
CLVI
322
CLVII
324
CLVIII
326
CLX
328
CLXI
329
CLXIII
330
CLXV
331
CLXVI
332
CLXVII
333
CLXVIII
335
CLXIX
338
CLXX
340
CLXXI
341
CLXXII
342
CLXXIII
345
CLXXIV
346
CLXXV
347
CLXXVI
350
CLXXVII
352
CLXXVIII
354
CLXXIX
358
CLXXX
359
CLXXXI
360
CLXXXII
365
CLXXXIII
369
CLXXXIV
391
CLXXXV
395
Copyright

Common terms and phrases

Popular passages

Page 386 - Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice-Hall, Englewood Cliffs, New Jersey, 1995.

References to this book

All Book Search results »