Inductive Logic Programming

10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings

James Cussens, Alan Frisch (Herausgeber)

Buch | Softcover

X, 262 Seiten

2000 | 2000
Springer Berlin (Verlag)
978-3-540-67795-6 (ISBN)

Artikel merken

Thisvolumecontainsoneinvitedand?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 . . . . . . . . . . . . . . . . . . . . . . . . . .

Invited 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.

Erscheint lt. Verlag	12.7.2000
Reihe/Serie	Lecture Notes in Artificial Intelligence
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	X, 262 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	390 g
Themenwelt	Mathematik / Informatik ► Informatik ► Betriebssysteme / Server
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Schlagworte	Algorithmic Learning • Data Mining • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • inductive learning • Inductive Logic Programming • Induktive Logik • inference • Knowledge • Knowledge Discovery • learning • Logic • Logic Programming • Logische Programmierung • machine learning • Maschinelles Lernen • programming • Rule Induction
ISBN-10	3-540-67795-X / 354067795X
ISBN-13	978-3-540-67795-6 / 9783540677956
Zustand	Neuware