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
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
Session chair: Alan Frisch
ILP: Just Do It
David Page
Session chair: James Cussens
Knowledge representation for Inductive Logic Programming
Peter Flach
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
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
Session chair: John Lloyd
Applications of Inductive Logic Programming
Stephen Muggleton
Session chair: Stephen Muggleton
Concurrent execution of optimal hypothesis search for inverse entailment
Ohwada, Nishiyama and Mizoguchi
Inverse Entailment in Nonmonotonic logic programs
Sakama
New conditions for the existence of a least generalization under relative
subsumption
Yamamoto
ILPNet2 meeting
Community meeting
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
Session chair: Alan Frisch
A Formal Framework for Theory Learning Using Description Logics
Alvarez
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
Maclaren
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
Richard