Thomas Zeugmann

Carl H. Smith

Michael M. Richter

Rolf Wiehagen

This volume contains all the papers presented at the Ninth International Con- rence on Algorithmic Learning Theory (ALT’98), held at the European education centre Europ ̈aisches Bildungszentrum (ebz) Otzenhausen, Germany, October 8{ 10, 1998. The Conference was sponsored by the Japanese Society for Arti cial Intelligence (JSAI) and the University of Kaiserslautern. Thirty-four papers on all aspects of algorithmic learning theory and related areas were submitted, all electronically. Twenty-six papers were accepted by the program committee based on originality, quality, and relevance to the theory of machine learning. Additionally, three invited talks presented by Akira Maruoka of Tohoku University, Arun Sharma of the University of New South Wales, and Stefan Wrobel from GMD, respectively, were featured at the conference. We would like to express our sincere gratitude to our invited speakers for sharing with us their insights on new and exciting developments in their areas of research. This conference is the ninth in a series of annual meetings established in 1990. The ALT series focuses on all areas related to algorithmic learning theory including (but not limited to): the theory of machine learning, the design and analysis of learning algorithms, computational logic of/for machine discovery, inductive inference of recursive functions and recursively enumerable languages, learning via queries, learning by arti cial and biological neural networks, pattern recognition, learning by analogy, statistical learning, Bayesian/MDL estimation, inductive logic programming, robotics, application of learning to databases, and gene analyses.

9th International Conference, ALT’98, Otzenhausen, Germany, October 8–10, 1998 Proceedings

Algorithmic Learning Theory

Ken Satoh

Steffen Lange

This volume contains the papers presented at the 5th International Conference on Discovery Science (DS 2002) held at the Mövenpick Hotel, Lub ̈eck, G- many, November 24-26, 2002. The conference was supported by CorpoBase, DFKI GmbH, and JessenLenz. The conference was collocated with the 13th International Conference on - gorithmic Learning Theory (ALT 2002). Both conferences were held in parallel and shared?ve invited talks as well as all social events. The combination of ALT 2002 and DS 2002 allowed for a comprehensive treatment of recent de- lopments in computational learning theory and machine learning - some of the cornerstones of discovery science. In response to the call for papers 76 submissions were received. The program committee selected 17 submissions as regular papers and 29 submissions as poster presentations of which 27 have been submitted for publication. This selection was based on clarity, signi?cance, and originality, as well as on relevance to the rapidly evolving?eld of discovery science.

5th International Conference, DS 2002, Lubeck, Germany, November 24-26, 2002, Proceedings

Discovery Science

This book constitutes the refereed proceedings of the 9th International Conference on Algorithmic Learning Theory, ALT'98, held in Otzenhausen, Germany, in October 1998. The 26 revised full papers presented were carefully reviewed and selected from a total of 34 submissions. Also included are three invited papers and an introduction by the volume editors. The papers are organized in sections on inductive logic programming and data mining, inductive inference, learning via queries, prediction algorithms, inductive logic programming, learning formal languages, and miscellaneous.

9th International Conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998, Proceedings

Efim Kinber

This book focuses on fundamental issues of computation. The readers can master the content and gain lasting perspective from which to understand computers by carefully worked out examples, illustrations, and algorithmic proofs. KEY TOPICS: Teaches the fundamental concepts behind computation. Hundreds of exercises marked according to the level of difficulty provide readers ample opportunity to apply concepts. Hundreds of illustrations which enhance understanding. Only algorithmic proofs are given in the text allowing readers to calibrate the mathematical depth they want to pursue. MARKET: Appropriate for upper division undergraduate and graduate level courses in Computer Science Theory, Theory of Computation, and Automata and Formal Language Theory.

A Gentle Introduction

Theory of Computing

Glenda Amayo Caldwell

Edward M. Clift

In the contemporary city, the physical infrastructure and sensorial experiences of two millennia are now inter-woven within an invisible digital matrix. This matrix alters human perceptions of the city, informs our behaviour and increasingly influences the urban designs we ultimately inhabit. Digital Futures and the City of Today cuts through these issues to analyse the work of architects, designers, media specialists and a growing number of community activists, laying out a multi-faceted view of the complex integrated phenomenon of the contemporary city. Split into three sections, the book interrogates the concept of the 'smart' city, examines innovative digital projects from around the world, documents experimental visions for the future, and describes projects that engage local communities in the design process.

Carl H. Smith

Books

Your next favorite book is out there