04425nam 22007695 450 99646581080331620200706072216.03-540-44797-010.1007/3-540-44797-0(CKB)1000000000211555(SSID)ssj0000323940(PQKBManifestationID)11285439(PQKBTitleCode)TC0000323940(PQKBWorkID)10303836(PQKB)11534178(DE-He213)978-3-540-44797-9(MiAaPQ)EBC3072315(PPN)155210513(EXLCZ)99100000000021155520121227d2001 u| 0engurnn|008mamaatxtccrInductive Logic Programming[electronic resource] 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings /edited by Celine Rouveirol, Michele Sebag1st ed. 2001.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2001.1 online resource (IX, 259 p.) Lecture Notes in Artificial Intelligence ;2157Bibliographic Level Mode of Issuance: Monograph3-540-42538-1 Includes bibliographical references and index.A Refinement Operator for Theories -- Learning Logic Programs with Neural Networks -- A Genetic Algorithm for Propositionalization -- Classifying Uncovered Examples by Rule Stretching -- Relational Learning Using Constrained Confidence-Rated Boosting -- Induction, Abduction, and Consequence-Finding -- From Shell Logs to Shell Scripts -- An Automated ILP Server in the Field of Bioinformatics -- Adaptive Bayesian Logic Programs -- Towards Combining Inductive Logic Programming with Bayesian Networks -- Demand-Driven Construction of Structural Features in ILP -- Transformation-Based Learning Using Multirelational Aggregation -- Discovering Associations between Spatial Objects: An ILP Application -- ?-Subsumption in a Constraint Satisfaction Perspective -- Learning to Parse from a Treebank: Combining TBL and ILP -- Induction of Stable Models -- Application of Pruning Techniques for Propositional Learning to Progol -- Application of ILP to Cardiac Arrhythmia Characterization for Chronicle Recognition -- Efficient Cross-Validation in ILP -- Modelling Semi-structured Documents with Hedges for Deduction and Induction -- Learning Functions from Imperfect Positive Data.Lecture Notes in Artificial Intelligence ;2157Architecture, ComputerSoftware engineeringArtificial intelligenceComputer programmingMathematical logicAlgorithmsComputer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Software 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/I16048Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Architecture, Computer.Software engineering.Artificial intelligence.Computer programming.Mathematical logic.Algorithms.Computer System Implementation.Software Engineering/Programming and Operating Systems.Artificial Intelligence.Programming Techniques.Mathematical Logic and Formal Languages.Algorithm Analysis and Problem Complexity.005.1/15Rouveirol Celineedthttp://id.loc.gov/vocabulary/relators/edtSebag Micheleedthttp://id.loc.gov/vocabulary/relators/edtILP (Conference)BOOK996465810803316Inductive Logic Programming772244UNISA