06272nam 22007455 450 991076817770332120200629231423.03-540-30109-710.1007/b10011(CKB)1000000000212524(DE-He213)978-3-540-30109-7(SSID)ssj0000178506(PQKBManifestationID)11156317(PQKBTitleCode)TC0000178506(PQKBWorkID)10240310(PQKB)11290154(MiAaPQ)EBC3088537(PPN)155176307(EXLCZ)99100000000021252420121227d2004 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierInductive Logic Programming 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings /edited by Rui Camacho, Ross King, Ashwin Srinivasan1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (IX, 358 p.) Lecture Notes in Artificial Intelligence ;3194Bibliographic Level Mode of Issuance: Monograph3-540-22941-8 Includes bibliographical references and index.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.“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.Lecture Notes in Artificial Intelligence ;3194Software engineeringArtificial intelligenceComputer programmingMathematical logicSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Software engineering.Artificial intelligence.Computer programming.Mathematical logic.Software Engineering/Programming and Operating Systems.Artificial Intelligence.Programming Techniques.Mathematical Logic and Formal Languages.005.115007.64NDC9Camacho Ruiedthttp://id.loc.gov/vocabulary/relators/edtKing Rossedthttp://id.loc.gov/vocabulary/relators/edtSrinivasan Ashwinedthttp://id.loc.gov/vocabulary/relators/edtILP (Conference)MiAaPQMiAaPQMiAaPQBOOK9910768177703321Inductive Logic Programming2804417UNINA