Tenth International Conference on

Inductive Logic Programming (ILP2000)

July 24-28, 2000, London


ILP Session 1
Monday 24th July: 14:30 - 16:00

Session chair: Ashwin Srinivasan

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

A logical database mining query language
De Raedt

Theory Completion using Inverse Entailment
Muggleton and Bryant

ILP Session 2
Monday 24th July: 16:30 - 18:00

Session chair: Jörg-Uwe Kietz

A refinement operator for description logics
Badea and Nienhuys-Cheng

Searching the subsumption lattice by a genetic algorithm
Nezhad and Muggleton

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

ILP Invited talk
Tuesday 25th July: 09:00 - 10:00

Session chair: Alan Frisch

ILP: Just Do It
David Page

ILP Tutorial
Tuesday 25th July: 11:30 - 13:00

Session chair: James Cussens

Knowledge representation for Inductive Logic Programming
Peter Flach

ILP Session 3
Tuesday 25th July: 14:30 - 16:00

Session chair: Luc De Raedt

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

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

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

ILP Session 4
Tuesday 25th July: 16:30 - 18:00

Session chair: James Cussens

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

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

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

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

ILP for Automated Telephony
Zelezny, Miksovsky, Stepankova and Zidek

ILP Tutorial
Wednesday 26th July: 11:30 - 13:00

Session chair: John Lloyd

Applications of Inductive Logic Programming
Stephen Muggleton

ILP Session 5
Wednesday 26th July: 14:30 - 16:00

Session chair: Stephen Muggleton

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

Inverse Entailment in Nonmonotonic logic programs

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

ILP Session 6
Wednesday 26th July: 16:30 - 18:00

ILPNet2 meeting

Community meeting

ILP Session 7
Thursday 27th July: 14:30 - 16:00

Session chair: Nada Lavrac

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

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

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

ILP Session 8
Thursday 27th July: 16:30 - 18:00

Session chair: Alan Frisch

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

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

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

Identification in the Limit and Constraint ILP