This volume is based on the International Conference Logic at Work, held in Amsterdam, The Netherlands, in December 1992. The 14 papers in this volume are selected from 86 submissions and 8 invited contributions and are all devoted to knowledge representation and reasoning under uncertainty, which are core issues of formal artificial...

This book is the revised and extended version of a Pfr.D. dissertation submitted to the Department of Electrical Engineering and Computer Sciences, University of California at Berkeley. Many of the ideas presented in this book have their roots in discussions with Eugene Wong, my mentor and thesis advisor. I would like to thank Gene...

This book presents a wide-spectrum illustration of what research in Information Retrieval has produced or will produce in the next years. The book content includes chapters on Aggregated Search, Digital Advertising, Digital Libraries, Discovery of Spam and Opinions in the Web, Evaluation, Information Retrieval in Context, Multimedia...

Since the publication of the first edition of The Description Logic Handbook in 2003, the interest in Description Logics (DL) has steadily increased. This applies both to the number of active DL researchers working on DL theory and implementations of reasoning services, and to the number of applications based on DL technology. One...

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

I am are very happy to have taken part in the 12th Financial Cryptography and Data Security Conference (FC 2008). Due to the recent growth in the number of security and cryptography venues, the competition for high-quality submissions has been on the rise. Despite that, the continued success of FC is attested by the research...

For nearly four decades, video games have captured the imaginations and drawn the ire of people around the world. Actors play them. Rappers promote them. Politicians want to control them. Even baseball legends make them. Video games are a cultural crossroads where business, entertainment, and technology converge.

Sales of...

The essays in A Companion to Rhetoric and Rhetorical Criticism explore rhetoric as a practical art of deliberation and judgment, best taught and learned through concrete examples of argument, interpretation, and criticism. Historically and in our own time scholars have shown that rhetoric can very well be theorized in the strong sense that...