10th International Conference, ILP 2000

Work-in-progress reports

**Edited by**

Alan Frisch

Both at Department of Computer Science, University of York, UK

Supported by

- ILPNet2 - Network of Excellence inInductive Logic Programming
- MLnet - The European network of excellence in Machine Learning
- CompulogNet - The ESPRIT network of excellence in Computational Logic

- A Formal Framework for Theory Learning Using Description Logics
- Learning Term Rewriting Systems from Entailment
- A Higher-order Approach to Meta-learning
- Two Advanced Transormations for Improving the Efficiency of an ILP system
- A New Declarative Bias for ILP: Construction Modes
- Universal Learning of Classes from Sparse and Non-uniform Evidence
- Decomposing Probability Distributions on Structured Individuals
- On the Completion of Inverse Entailment for Mutual Recursion and its Application to Self Recursion
- A Topological Study of the Upward Refinement Operators in ILP
- Bayesian Logic Programs
- Bottom-Up Propositionalization
- Using an ILP Algorithm to Learn Logic Programs for Reasoning about Actions
- Selective Inductive Logic Programming
- A Proposal for Inductive Learning Agent Using First-Order Logic
- Composition of Biasses of Inductive Logic Programming
- An Efficient Hypothesis Search Algorithm Based on Best-Bound Search
- Using Belief Networks to Neutralize Known Dependencies in Conceptual Clustering
- Identification in the Limit and Constraint ILP
- Learning First Order Logic Time Series Classifiers
- ILP for Automated Telephony

Submitted by James Cussens, 1 November 2000