| Vol-35 © 2000 for the individual papers by the papers' authors. Copying permitted for private and scientific purposes. Re-publication of material on this page requires permission by the copyright owners.

# Inductive Logic Programming
10th International Conference, ILP 2000
Work-in-progress reports

London, July 2000.

Edited by

### James Cussens
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

## Table of Contents

1. A Formal Framework for Theory Learning Using Description Logics
Alvarez
2. Learning Term Rewriting Systems from Entailment
Arimura, Sakamoto and Arikawa
3. A Higher-order Approach to Meta-learning
Bensusan, Giraud-Carrier and Kennedy
4. Two Advanced Transormations for Improving the Efficiency of an ILP system
Blockeel, Demoen, Janssens, Vandecasteele and Van Laer
5. A New Declarative Bias for ILP: Construction Modes
Erdem and Flener
6. Universal Learning of Classes from Sparse and Non-uniform Evidence
Ferri-Ramirez, Hernandez-Orallo and Ramirez-Quintana
7. Decomposing Probability Distributions on Structured Individuals
Flach and Lachiche
8. On the Completion of Inverse Entailment for Mutual Recursion and its Application to Self Recursion
Furukawa and Ozaki
9. A Topological Study of the Upward Refinement Operators in ILP
Gutierrez-Naranjo, Alonso-Jimenez and Borrego-Diaz
10. Bayesian Logic Programs
Kersting and De Raedt
11. Bottom-Up Propositionalization
Kramer and Frank
12. Using an ILP Algorithm to Learn Logic Programs for Reasoning about Actions
Lorenzo and Otero
13. Selective Inductive Logic Programming
Maclaren
14. A Proposal for Inductive Learning Agent Using First-Order Logic
Matsui, Inuzuka and Seki
15. Composition of Biasses of Inductive Logic Programming
Moal and Vrain
16. An Efficient Hypothesis Search Algorithm Based on Best-Bound Search
Ohara, Babaguchi and Kitahashi
17. Using Belief Networks to Neutralize Known Dependencies in Conceptual Clustering
Ramon and Dehaspe
18. Identification in the Limit and Constraint ILP
Richard
19. Learning First Order Logic Time Series Classifiers
Rodriguez, Alonso and Bostrom
20. ILP for Automated Telephony
Zelezny, Miksovsky, Stepankova and Zidek

Submitted by James Cussens, 1 November 2000