S.-H. Nienhuys-Cheng, R.

de Wolf
Foundations of Inductive Logic Programming
Series: Lecture Notes in Artificial Intelligence, Vol. 1228

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.

1997, XVIII, 410 p.

Printed book
Softcover
▶ 69,99 € | £59.99 | $84.99
▶ *74,89 € (D) | 76,99 € (A) | CHF 77.00

eBook
Available from your library or
▶ springer.com/shop

MyCopy
Printed eBook for just
▶ € | $ 24.99
▶ springer.com/mycopy

Order online at springer.com ▶ or for the Americas call (toll free) 1-800-SPRINGER ▶ or email us at:
customerservice@springer.com. ▶ For outside the Americas call +49 (0) 6221-345-4301 ▶ or email us at:
customerservice@springer.com.
The first € price and the £ and $ price are net prices, subject to local VAT. Prices indicated with * include VAT for books; the €(D) includes 7% for
Germany, the €(A) includes 10% for Austria. Prices indicated with ** include VAT for electronic products; 19% for Germany, 20% for Austria. All prices
exclusive of carriage charges. Prices and other details are subject to change without notice. All errors and omissions excepted.