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

✍ Scribed by Wray Buntine (auth.), Rui Camacho, Ross King, Ashwin Srinivasan (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2004
• Tongue: English
• Leaves: 377
• Series: Lecture Notes in Computer Science 3194 : Lecture Notes in Artificial Intelligence
• Edition: 1
• Category: Library

✦ Synopsis

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

Front Matter....Pages -
Automated Synthesis of Data Analysis Programs: Learning in Logic....Pages 1-1
At the Interface of Inductive Logic Programming and Statistics....Pages 2-3
From Promising to Profitable Applications of ILP: A Case Study in Drug Discovery....Pages 4-4
Systems Biology: A New Challenge for ILP....Pages 5-6
Scaling Up ILP: Experiences with Extracting Relations from Biomedical Text....Pages 7-7
Macro-Operators Revisited in Inductive Logic Programming....Pages 8-25
Bottom-Up ILP Using Large Refinement Steps....Pages 26-43
On the Effect of Caching in Recursive Theory Learning....Pages 44-62
FOIL-D: Efficiently Scaling FOIL for Multi-relational Data Mining of Large Datasets....Pages 63-79
Learning an Approximation to Inductive Logic Programming Clause Evaluation....Pages 80-97
Learning Ensembles of First-Order Clauses for Recall-Precision Curves: A Case Study in Biomedical Information Extraction....Pages 98-115
Automatic Induction of First-Order Logic Descriptors Type Domains from Observations....Pages 116-131
On Avoiding Redundancy in Inductive Logic Programming....Pages 132-146
Generalization Algorithms for Second-Order Terms....Pages 147-163
Circumscription Policies for Induction....Pages 164-179
Logical Markov Decision Programs and the Convergence of Logical TD( λ )....Pages 180-197
Learning Goal Hierarchies from Structured Observations and Expert Annotations....Pages 198-215
Efficient Evaluation of Candidate Hypotheses in $\mathcal{AL}$ -log....Pages 216-233
An Efficient Algorithm for Reducing Clauses Based on Constraint Satisfaction Techniques....Pages 234-251
Improving Rule Evaluation Using Multitask Learning....Pages 252-269
Learning Logic Programs with Annotated Disjunctions....Pages 270-287
A Simulated Annealing Framework for ILP....Pages 288-304
Modelling Inhibition in Metabolic Pathways Through Abduction and Induction....Pages 305-322
First Order Random Forests with Complex Aggregates....Pages 323-340
A Monte Carlo Study of Randomised Restarted Search in ILP....Pages 341-358
Learning, Logic, and Probability: A Unified View....Pages 359-359
Back Matter....Pages -

✦ Subjects

Artificial Intelligence (incl. Robotics); Programming Techniques; Mathematical Logic and Formal Languages