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...

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...

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...

Welcome to Twitter, the Social Networking site that was called “utterly devoid of any sort of merit” by New Zealand Herald’s Canvas Magazine, (June 6, 2009) in the same week it appeared on the cover of TIME Magazine as “a powerful form of communication” and “the future of American innovation.”...

The 24th Computer Graphics International Conference (CGI 2006) was held during June 26–28, 2006, in Hangzhou, China. This volume contains 39 full papers and 39 short papers accepted by CGI 2006. CGI conference was initially founded by the Computer Graphics Society in 1983 and has now become a widely recognized, high-quality...

This book and its companion volume, LNCS vols. 6145 and 6146, constitute the proceedings of the International Conference on Swarm Intelligence (ICSI 2010) held in Beijing, the capital of China, during June 12-15, 2010. ICSI 2010 was the first gathering in the world for researchers working on all aspects of swarm intelligence, and...

Materialized views have recently seen a renewed interest in the research and commercial communitites because of their applications in warehousing, retailing, billing, visualization, integrity constraints, query optimization, and decision support. All leading database vendors are currently implementing in their systems materialized views...

Linear Programming deals with the problem of minimizing or maximizing a linear function in the presence of linear inequalities. Since the development of the simplex method by George B. Dantzig in 1947, linear programming has been extensively used in the military, industrial, governmental, and urban planning fields, among others. The...

This book is an annotated version of the C# Language Standard, created by adding around 400 separate annotations to the complete text of the Standard. The Standard was formally adopted as ISO Standard 23270:2006 in April 2006 and published in August 2006, and adopted as Ecma International Standard 334 version 4 in June 2006. Microsoft...

This book constitutes the refereed proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2011, held in Belfast, UK, in June/July 2011. The 60 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 108 submissions. The papers are...

Gaining access to the interactive learning activities on this Online Companion is easy—all you need to do is create a user profile. This simple, one-time process establishes you as a user in the CoursePort authentication system. By utilizing the Online Companion, students and instructors can reinforce the concepts they’re...