Inductive Logic Programming [electronic resource] : 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings /

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.