Inductive Logic Programming

This book constitutes the refereed proceedings of the 10th International Conference on Inductive Logic Programming, ILP 2000, held in London, UK in July 2000 as past of CL 2000. The 15 revised full papers presented together with an invited paper were carefully reviewed and selected from 37 submissions. The papers address all current issues in inductive logic programming and inductive learning, from foundational aspects to applications in various fields like data mining, knowledge discovery, and ILP system design.

Inhalt

Invited Paper.- ILP: Just Do It.- Contributed Papers.- A New Algorithm for Learning Range Restricted Horn Expressions.- A Refinement Operator for Description Logics.- Executing Query Packs in ILP.- A Logical Database Mining Query Language.- Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions.- Extending K-Means Clustering to First-Order Representations.- Theory Completion Using Inverse Entailment.- Solving Selection Problems Using Preference Relation Based on Bayesian Learning.- Concurrent Execution of Optimal Hypothesis Search for Inverse Entailment.- Using ILP to Improve Planning in Hierarchical Reinforcement Learning.- Towards Learning in CARIN-ALN.- Inverse Entailment in Nonmonotonic Logic Programs.- A Note on Two Simple Transformations for Improving the Efficiency of an ILP System.- Searching the Subsumption Lattice by a Genetic Algorithm.- New Conditions for the Existence of Least Generalizations under Relative Subsumption.