Vai al contenuto principale della pagina

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



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Inductive Logic Programming [[electronic resource] ] : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings / / edited by Rui Camacho, Ross King, Ashwin Srinivasan Visualizza cluster
Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Edizione: 1st ed. 2004.
Descrizione fisica: 1 online resource (IX, 358 p.)
Disciplina: 005.115
Soggetto topico: Software engineering
Artificial intelligence
Computer programming
Mathematical logic
Software Engineering/Programming and Operating Systems
Artificial Intelligence
Programming Techniques
Mathematical Logic and Formal Languages
Classificazione: 007.64
Persona (resp. second.): CamachoRui
KingRoss
SrinivasanAshwin
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.
Titolo autorizzato: Inductive Logic Programming  Visualizza cluster
ISBN: 3-540-30109-7
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 996465394303316
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Serie: Lecture Notes in Artificial Intelligence ; ; 3194
Recent advances in constraints : 12th Annual ERCIM international workshop on constraint solving and contraint logic programming, CSCLP 2007 : Rocquencourt, France, June 7-8, 2007 : Revised selected papaers / François Fages, Francesca Rossi, Sylvain Soliman (Eds.)
International workshop on constraint solving and constraint logic programming, CSCLP 2007 : <12.; : <2007
Recent advances in constraints : 13th Annual ERCIM international workshop on constraint solving and contraint logic programming, CSCLP 2008 : Rome, Italy, june 18-20, 2009 : Revised selected papaers / Angelo Oddi...[et al.] (Eds.)
International workshop on constraint solving and constraint logic programming, CSCLP 2008 : <13.; : <2008
Recent advances in constraints : 11th Annual ERCIM international workshop on constraint solving and contraint logic programming, CSCLP 2006 : Caparica, Portugal, June 26-28, 2006 : Revised selected and invited papers / François Azevedo...[et al.] (Eds.)
International workshop on constraint solving and constraint logic programming, CSCLP 2006 : <11.; : 2006
Messaggi e comunicazioni : trasformazioni della simiglianze in programmazione logica / Oscar Bettelli
BETTELLI, Oscar
Recent advances in constraints : joint ERCIM/CoLogNet international workshop on constraint solving and constraint logic programming, CSCLP 2005 : Uppsala, Sweden, June 20-22, 2005 / Brahim Hnich... [et al.] (Eds.) : revised selected and invited papers
International workshop on constraint solving and constraint logic programming : <2005