Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings

Camacho R. (ed.), King R. (ed.), Srinivasan A. (ed.)3540301097

This book constitutes the refereed proceedings of the 14th International Conference on Inductive Logic Programming, ILP 2004, held in Porto, Portugal, in September 2004.The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers address all current topics in inductive logic programming, ranging from theoretical and methodological issues to advanced applications in various areas.

---

Table of contents :
Table of Contents……Page 10
Automated Synthesis of Data Analysis Programs: Learning in Logic……Page 14
At the Interface of Inductive Logic Programming and Statistics……Page 15
From Promising to Profitable Applications of ILP: A Case Study in Drug Discovery……Page 17
Systems Biology: A New Challenge for ILP……Page 18
Scaling Up ILP: Experiences with Extracting Relations from Biomedical Text……Page 20
Macro-Operators Revisited in Inductive Logic Programming……Page 21
Bottom-Up ILP Using Large Refinement Steps……Page 39
On the Effect of Caching in Recursive Theory Learning……Page 57
FOIL-D: Efficiently Scaling FOIL for Multi-relational Data Mining of Large Datasets……Page 76
Learning an Approximation to Inductive Logic Programming Clause Evaluation……Page 93
Learning Ensembles of First-Order Clauses for Recall-Precision Curves: A Case Study in Biomedical Information Extraction……Page 111
Automatic Induction of First-Order Logic Descriptors Type Domains from Observations……Page 129
On Avoiding Redundancy in Inductive Logic Programming……Page 145
Generalization Algorithms for Second-Order Terms……Page 160
Circumscription Policies for Induction……Page 177
Logical Markov Decision Programs and the Convergence of Logical TD(λ)……Page 193
Learning Goal Hierarchies from Structured Observations and Expert Annotations……Page 211
Efficient Evaluation of Candidate Hypotheses in AL-log……Page 229
An Efficient Algorithm for Reducing Clauses Based on Constraint Satisfaction Techniques……Page 247
Improving Rule Evaluation Using Multitask Learning……Page 265
Learning Logic Programs with Annotated Disjunctions……Page 283
A Simulated Annealing Framework for ILP……Page 301
Modelling Inhibition in Metabolic Pathways Through Abduction and Induction……Page 318
First Order Random Forests with Complex Aggregates……Page 336
A Monte Carlo Study of Randomised Restarted Search in ILP……Page 354
Learning, Logic, and Probability: A Unified View……Page 372
Author Index……Page 374