Tenth International Conference on

Inductive Logic Programming (ILP2000)

July 24-28, 2000, London

Papers accepted for the conference track:

A new algorithm for learning range restricted Horn expressions (extended abstract)
Arias and Khardon

A refinement operator for description logics
Badea and Nienhuys-Cheng

Executing query packs in ILP
Blockeel, Dehaspe, Demoen, Janssens, Ramon and Vandecasteele

A logical database mining query language

Induction of recursive theories in the normal ILP setting: Issues and solutions
Esposito, Malerba and Lisi

Extending K-means clustering to first-order representations
Kirsten and Wrobel

Theory Completion using Inverse Entailment
Muggleton and Bryant

Solving selection problems using preference relation based on Bayesian learning
Nakano and Inuzuka

Searching the subsumption lattice by a genetic algorithm
Nezhad and Muggleton

Concurrent execution of optimal hypothesis search for inverse entailment
Ohwada, Nishiyama and Mizoguchi

Using ILP to improve planning in hierarchical reinforcement learning
Reid and Ryan

Learning in hybrid knowledge bases including terminological and Horn clause components
Rouveirol and Ventos

Inverse Entailment in Nonmonotonic logic programs

A note on two simple transformations for improving the efficiency of an ILP system
Santos Costa, Srinivasan and Camacho

New conditions for the existence of a least generalization under relative subsumption

Work-in-Progress track

A Formal Framework for Theory Learning Using Description Logics

Learning Term Rewriting Systems from Entailment
Arimura, Sakamoto and Arikawa

A Higher-order Approach to Meta-learning
Bensusan, Giraud-Carrier and Kennedy

Two Advanced Transormations for Improving the Efficiency of an ILP system
Blockeel, Demoen, Janssens, Vandecasteele and Van Laer

A New Declarative Bias for ILP: Construction Modes
Erdem and Flener

Universal Learning of Classes from Sparse and Non-uniform Evidence
Ferri-Ramirez, Hernandez-Orallo and Ramirez-Quintana

Decomposing Probability Distributions on Structured Individuals
Flach and Lachiche

On the Completion of Inverse Entailment for Mutual Recursion and its Application to Self Recursion
Furukawa and Ozaki

A Topological Study of the Upward Refinement Operators in ILP
Gutierrez-Naranjo, Alonso-Jimenez and Borrego-Diaz

Bayesian Logic Programs
Kersting and De Raedt

Bottom-Up Propositionalization
Kramer and Frank

Using an ILP Algorithm to Learn Logic Programs for Reasoning about Actions
Lorenzo and Otero

Selective Inductive Logic Programming

A Proposal for Inductive Learning Agent Using First-Order Logic
Matsui, Inuzuka and Seki

Composition of Biasses of Inductive Logic Programming
Moal and Vrain

An Efficient Hypothesis Search Algorithm Based on Best-Bound Search
Ohara, Babaguchi and Kitahashi

Using Belief Networks to Neutralize Known Dependencies in Conceptual Clustering
Ramon and Dehaspe

Identification in the Limit and Constraint ILP

Learning First Order Logic Time Series Classifiers
Rodriguez, Alonso and Bostrom

ILP for Automated Telephony
Zelezny, Miksovsky, Stepankova and Zidek