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

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.

Invited Papers.- Automated Synthesis of Data Analysis Programs: Learning in Logic.- At the Interface of Inductive Logic Programming and Statistics.- From Promising to Profitable Applications of ILP: A Case Study in Drug Discovery.- Systems Biology: A New Challenge for ILP.- Scaling Up ILP: Experiences with Extracting Relations from Biomedical Text.- Research Papers.- Macro-Operators Revisited in Inductive Logic Programming.- Bottom-Up ILP Using Large Refinement Steps.- On the Effect of Caching in Recursive Theory Learning.- FOIL-D: Efficiently Scaling FOIL for Multi-relational Data Mining of Large Datasets.- Learning an Approximation to Inductive Logic Programming Clause Evaluation.- Learning Ensembles of First-Order Clauses for Recall-Precision Curves: A Case Study in Biomedical Information Extraction.- Automatic Induction of First-Order Logic Descriptors Type Domains from Observations.- On Avoiding Redundancy in Inductive Logic Programming.- Generalization Algorithms for Second-Order Terms.- Circumscription Policies for Induction.- Logical Markov Decision Programs and the Convergence of Logical TD(?).- Learning Goal Hierarchies from Structured Observations and Expert Annotations.- Efficient Evaluation of Candidate Hypotheses in -log.- An Efficient Algorithm for Reducing Clauses Based on Constraint Satisfaction Techniques.- Improving Rule Evaluation Using Multitask Learning.- Learning Logic Programs with Annotated Disjunctions.- A Simulated Annealing Framework for ILP.- Modelling Inhibition in Metabolic Pathways Through Abduction and Induction.- First Order Random Forests with Complex Aggregates.- A Monte Carlo Study of Randomised Restarted Search in ILP.- Addendum.- Learning, Logic, and Probability: A Unified View.