springer springer jul 2000 (282 Ergebnisse)

Buch. Zustand: Neu. Neuware -We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artifi cial intelligence. In recent years theoretical advances in these areas and especially in logic have accelerated the study of context in the international community. An annual conference is held and many researchers have come to realise that many of the old puzzles should be reconsidered with proper attention to context. The volume editors and contributors are from among the most active front-line researchers in the area and the contents shows how wide and vigorous this area is. There are strong scientific connections with earlier volumes in the series. I am confident that the appearance of this book in our series will help secure the study of context as an important area of applied logic. D.M.Gabbay INTRODUCTION This book is a result of the First International and Interdisciplinary Con ference on Modelling and Using Context, which was organised in Rio de Janeiro in January 1997, and contains a selection of the papers presented there, refereed and revised through a process of anonymous peer review. The treatment of contexts as bona-fide objects of logical formalisation has gained wide acceptance in recent years, following the seminal impetus by McCarthy in his 'lUring award address.

Buch. Zustand: Neu. Neuware - Kant's Critique of Judgment accounts for the sharing of a common world, experienced affectively, by a diverse human plurality. In order to appreciate Kant's project, Judging Appearances retrieves the connection between appearance and judgment in the Critique of Judgment. Kleist emphasizes the important but neglected idea of a sensus communis, which provides the indeterminate criterion for judgments regarding appearance. Judging Appearances examines the themes of appearance and judgment against the background of Kant's debt to Leibniz and Shaftesbury. Drawing upon treatments by Husserl, Sartre, Ricoeur and Arendt, Kleist delineates the proto-phenomenological method through which Kant uncovers the idea of a sensus communis. Kleist shows that taste is a discipline of opening oneself to appearance, requiring a subject who dwells in a common world of appearances among a diverse human plurality. This volume will prove valuable for anyone interested in a fresh approach to themes at the heart of Kant's aesthetics.

Buch. Zustand: Neu. Neuware - We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artifi cial intelligence. In recent years theoretical advances in these areas and especially in logic have accelerated the study of context in the international community. An annual conference is held and many researchers have come to realise that many of the old puzzles should be reconsidered with proper attention to context. The volume editors and contributors are from among the most active front-line researchers in the area and the contents shows how wide and vigorous this area is. There are strong scientific connections with earlier volumes in the series. I am confident that the appearance of this book in our series will help secure the study of context as an important area of applied logic. D.M.Gabbay INTRODUCTION This book is a result of the First International and Interdisciplinary Con ference on Modelling and Using Context, which was organised in Rio de Janeiro in January 1997, and contains a selection of the papers presented there, refereed and revised through a process of anonymous peer review. The treatment of contexts as bona-fide objects of logical formalisation has gained wide acceptance in recent years, following the seminal impetus by McCarthy in his 'lUring award address.

Buch. Zustand: Neu. Neuware - In preparation for role-play during a RIPP class, 6th grade students consider the following conflict situation: Sharon and Josie, who are good friends, tryout for the basketball team. Josie makes the team, but Sharon does not. The week after tryouts, Sharon tries to pick a fight with Josie, calling her a 'cheater' and 'some one the coach felt sorry for. ' Josie is in a bind; she wants to remain friends with Sharon, but she is really angry with Sharon for treating her so badly. What can Josie do in this situation What type of self-talk will help her work out this prob lem with Sharon and keep the friendship During the role-play, Sharon calls Josie a cheater. Then, before Josie re sponds, two students representing her positive and negative sides take turns whis pering into her ear. Negative self-talk: 'Boy, is she a loser! What if everyone believes her and thinks that I cheated to get on the team !' Positive self-talk: 'I know I worked hard to get on the team! Sharon must really be hurt that she didn't make it. I can talk to her later when she's cooled down, and maybe we can do something together after practice. ' Josie listens to the two voices, and decides that the best approach is to ignore Sharon's comments for now and to call her later that day to see if they can do something together. This description of students dealing with everyday conflicts is quite real.

Buch. Zustand: Neu. Neuware - Because of many advances in medicine and biotechnology, an increasing number of individuals are surviving into old age, and we are now challenged to apply sophisticated medical knowledge to the care of the elderly citizen. In nephrology, individuals older than 65 are the fastest-growing group of patients requiring dialysis. Similarly, in increasing numbers, elderly persons present themselves with renal complaints to their family doctor, the geriatrician or the nephrologist. In August 1998, with the financial support of the John A. Hartford Foundation, leaders in geriatrics, nephrology and urology met in Jasper, Alberta, for one week to discuss their areas of special knowledge and to learn from each other. Geriatricians learned from nephrologists, nephrologists learned from geriatricians, and both came to see that they had much in common. All participants discovered a common interest, challenge and commitment, namely, to provide the best renal care to a progressively aging population and to teach their fellows the principles of the other collaborating specialties. This book contains all the papers presented at this meeting and also the text of group discussions on Training and Education, Special Clinical Problems in Geriatric Patients, and Recommendations in Basic and Clinical Research. Nephrology and Geriatrics Integrated will prove useful to both nephrologists and geriatricians in their efforts to manage the renal complaints of the elderly, who come to them in increasing numbers.

Buch. Zustand: Neu. Neuware -We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artifi cial intelligence. In recent years theoretical advances in these areas and especially in logic have accelerated the study of context in the international community. An annual conference is held and many researchers have come to realise that many of the old puzzles should be reconsidered with proper attention to context. The volume editors and contributors are from among the most active front-line researchers in the area and the contents shows how wide and vigorous this area is. There are strong scientific connections with earlier volumes in the series. I am confident that the appearance of this book in our series will help secure the study of context as an important area of applied logic. D.M.Gabbay INTRODUCTION This book is a result of the First International and Interdisciplinary Con ference on Modelling and Using Context, which was organised in Rio de Janeiro in January 1997, and contains a selection of the papers presented there, refereed and revised through a process of anonymous peer review. The treatment of contexts as bona-fide objects of logical formalisation has gained wide acceptance in recent years, following the seminal impetus by McCarthy in his 'lUring award address. 232 pp. Englisch.

Buch. Zustand: Neu. Neuware - Although the first description of patients with what we now call Crohn's disease or ulcerative colitis was published well before 1900, both disorders seem to be diseases of the twentieth century. At the very start of the twenty-first century, it therefore seems appropriate to look back and at the same time look forward and to assess what knowledge has been gained during the last 100 years and in what direction research and thereby clinical practice will go in the future. This book, the proceedings of Falk Symposium No. 111 held in Freiburg, Germany, on June 19-20 1999, contains contributions from experienced senior scientists on the state of the art in pathophysiology, diagnosis and treatment, together with unpublished and new findings from young researchers. Basic scientists and clinicians are thereby involved in an exchange of information which will lead to new directions for future research and clinical management of inflammatory bowel diseases.

Buch. Zustand: Neu. Neuware - When I started with this book several years ago I originally intended to write an introduction to mathematical systems theory for social scientists. Yet the more I thought about systems theory on the one side and theoretical sociology on the other the more I became convinced that the classical mathematical tools are not very well suited for the problems of sociology. Then I became acquainted with the researches on complex systems by the Santa Fe Institute and in particular with cellular automata, Boolean networks and genetic algorithms. These mathematically very simple but extremely efficient tools are, in my opinion, very well appropriate for modeling social dynamics. Therefore I tried to reformulate several classical problems of theoretical sociology in terms of these formal systems and outline new possibilities for a mathematical sociology which is able to join immediately on the great traditions of theoretical sociology. The result is this book; whether I succeeded with it is of course up to the readers. As the readers will perceive, the book could not have been written by me alone but only by the joint labors of the computer group at the Interdisciplinary Center of Research in Higher Education at the University of Essen. The members of the group, Christina Stoica, Jom Schmidt and Ralph Kier, are named in several subchapters as co-authors. Yet even more important than their contributions to this book were the permanent discussions with them and their patience with my new and very speculative ideas. Many thanks.

Buch. Zustand: Neu. Neuware - In the global information society, innovation is a highly pervasive process that influences all facets of human life: cultural, economic, political, and institutional. A desire to comprehend the impacts of innovative change on so many areas of urban life prompted the research project that has resulted in the publication of this volume. Our research confirms that we are presently in the midst of an era of rapid and explosive change. The primary engine driving this latest transformation of the post-industrial society is generally thought to be technological. But such an explanation is too narrow. Broadly speaking, the age in which we find ourselves could be more aptly described as a global, knowledge-intensive age. Many of today's knowledge-intensive activities, like research and development (R&D) programs, are being conducted with relative ease on a multinational scale. As well as science having an increasing impact on processes of innovation, R&D activities also have become more complex. We can observe a growing sophistication of learning-by-doing among creative economic agents. This more sophisticated era of global knowledge exchange is facilitated by major advances in our infrastructure networks. In this highly interactive world, many innovations are by-products of collective exchanges between cities far apart, simplified by the ease of transport and communication. Thus, there is a need for us to look more closely at various collective sequences of learning, knowledge exchange and innovation in a spatial setting. This is the primary purpose of this book.

Buch. Zustand: Neu. Neuware - In the present scenario, stresses induced due to global environmental change have indeed become a focal point of researches and study programmes worldwide. Stress caused to plant life has an important consequence to both, vegetation as such and all other global cycles which sustain this `living earth'. Unlike other already existing works this volume elucidates the plant-pollutant relationship in a manner that defines not only the drastic effects of pollutants on plants but concomitantly highlights the hitherto less focused areas namely phytoindication, phytoremediation and stress tolerant bioaesthetic development, thus concentrating more on plant than pollutant. The book would help understand the magnitude of environmental stress in the coming years and may play a formative role in defining future research and policy areas along with providing impetus to development of newer eco-technologies. The book shall interest both students and researchers of environmental sciences, ecology, forestry and related disciplines as well as persons and organisations engaged in environmental management and eco-conservation.

Buch. Zustand: Neu. Neuware - In my office I am encased in bookshelves which hold an accumulation of literature on ecology that represents the papers and books over the last 50 years. My students enjoy rummaging through this collection be cause it contains a record of the history of ecology and is full of sur prises. Some of the most recent material pertains to landscape ecology, a subject that literally emerged fully active at the Veldhoven Interna tional Congress organized by the landscape ecologists of The Nether lands in 1981. The subject has developed quickly. It has one or more journals, which publish short works. It has a series of text books. And, it has just begun a series on monographs. One of the textbooks in land scape ecology is titled Principles and Methods in Landscape Ecology and was written by the Italian ecologist Almo Farina in 1998. My stu dents like this text especially well because it is direct, to the point and comprehensive. 'Farina' is on loan much of the time. In the present volume Almo Farina again addresses the subject of Landscape Ecology but from a different perspective than he took in his textbook. Landscape in Action focuses on the application of the princi ples and concepts to problem solving. The two books make a pair, with the first technical and conceptual and the second applied to problems of land and water at large scale.

Buch. Zustand: Neu. Neuware -Ce livre étudie la refonte husserlienne de l'esthétique transcendantale kantienne, pour mettre en évidence sa fonction fondatrice dans l'idéalisme phénoménologique et interroger sa légitimité. On part donc des points essentiels de la critique husserlienne de Kant (refus du renversement copernicien, du caractère originaire des intuitions pures et de toute idéalisation des structures perceptives), pour dégager à partir d'eux les axes de la méthode husserlienne: dégager les intuitions pures depuis leur connexion essentielle avec les qualités sensibles, retracer leur engendrement synthétique par les actes de la conscience, et séparer l'espace perceptif des espaces catégoriaux pour reconduire ces derniers à leur mode propre de production. Husserl parvient-il, dans cette esthétique transcendantale progressant de bas en haut de la hylè sensible aux objets complexes, à éviter toute présupposition et à rester fidèle à son exigence d'intuitivité Il semble aucontraire que la méthode husserlienne repose sur nombre d'actes abstractifs et idéalisants. Par là, c'est la possibilité d'une philosophie purement descriptive qui est mise en question.

Buch. Zustand: Neu. Neuware - Ce livre étudie la refonte husserlienne de l'esthétique transcendantale kantienne, pour mettre en évidence sa fonction fondatrice dans l'idéalisme phénoménologique et interroger sa légitimité. On part donc des points essentiels de la critique husserlienne de Kant (refus du renversement copernicien, du caractère originaire des intuitions pures et de toute idéalisation des structures perceptives), pour dégager à partir d'eux les axes de la méthode husserlienne: dégager les intuitions pures depuis leur connexion essentielle avec les qualités sensibles, retracer leur engendrement synthétique par les actes de la conscience, et séparer l'espace perceptif des espaces catégoriaux pour reconduire ces derniers à leur mode propre de production. Husserl parvient-il, dans cette esthétique transcendantale progressant de bas en haut de la hylè sensible aux objets complexes, à éviter toute présupposition et à rester fidèle à son exigence d'intuitivité Il semble au contraire que la méthode husserlienne repose sur nombre d'actes abstractifs et idéalisants. Par là, c'est la possibilité d'une philosophie purement descriptive qui est mise en question.

Buch. Zustand: Neu. Neuware -Ce livre étudie la refonte husserlienne de l'esthétique transcendantale kantienne, pour mettre en évidence sa fonction fondatrice dans l'idéalisme phénoménologique et interroger sa légitimité. On part donc des points essentiels de la critique husserlienne de Kant (refus du renversement copernicien, du caractère originaire des intuitions pures et de toute idéalisation des structures perceptives), pour dégager à partir d'eux les axes de la méthode husserlienne: dégager les intuitions pures depuis leur connexion essentielle avec les qualités sensibles, retracer leur engendrement synthétique par les actes de la conscience, et séparer l'espace perceptif des espaces catégoriaux pour reconduire ces derniers à leur mode propre de production. Husserl parvient-il, dans cette esthétique transcendantale progressant de bas en haut de la hylè sensible aux objets complexes, à éviter toute présupposition et à rester fidèle à son exigence d'intuitivité Il semble aucontraire que la méthode husserlienne repose sur nombre d'actes abstractifs et idéalisants. Par là, c'est la possibilité d'une philosophie purement descriptive qui est mise en question. 360 pp. Französisch.

Taschenbuch. Zustand: Neu. Neuware -Der Unterlassungsrechtsschutz ist auch in der Praxis des Zivilrechts nicht mehr wegzudenken. Obwohl er eine überragende praktische Bedeutung hat, beschränkt sich seine Behandlung in der Wissenschaft zumeist auf Teilbereiche, insbesondere das Wettbewerbsrecht, den Eigentums- und Persönlichkeitsschutz usw. Die bestehende Lücke einer umfassenden Darstellung einschließlich vieler prozessualer Fragen soll hiermit geschlossen werden.

Taschenbuch. Zustand: Neu. Neuware -Der Unterlassungsrechtsschutz ist auch in der Praxis des Zivilrechts nicht mehr wegzudenken. Obwohl er eine überragende praktische Bedeutung hat, beschränkt sich seine Behandlung in der Wissenschaft zumeist auf Teilbereiche, insbesondere das Wettbewerbsrecht, den Eigentums- und Persönlichkeitsschutz usw. Die bestehende Lücke einer umfassenden Darstellung einschließlich vieler prozessualer Fragen soll hiermit geschlossen werden.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 800 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware - Der Unterlassungsrechtsschutz ist auch in der Praxis des Zivilrechts nicht mehr wegzudenken. Obwohl er eine überragende praktische Bedeutung hat, beschränkt sich seine Behandlung in der Wissenschaft zumeist auf Teilbereiche, insbesondere das Wettbewerbsrecht, den Eigentums- und Persönlichkeitsschutz usw. Die bestehende Lücke einer umfassenden Darstellung einschließlich vieler prozessualer Fragen soll hiermit geschlossen werden.

Taschenbuch. Zustand: Neu. Neuware -Der Unterlassungsrechtsschutz ist auch in der Praxis des Zivilrechts nicht mehr wegzudenken. Obwohl er eine überragende praktische Bedeutung hat, beschränkt sich seine Behandlung in der Wissenschaft zumeist auf Teilbereiche, insbesondere das Wettbewerbsrecht, den Eigentums- und Persönlichkeitsschutz usw. Die bestehende Lücke einer umfassenden Darstellung einschließlich vieler prozessualer Fragen soll hiermit geschlossen werden. 800 pp. Deutsch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -What conditions the chances of liberty, wealth and equality at the start of the third Christian millennium Why did human civilizations develop so slowly for thousands of years, and then transform themselves during the last three hundred This study of four great thinkers who lived between 1689 and 1995, Montesquieu, Adam Smith, De Tocqueville, and Ernest Gellner, weaves their lives and works together and through their own words shows how they approached the question of the nature of man, his past and his future. 326 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In preparation for role-play during a RIPP class, 6th grade students consider the following conflict situation: Sharon and Josie, who are good friends, tryout for the basketball team. Josie makes the team, but Sharon does not. The week after tryouts, Sharon tries to pick a fight with Josie, calling her a 'cheater' and 'some one the coach felt sorry for. ' Josie is in a bind; she wants to remain friends with Sharon, but she is really angry with Sharon for treating her so badly. What can Josie do in this situation What type of self-talk will help her work out this prob lem with Sharon and keep the friendship During the role-play, Sharon calls Josie a cheater. Then, before Josie re sponds, two students representing her positive and negative sides take turns whis pering into her ear. Negative self-talk: 'Boy, is she a loser! What if everyone believes her and thinks that I cheated to get on the team !' Positive self-talk: 'I know I worked hard to get on the team! Sharon must really be hurt that she didn't make it. I can talk to her later when she's cooled down, and maybe we can do something together after practice. ' Josie listens to the two voices, and decides that the best approach is to ignore Sharon's comments for now and to call her later that day to see if they can do something together. This description of students dealing with everyday conflicts is quite real. 144 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Against a background of globalization, risk and cultural pluralism, the problem of social exclusion and its possible remedies have become a major focus for political and social analysis and policy making. This collection of original essays by leading social thinkers and analysts offers a comprehensive exploration of the topic and considers various practical agenda. Contributors include Zygmunt Bauman, Bernard Crick, John Gray, Ruth Lister, Raymond Plant, Richard Sennett and Charles Taylor. 311 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on the Implementation of Functional Languages, IFL'99, held in Lochem, The Netherlands, in September 1999.The 11 revised full papers presented were carefully selected during two rounds of reviewing. The papers are organized in sections on applications, compilation techniques, language concepts, and parallelism. 216 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Artificial intelligence has, traditionally focused on solving human-centered problems like natural language processing or common-sense reasoning. On the other hand, for a while now soft computing has been applied successfully in areas like pattern recognition, clustering, or automatic control. The papers in this book explore the possibility of bringing these two areas together.This book is unique in the way it concentrates on building intelligent software systems by combining methods from diverse disciplines, such as fuzzy set theory, neuroscience, agent technology, knowledge discovery, and symbolic artificial intelligence. The first part of the book focuses on foundational aspects and future directions; the second part provides the reader with an overview of recently developed software tools for building flexible intelligent systems; the final section studies developed applications in various fields. 384 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Clusters of workstations/PCs connected by o -the-shelf networks have become popular as platforms for cost-e ective parallel computing. Technological - vances in both hardware and software have made such a network-based parallel computingplatform an a ordable alternative to commercial supercomputers for an increasing number of scienti c applications. Continuing in the tradition of the three previously successful workshops, this fourth Workshop on Communication, Architecture and Applications for Network-basedParallelComputing(CANPC 2000)broughttogetherresearchers and practitioners working in architecture, system software, applications, and performance evaluation to discuss state-of-the-art solutions for network-based parallel computing. This year, the workshop was held in conjunction with the sixth International Symposium on High-Performance Computer Architecture (HPCA-6). As in prior editions, the papers presented here are representative of a sp- trum of research e orts from groups in academia and industry to further - prove cluster computing s viability, performance, cost-e ectiveness, and usab- ity. Speci cally, we have arranged the contributions in this edition into four groups: (1) program development and execution support, (2) network router - chitecture, (3) system support for communication abstractions, and (4) network software and interface architecture. 196 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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,themaindistinctionbetweentheeventsbei ngs- 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 . . . . . . . . . . . . . . . . . . . . . . . . . . 280 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream. 1428 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -After the advent of data mining and its successful application on conventional data, Web-related information has been an appropriate and increasingly popular target of knowledge discovery. Depending on whether the data used in the knowledge discovery process concerns the Web itself in terms of content or the usage of the content, one distinguishes between Web content mining and Web usage mining.This book is the first one entirely devoted to Web usage mining. It originates from the WEBKDD'99 Workshop held during the 1999 KDD Conference. The ten revised full papers presented together with an introductory survey by the volume editors documents the state of the art in this exciting new area. The book presents topical sections on Modeling the User, Discovering Rules and Patterns of Navigation, and Measuring interestingness in Web Usage Mining. 196 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Arti cial Evolution conference was originally conceived as a forum for the French-speaking Evolutionary Computation community, but has of late been acquiring an European audience, with several papers from Germany, Austria, Italy, Spain. However, AE remains as intended a small and friendly gathering, which will continue to be held every two years. Previous AE meets were held in Toulouse, Brest, and N mes. This year, the hosting was done by the LIL (Laboratoire d'Informatique du Littoral) in the not-so-cold city of Dunkerque. The invited talk on 'Fitness Landscapes and Evolutionary Algorithms' was delivered by Colin Reeves of Coventry University This volume contains a selection of the papers presented at the conference. Twenty-seven papers were presented orally at the conference, selected from over 40 papers refereed by the program committee. After the conference, each p- sentation was reviewed and 20 papers were retained and revised for publication in this volume. The papers in this volume have been grouped into the following ve sections which more or less re ect the organization of the oral presentations. 1. Invited Paper: C. Reeves brightly describes the state of the art in Fitness Landscapes. 312 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In August 1999, the Twelfth Workshop on Languages and Compilers for P- allel Computing (LCPC) was hosted by the Hierarchical Tiling Research group from the Computer Science and Engineering Department at the University of California San Diego (UCSD). The workshop is an annual international forum for leading research groups to present their current research activities and the latest results. It has also been a place for researchers and practitioners to - teract closely and exchange ideas about future directions. Among the topics of interest to the workshop are language features, code generation, debugging, - timization, communication and distributed shared memory libraries, distributed object systems, resource management systems, integration of compiler and r- time systems, irregular and dynamic applications, and performance evaluation. In 1999, the workshop was held at the International Relations/Paci c Studies Auditorium and the San Diego Supercomputer Center at UCSD. Seventy-seven researchers from Australia, England, France, Germany, Korea, Spain, and the United States attended the workshop, an increase of over 50% from 1998. 516 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is the proceedings of the 13th International Conference on Theo rem Proving in Higher Order Logics (TPHOLs 2000) held 14-18 August 2000 in Portland, Oregon, USA. Each of the 55 papers submitted in the full rese arch category was refereed by at least three reviewers who were selected by the program committee. Because of the limited space available in the program and proceedings, only 29 papers were accepted for presentation and publication in this volume. In keeping with tradition, TPHOLs 2000 also offered a venue for the presen tation of work in progress, where researchers invite discussion by means of a brief preliminary talk and then discuss their work at a poster session. A supplemen tary proceedings containing associated papers for work in progress was published by the Oregon Graduate Institute (OGI) as technical report CSE-00-009. The organizers are grateful to Bob Colwell, Robin Milner and Larry Wos for agreeing to give invited talks. Bob Colwell was the lead architect on the Intel P6 microarchitecture, which introduced a number of innovative techniques and achieved enormous commercial success. As such, he is ideally placed to offer an industrial perspective on the challenges for formal verification. Robin Milner contributed many key ideas to computer theorem proving, and to functional programming, through his leadership of the influential Edinburgh LCF project. 552 pp. Englisch.