KI-99: Advances in Artificial Intelligence
KI-99: Advances in Artificial Intelligence

Author: Wolfram Burgard

Publisher: Springer Science & Business Media

Published: 1999-09-01

Total Pages: 321

ISBN-13: 3540664955

DOWNLOAD EBOOK

For many years, Arti?cial Intelligence technology has served in a great variety of successful applications. AI researchand researchershave contributed much to the vision of the so-called Information Society. As early as the 1980s, some of us imagined distributed knowledge bases containing the explicable knowledge of a company or any other organization. Today, such systems are becoming reality. In the process, other technologies have had to be developed and AI-technology has blended with them, and companies are now sensitive to this topic. TheInternetandWWWhaveprovidedtheglobalinfrastructure,whileatthe same time companies have become global in nearly every aspect of enterprise. This process has just started, a little experience has been gained, and therefore it is tempting to re?ect and try to forecast, what the next steps may be. This has given us one of the two main topics of the 23rd Annual German Conference on Arti?cial Intelligence (KI-99)held at the University of Bonn: The Knowledge Society. Two of our invited speakers, Helmut Willke, Bielefeld, and Hans-Peter Kriegel, Munich, dwell on di?erent aspects with di?erent perspectives. Helmut Willke deals with the concept of virtual organizations, while Hans-Peter Kriegel applies data mining concepts to pattern recognitiontasks.The three application forums are also part of the Knowledge Society topic: “IT-based innovation for environment and development”, “Knowledge management in enterprises”, and “Knowledgemanagementinvillageandcityplanningoftheinformationsociety”.

Advances in Artificial Life
Advances in Artificial Life

Author: Fernando Almeida e Costa

Publisher: Springer

Published: 2007-09-04

Total Pages: 1232

ISBN-13: 3540749136

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th European Conference on Artificial Life, ECAL 2007, held in Lisbon, Portugal. The 125 revised full papers cover morphogenesis and development, robotics and autonomous agents, evolutionary computation and theory, cellular automata, models of biological systems and their applications, ant colony and swarm systems, evolution of communication, simulation of social interactions, self-replication, artificial chemistry.

Advances in Artificial Life
Advances in Artificial Life

Author: Dario Floreano

Publisher: Springer Science & Business Media

Published: 2007-10-23

Total Pages: 743

ISBN-13: 3540483047

DOWNLOAD EBOOK

No matter what your perspective is, what your goals are, or how experienced you are, Artificial Life research is always a learning experience. The variety of phe nomena that the people who gathered in Lausanne reported and discussed for the fifth time since 1991 at the European Conference on Artificial Life (ECAL) has not been programmed, crafted, or assembled by analytic design. It has evolved, emerged, or appeared spontaneously from a process of artificial evolution, se- organisation, or development. Artificial Life is a field where biological and artificial sciences meet and blend together, where the dynamics of biological life are reproduced in the memory of computers, where machines evolve, behave, and communicate like living organ isms, where complex life-like entities are synthesised from electronic chromo somes and artificial chemistries. The impact of Artificial Life in science, phi losophy, and technology is tremendous. Over the years the synthetic approach has established itself as a powerful method for investigating several complex phenomena of life. From a philosophical standpoint, the notion of life and of in telligence is continuously reformulated in relation to the dynamics of the system under observation and to the embedding environment, no longer a privilege of carbon-based entities with brains and eyes. At the same time, the possibility of engineering machines and software with life-like properties such as evolvability, self-repair, and self-maintainance is gradually becoming reality, bringing new perspectives in engineering and applications.

Logic-Based Artificial Intelligence
Logic-Based Artificial Intelligence

Author: Jack Minker

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 600

ISBN-13: 146151567X

DOWNLOAD EBOOK

The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960's he expanded upon these ideas and continues to do so to this date. It is now 41 years since the idea of using a formal mechanism for AI arose. It is therefore appropriate to consider some of the research, applications and implementations that have resulted from this idea. In early 1995 John McCarthy suggested to me that we have a workshop on Logic-Based Artificial Intelligence (LBAI). In June 1999, the Workshop on Logic-Based Artificial Intelligence was held as a consequence of McCarthy's suggestion. The workshop came about with the support of Ephraim Glinert of the National Science Foundation (IIS-9S2013S), the American Association for Artificial Intelligence who provided support for graduate students to attend, and Joseph JaJa, Director of the University of Maryland Institute for Advanced Computer Studies who provided both manpower and financial support, and the Department of Computer Science. We are grateful for their support. This book consists of refereed papers based on presentations made at the Workshop. Not all of the Workshop participants were able to contribute papers for the book. The common theme of papers at the workshop and in this book is the use of logic as a formalism to solve problems in AI.

Advances in Conceptual Modeling
Advances in Conceptual Modeling

Author: Peter P. Chen

Publisher: Springer

Published: 2007-07-16

Total Pages: 402

ISBN-13: 3540480544

DOWNLOAD EBOOK

The objective of the workshops associated with the ER'99 18th International Conference on Conceptual Modeling is to give participants access to high level presentations on specialized, hot, or emerging scientific topics. Three themes have been selected in this respect: — Evolution and Change in Data Management (ECDM'99) dealing with han dling the evolution of data and data structure, — Reverse Engineering in Information Systems (REIS'99) aimed at exploring the issues raised by legacy systems, — The World Wide Web and Conceptual Modehng (WWWCM'99) which ana lyzes the mutual contribution of WWW resources and techniques with con ceptual modeling. ER'99 has been organized so that there is no overlap between conference ses sions and the workshops. Therefore participants can follow both the conference and the workshop presentations they are interested in. I would like to thank the ER'99 program co-chairs, Jacky Akoka and Mokrane Bouzeghoub for having given me the opportunity to organize these workshops. I would also like to thank Stephen Liddle for his valuable help in managing the evaluation procedure for submitted papers and helping to prepare the workshop proceedings for publication. August 1999 Jacques Kouloumdjian Preface for ECDM'99 The first part of this volume contains the proceedings of the First International Workshop on Evolution and Change in Data Management, ECDM'99, which was held in conjunction with the 18th International Conference on Conceptual Modehng (ER'99) in Paris, France, November 15-18, 1999.

Partial Evaluation: Practice and Theory
Partial Evaluation: Practice and Theory

Author: John Hatcliff

Publisher: Springer

Published: 2007-07-16

Total Pages: 445

ISBN-13: 3540470182

DOWNLOAD EBOOK

As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an attractive technology for modern software construction since it provides automatic tools for software specialization and is based on rigorous semantic foundations. This book is based on a school held at DIKU Copenhagen, Denmark in summer 1998 during which leading researchers summarized the state of the art in partial evaluation. The lectures presented survey the foundations of partial evaluation in a clear and rigorous manner and practically introduce several existing partial evaluators with numerous examples. The second part of the book is devoted to more sophisticated theoretical aspects, advances systems and applications, and highlights open problems and challenges. The book is ideally suited for advanced courses and for self study.

Software Process Technology
Software Process Technology

Author: Reidar Conradi

Publisher: Springer Science & Business Media

Published: 2000-02-09

Total Pages: 268

ISBN-13: 9783540671404

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th European Workshop on Software Process Technology, EWSPT 2000, held in Kaprun, Austria in February 2000 in conjunction with a meeting of the European ESPRIT IV Project for Process Instance Evolution (PIE). The 21 revised papers presented were carefully reviewed and selected from 44 submissions. The book is organized in sections on methods, applications, process instance evolution, distributed processes and process modeling languages, and industrial experience.

A Tight, Practical Integration of Relations and Functions
A Tight, Practical Integration of Relations and Functions

Author: Harold Boley

Publisher: Springer Science & Business Media

Published: 1999-09-29

Total Pages: 188

ISBN-13: 9783540666448

DOWNLOAD EBOOK

As in other fields, in computer science certain objects of study can be synthesized from different basic elements, in different ways, and with different resulting stabilities. In subfields such as artificial intelligence, computational logic, and programming languages various relational and functional ingredients and techniques have been tried for the synthesis of declarative programs. This text considers the notions of relations, as found in logic programming or in relational databases, and of functions, as found in functional programming or in equational languages. We study a declarative integration which is tight, because it takes place right at the level of these notions, and which is still practical, because it preserves the advantages of the widely used relational and functional languages PROLOG and LISP. The resulting relational and functional language, RELFUN, is used here for exemplifying all integration principles.

Telecommunications and IT Convergence. Towards Service E-volution
Telecommunications and IT Convergence. Towards Service E-volution

Author: Jaime Delgado

Publisher: Springer Science & Business Media

Published: 2000-02-09

Total Pages: 356

ISBN-13: 3540671528

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th International Conference on Intelligence and Services in Networks, IS&N 2000, held in Athens, Greece, in February 2000. The 23 revised papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in sections on electronic commerce, communications efficiency through management and control, architectures for multimedia communications, service creation techniques for software development and deployment, agent-based management, virtual home environments, and integrated and scalable solutions for telecommunications management.

Knowledge Discovery and Data Mining. Current Issues and New Applications
Knowledge Discovery and Data Mining. Current Issues and New Applications

Author: Takao Terano

Publisher: Springer Science & Business Media

Published: 2007-07-13

Total Pages: 476

ISBN-13: 354045571X

DOWNLOAD EBOOK

The Fourth Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2000) was held at the Keihanna-Plaza, Kyoto, Japan, April 18 - 20, 2000. PAKDD 2000 provided an international forum for researchers and applica tion developers to share their original research results and practical development experiences. A wide range of current KDD topics were covered including ma chine learning, databases, statistics, knowledge acquisition, data visualization, knowledge-based systems, soft computing, and high performance computing. It followed the success of PAKDD 97 in Singapore, PAKDD 98 in Austraha, and PAKDD 99 in China by bringing together participants from universities, indus try, and government from all over the world to exchange problems and challenges and to disseminate the recently developed KDD techniques. This PAKDD 2000 proceedings volume addresses both current issues and novel approaches in regards to theory, methodology, and real world application. The technical sessions were organized according to subtopics such as Data Mining Theory, Feature Selection and Transformation, Clustering, Application of Data Mining, Association Rules, Induction, Text Mining, Web and Graph Mining. Of the 116 worldwide submissions, 33 regular papers and 16 short papers were accepted for presentation at the conference and included in this volume. Each submission was critically reviewed by two to four program committee members based on their relevance, originality, quality, and clarity.