A collection of surveys, tutorials, and research papers from the 2004 Logic Colloquium.

Based on a recent NATO workshop, this volume presents recent advances in automatic speech recognition and speech coding. 16 invited lectures and 57 short contributions by outstanding researchers in the field give a clear view of new work and trends.

This book constitutes the refereed proceedings of the Third European Workshop on Case-Based Reasoning, EWCBR-96, held in Lausanne, Switzerland, in November 1996.
Case-based reasoning is an appealing technique for dealing with the knowledge acquisition bottleneck in computer applications; solutions to new problems are found by adapting similar experience from the past, called cases. The 38 revised full papers presented were carefully selected from a broad variety of submissions after a thorough refereeing process. The volume refleats the state of the art in case-based reasoning research and...

This book constitutes the refereed proceedings of the First European Symposium on Principles of Data Mining and Knowledge Discovery, PKDD '97, held in Trondheim, Norway, in June 1997.
The volume presents a total of 38 revised full papers together with abstracts of one invited talk and four tutorials. Among the topics covered are data and knowledge representation, statistical and probabilistic methods, logic-based approaches, man-machine interaction aspects, AI contributions, high performance computing support, machine learning, automated scientific discovery, quality assessment, and...

The proceedings of the Los Angeles Caltech-UCLA Cabal Seminar were originally published in the 1970s and 1980s. Games, Scales, and Suslin Cardinals is the first of a series of four books collecting the seminal papers from the original volumes together with extensive unpublished material, new papers on related topics, and discussion of research developments since the publication of the original volumes. Focusing on the subjects of Games and Scales (Part 1) and Suslin Cardinals, Partition Properties, and Homogeneity (Part 2), each of the two sections is preceded by an introductory survey...

The main themes of this book are to establish the triple formula without any hypotheses on the genericity of the morphism, and to develop a theory of complete quadruple points, which is a first step towards proving the quadruple point formula under less restrictive hypotheses.
This book should be of interest to graduate students and researchers in the field of algebraic geometry. The reader is expected to have some basic knowledge of enumerative algebraic geometry and pointwise Hilbert schemes.

The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of recent developments. Highlights of this volume from the 2005 meeting include three papers on different aspects of connections between model theory and algebra; a survey of recent major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's philosophy of mathematics.

The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. The most topical areas of current research are covered: valued fields, Hrushovski constructions (from model theory), algorithmic randomness, relative computability (from computability theory), strong forcing axioms and cardinal arithmetic, large...

The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, Logic Colloquium 2007, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. This volume covers many areas of contemporary logic: model theory, proof theory, set theory, and computer science, as well as philosophical logic, including tutorials on cardinal arithmetic, on Pillay s conjecture, and on...

Kurt Godel (1906 1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Godel s centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Godel s writings are among the topics covered. Several chapters discuss his intellectual development...