1.

Record Nr.

UNINA9910768177703321

Titolo

Inductive Logic Programming : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings / / edited by Rui Camacho, Ross King, Ashwin Srinivasan

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004

ISBN

3-540-30109-7

Edizione

[1st ed. 2004.]

Descrizione fisica

1 online resource (IX, 358 p.)

Collana

Lecture Notes in Artificial Intelligence ; ; 3194

Classificazione

007.64

Disciplina

005.115

Soggetti

Software engineering

Artificial intelligence

Computer programming

Mathematical logic

Software Engineering/Programming and Operating Systems

Artificial Intelligence

Programming Techniques

Mathematical Logic and Formal Languages

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

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.

Sommario/riassunto

“How often we recall, with regret”, wrote Mark Twain about editors, “that Napoleon once shot at a magazine editor and missed him and killed a publisher. But we remember with charity, that his intentions were good. ” Fortunately, we live in more forgiving times, and are openly able to express our pleasure at being the editors of this volume containing the papers selected for presentation at the 14th International Conference on Inductive Logic Programming. ILP 2004 was held in Porto from the 6th to the 8th of September, under the auspices of the Department of Electrical Engineering and Computing of the Faculty of Engineering of the University of Porto (FEUP), and the Laborat´ orio de Inteligˆ encia Arti?cial e Ciˆ encias da Computa¸ c˜ ao (LIACC). This annual me- ing of ILP practitioners and curious outsiders is intended to act as the premier forum for presenting the most recent and exciting work in the ?eld. Six invited talks—three from ?elds outside ILP, but nevertheless highly relevant to it— and 20 full presentations formed the nucleus of the conference. It is the full-length papersofthese20presentationsthatcomprisethebulkofthisvolume. Asisnow common with the ILP conference, presentations made to a “Work-in-Progress” track will, hopefully, be available elsewhere. We gratefully acknowledge the continued support of Kluwer Academic P- lishers for the “Best Student Paper” award on behalf of the Machine Lea- ing journal; and Springer-Verlag for continuing to publish the proceedings of these conferences.