The Symposium on Logical Foundations of Computer Science series provides a forum for the fast-growing body of work in the logical foundations of computer science, e.g., those areas of fundamental theoretical logic related to computer science. The LFCS series began with “Logic at Botik,” Pereslavl-Zalessky, 1989, which was...

The 16th International Conference on Applications of Natural Language to Information Systems (NLDB 2011) was held during June 28–30, 2011, at the University of Alicante, Spain. Since the first NLDB conference in 1995, the main goal has been to provide a forum for the discussion and dissemination of research on the integration of...

When asked whether I’d be interested in writing a book about the Google phone, I immediately jumped at the offer. Although I’ve been a dyed-in-the-wool iPhone user since June 2007 (the day it came out), the Google phone has piqued my interest from the fi rst day that I heard about it. Since the early rumors of a Google...

This landmark volume represents the culmination of over 40 years of research in the use of logic as a basis for representing and manipulating problems in the field of artificial intelligence. The use of logic as a basis for commonsense reasoning was started by John McCarthy in 1959. The collection consists of both original research and...

Since the first edition of Semantic Web for the Working Ontologist came out in June 2008, we have been encouraged by the reception the book has received. Practitioners from a wide variety of industries— health care, energy, environmental science, life sciences, national intelligence, and publishing, to name a few—have told...

This book contains 71 original, scientific articles that address state-of-the-art research related to scale space and variational methods for image processing and computer vision. Topics covered in the book range from mathematical analysis of both established and new models, fast numerical methods, image analysis, segmentation,...

Building WPF and Silverlight applications can be challenging, especially for those new to the technology. Building clean, maintainable, extensible, testable, loosely coupled ones— with no idea where to start—is close to impossible. In late 2007, I was privileged to get a call from Glenn Block at Microsoft asking if I was...

The 57 revised full papers presented were carefully selected and reviewed for inclusion in the volume; also included are 14 invited presentations. All in...

In the three years since the introduction of the first iPhone, we’ve seen a tremendous change in the way that people work with...

This book provides an updated overview of the processes determining the influence of solar forcing on climate. It discusses in particular the most recent developments regarding the role of aerosols in the climate system and the new insights that could be gained from the investigation of terrestrial climate analogues. The book’s...

The idea for this project grew out of a conversation between Jens Timmermann, Steve Engstrom and Andrews Reath at a conference on Kant’s moral philosophy hosted by Peking University in May 2004. We believe that Andy suggested that there was a need for a volume of new essays on the Critique of Practical Reason, and Jens suggested that we...

This book constitutes the thoroughly refereed post-conference proceedings of the 36th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2010, held in Zarós, Crete, Greece, in June 2010. The 28 revised full papers presented together with two invited papers were carefully reviewed and selected from 94 initial...