Foundations of Inductive Logic Programming

By: Shan-Hwei Nienhuys-Cheng, Ronald de Wolf

Write A Review

Paperback | 18 April 1997

At a Glance

Paperback
428 Pages

Dimensions(cm)
24.13 x 15.88 x 2.54

Paperback

$129.00

or 4 interest-free payments of $32.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Artificial Intelligence Mathematical Theory of Computation Computer Architecture & Logic Design Philosophy Philosophy & Logic Computer Programming & Software Development Object-Oriented Programming or OOP Programming & Scripting Languages Software Engineering

Mathematics Mathematical Foundation Mathematical Logic

About the Book
Logic	p. 1
Propositional Logic	p. 3
First-Order Logic	p. 17
Normal Forms and Herbrand Models	p. 35
Resolution	p. 55
Subsumption Theorem and Refutation Completeness	p. 75
Linear and Input Resolution	p. 93
SLD-Resolution	p. 105
SLDNF-Resolution	p. 127
Inductive Logic Programming	p. 161
What Is Inductive Logic Programming?	p. 163
The Framework for Model Inference	p. 179
Inverse Resolution	p. 197
Unfolding	p. 207
The Lattice and Cover Structure of Atoms	p. 219
The Subsumption Order	p. 243
The Implication Order	p. 265
Background Knowledge	p. 279
Refinement Operators	p. 299
PAC Learning	p. 321
Further Topics	p. 345
List of Symbols	p. 365
Bibliography	p. 369
Author Index	p. 391
Subject Index	p. 395
Table of Contents provided by Blackwell. All Rights Reserved.

Foundations of Inductive Logic Programming

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Addiction by Design

Machine Gambling in Las Vegas

The C Programming Language

Prentice Hall Software

Coding For Kids For Dummies

For Kids for Dummies

Python All-in-One For Dummies

3rd Edition

Generative Artificial Intelligence

Technology and Applications

Open for Business

Harnessing the Power of Open-Source in the Corporate World

Open for Business

Harnessing the Power of Open-Source in the Corporate World

Designing the User Experience of Game Development Tools

Designing the User Experience of Game Development Tools

Unleashing User Innovation

Multidisciplinary Perspectives on End-User Development and Generative AI

Bioengineering and IoT

Shaping the Future of Healthcare

Practical Approach to Open Source Intelligence (OSINT)

Volume 2

Software Architecture with C++ - Second Edition

Designing robust C++ systems with modern architectural practices

The Rust Programming Handbook

An end-to-end guide to mastering Rust fundamentals

Tokenizing the Future

A Guide to Web3 and the Metaverse

Machine-Learning-Assisted Software Defect Prediction

Hands-on Software Architecture

Unified Architecture Process

Technologies and Innovation

11th International Conference, CITI 2025, Guayaquil, Ecuador, December 8-11, 2025, Proceedings

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Make : Analog Synthesizers

A modern approach to old-school sound synthesis

The Art of Game Design

A Book of Lenses, Third Edition

This product is categorised by