LEADER 10121nam 22006495 450 001 9910768435503321 005 20251116234107.0 010 $a3-540-44960-4 024 7 $a10.1007/3-540-44960-4 035 $a(CKB)1000000000211281 035 $a(SSID)ssj0000323939 035 $a(PQKBManifestationID)11240571 035 $a(PQKBTitleCode)TC0000323939 035 $a(PQKBWorkID)10305113 035 $a(PQKB)11535451 035 $a(DE-He213)978-3-540-44960-7 035 $a(MiAaPQ)EBC3072492 035 $a(PPN)155221078 035 $a(BIP)6547055 035 $a(EXLCZ)991000000000211281 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aInductive Logic Programming $e10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings /$fedited by James Cussens, Alan Frisch 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (X, 262 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1866 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-67795-X 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Paper -- ILP: Just Do It -- Contributed Papers -- A New Algorithm for Learning Range Restricted Horn Expressions -- A Refinement Operator for Description Logics -- Executing Query Packs in ILP -- A Logical Database Mining Query Language -- Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions -- Extending K-Means Clustering to First-Order Representations -- Theory Completion Using Inverse Entailment -- Solving Selection Problems Using Preference Relation Based on Bayesian Learning -- Concurrent Execution of Optimal Hypothesis Search for Inverse Entailment -- Using ILP to Improve Planning in Hierarchical Reinforcement Learning -- Towards Learning in CARIN-ALN -- Inverse Entailment in Nonmonotonic Logic Programs -- A Note on Two Simple Transformations for Improving the Efficiency of an ILP System -- Searching the Subsumption Lattice by a Genetic Algorithm -- New Conditions for the Existence of Least Generalizations under Relative Subsumption. 330 $aThisvolumecontainsoneinvitedand'fteensubmittedpaperspresentedatthe Tenth International Conference on Inductive Logic Programming (ILP2000). The'fteenacceptedpaperswereselectedbytheprogramcommitteefromthe 37paperssubmittedtotheconference. Eachpaperwascarefullyreviewedby threereferees. ILP2000washeldatImperialCollege,London,24-27July2000andwasin- grated with the First International Conference on Computational Logic (CL2000). With ILP''s strong roots in computational logic, this was a na- ralmarriage. CL2000wasa've-dayextravaganza,incorporatingboththeSixth InternationalConferenceonRulesandObjectsinDatabases(DOOD2000)and theTenthInternationalWorkshoponLogic-basedProgramSynthesisandTra- formation(LOPSTR2000)andfeaturingeightinvitedspeakers,twelvetutorials, andsevena'liatedworkshops. RegistrantsforCL2000andILP2000couldmove freelybetweenthetwoevents,themaindistinctionbetweentheeventsbeings- arateconferenceproceedings. WewishtothankalltheauthorswhosubmittedtheirpaperstoILP2000; theprogramcommitteemembers,andotherreviewerswhodidathoroughjobin spiteofdemandingdeadlines;andourinvitedspeaker,DavidPage. Thanksalso toAlfredHofmann,andeveryoneelseatSpringerfortheirsmoothhandlingof theseproceedings. WewouldalsoliketothanktheorganisersofCL2000,whose cooperation brought the two events together: John Lloyd (Program Chair), Marek Sergot (Conference Chair), Frank Kriwaczek and Francesca Toni (- calOrganisers),FemkevanRaamsdonk(PublicityChair)andSandroEtalle (Workshop Chair). Finally, we are grateful to our sponsors for their ?nancial support. May2000 JamesCussens&AlanFrisch ProgramChairs ILP2000 ILP2000 Program Committee HenrikBostr¨om(UniversityofStockholm,Sweden) IvanBratko(UniversityofLjubljana,Slovenia) JamesCussens(UniversityofYork,UK) Shan-HweiNienhuys-Cheng(UniversityofRotterdam,Netherlands) WilliamCohen(WhizbangsLabs,USA) LucDeRaedt(UniversityofFreiburg,Germany) Sa'soD'zeroski(Jo'zefStefanInstitute,Ljubljana) PeterFlach(UniversityofBristol,UK) AlanFrisch(UniversityofYork,UK) KoichiFurukawa(UniversityofKeio,Japan) RoniKhardon(UniversityofEdinburgh,UK) J¨org-UweKietz(SwissLife,Switzerland) NadaLavra'c(Jo'zefStefanInstitute,Slovenia) JohnLloyd(AustralianNationalUniversity,Australia) StanMatwin(UniversityofOttawa,Canada) RaymondMooney(UniversityofTexas,USA) StephenMuggleton(UniversityofYork,UK) DavidPage(UniversityofWisconsin,USA) BernhardPfahringer(UniversityofWaikato,NewZealand) C´elineRouveirol(Universit´edeParis-Sud,France) ClaudeSammut(UniversityofNewSouthWales,Australia) ´ Mich`eleSebag(EcolePolytechnique,France) AshwinSrinivasan(UniversityofOxford,UK) PrasadTadepalli(OregonStateUniversity,USA) StefanWrobel(UniversityofMagdeburg,Germany) AkihiroYamamoto(UniversityofHokkaido,Japan) Additional Referees ´ ErickAlphonse(Universit´edeParis-Sud,France) LiviuBadea(NationalInstituteforResearchandDevelopmentinInformatics, Romania) DamjanDemsar(Jo'zefStefanInstitute,Slovenia) ElisabethGoncalves(Universit´edeParis-Sud,France) MarkoGrobelnik(Jo'zefStefanInstitute,Slovenia) ClaireKennedy(UniversityofBristol,UK) DanielKudenko(UniversityofYork,UK) JohanneMorin(UniversityofOttawa,Canada) TomonobuOzaki(KeioUniversity,Japan) EdwardRoss(UniversityofBristol,UK) LjupcoTodorovski(Jo'zefStefanInstitute,Slovenia) V´eroniqueVentos(Universit´edeParis-Sud,France) VIII ProgramCommitteeandReferees Sponsors of ILP2000 ILPNet2,TheEuropeanNetworkofExcellenceinInductiveLogicProgramming MLNet,TheEuropeanNetworkofExcellenceinMachineLearning CompulogNet,TheEuropeanNetworkofExcellenceinComputationalLogic Table of Contents IInvitedPaper ILP:JustDoIt. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 DavidPage II Contributed Papers ANewAlgorithmforLearningRangeRestrictedHornExpressions. . . . . . . 21 MartaArias,RoniKhardon ARe'nementOperatorforDescriptionLogics. . . . . . . . . . . . . . . . . . . . . . . . . 40 LiviuBadea,Shan-HweiNienhuys-Cheng ExecutingQueryPacksinILP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 HendrikBlockeel,LucDehaspe,BartDemoen,GerdaJanssens, JanRamon,HenkVandecasteele ALogicalDatabaseMiningQueryLanguage . . . . . . . . . . . . . . . . . . . . . . . . . . 78 LucDeRaedt Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93 FlorianaEsposito,DonatoMalerba,FrancescaA. Lisi ExtendingK-MeansClusteringtoFirst-OrderRepresentations. . . . . . . . . . . 112 MathiasKirsten,StefanWrobel TheoryCompletionUsingInverseEntailment . . . . . . . . . . . . . . . . . . . . . . . . . . 130 StephenH. Muggleton,ChristopherH. Bryant SolvingSelectionProblemsUsingPreferenceRelationBasedonBayesian Learning. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147 TomofumiNakano,NobuhiroInuzuka ConcurrentExecutionofOptimalHypothesisSearchforInverse Entailment. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165 HayatoOhwada,HiroyukiNishiyama,FumioMizoguchi UsingILPtoImprovePlanninginHierarchicalReinforcementLearning. . . 174 MarkReid,MalcolmRyan X TableofContents TowardsLearninginCARIN-ALN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191 C´elineRouveirol,V´eroniqueVentos InverseEntailmentinNonmonotonicLogicPrograms. . . . . . . . . . . . . . . . . . . 209 ChiakiSakama ANoteonTwoSimpleTransformationsforImprovingtheE'ciencyofan ILPSystem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225 V´?torSantosCosta,AshwinSrinivasan,RuiCamacho SearchingtheSubsumptionLatticebyaGeneticAlgorithm . . . . . . . . . . . . . 243 AlirezaTamaddoni-Nezhad,StephenH. Muggleton NewConditionsfortheExistenceofLeastGeneralizationsunderRelative Subsumption. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 253 AkihiroYamamoto Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265 ILP:JustDoIt DavidPage Dept. ofBiostatisticsandMedicalInformatics andDept. ofComputerSciences UniversityofWisconsin 1300UniversityAve. ,Rm5795MedicalSciences Madison,WI53706 U. S. A. page@biostat. wisc. edu Abstract. Inductivelogicprogramming(ILP)isbuiltonafoundation laidbyresearchinotherareasofcomputationallogic. Butinspiteofthis strongfoundation,at10yearsofageILPnowfacesanumberofnewch- lengesbroughtonbyexcitingapplicationopportunities. 410 0$aLecture Notes in Artificial Intelligence ;$v1866 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aComputer programming 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aComputer programming. 615 14$aArtificial Intelligence. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aProgramming Techniques. 676 $a005.1/15 702 $aCussens$b James$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFrisch$b Alan$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aILP (Conference) 906 $aBOOK 912 $a9910768435503321 996 $aInductive Logic Programming$92804417 997 $aUNINA