Bücher von Michael Beetz

In der sozialen Welt wimmelt es nur so von Phänomenen, die auf die eine oder andere Weise symbolischen Charakter tragen. Ihr symbolischer Gehalt wird dabei oft ganz intuitiv erfasst. Im Alltag wird in der Regel kein Zusammenhang hergestellt zwischen so unterschiedlichen Dingen wie Geburtstagssträußen und Grabmälern, Hundemarken und Eheringen, Burkas und Bikinis. Es werden die Gemeinsamkeiten schnell übersehen, die zwischen so verschiedenen Aktionsformen wie Sport und Krieg, Tanz und Sex, Menschenketten und politischen Wahlen bestehen. Mit der hier vorgelegten Publikation wird nun der Anspruch verfolgt, diese vielfältigen Formen des Symbolischen zu einem ebenso bunten wie scharfen Panoramabild zu gruppieren. Dies soll es nicht zuletzt auch einem breiteren Publikum gestatten, die Welt fortan mit dem Blick eines mikrosoziologisch geschulten Auges zu betrachten. Michael Beetz führt die Wirkungsweise von Status-, Gemeinschafts- und Sexsymbolen facettenreich vor. Er weist die ungebrochene Bedeutung nach, die symbolische Formen nicht nur für die Strukturierung von öffentlichen Räumen und von Weltbildern, sondern bereits für die Entwicklung von Grundhaltungen gegenüber der Welt haben. Als Form der kulturphilosophischen Animation und als soziologische Gedankenstütze stellt dieses Buch somit ein unvergleichlich geistreiches intellektuelles Unterhaltungsangebot dar.

This book aims at sharing knowledge about the technological opportunities and the main research challenges regarding robotics for logistics in supermarkets and retail stores, from the perspectives of the end-users, logistic companies, technology providers, and robotic researchers. The authors have been involved into the H2020 project Robotics Enabling Fully Integrated Logistics Lines for Supermarkets (REFILLS), aimed at improving logistics in supermarkets thanks to mobile robotic systems in close and smart collaboration with humans. The readers will find a comprehensive analysis of the main logistic processes in retail stores with possible robotized solutions, involving mechanical design, perception, and control. These technologies have been validated in realistic environments, and some of them have been tested into real supermarkets. The book is intended for a broad academic and industrial readership, including operators in the field of logistics, distribution, and retail.

The 30th Annual German Conference on Arti?cial Intelligence (KI-2007) took place in the University of Osnabru *ck, September 10-13, 2007. In this volume, you will ?nd papers or abstracts of its six invited talks, 25 full papers, and 21 posters. The full papers were selected from 81 submissions, resulting in an acceptance rate of 32%. AsusualataKIconference,anentiredaywasreservedfortargetedworkshops - ten of them this year - and two tutorials. They are not coveredin this volume, but the conference Web sitewww.ki2007.uos.de will keep providing information and references to their contents. Some topic clusters are apparent in the overall conference program, which re?ect recent trends in AI research, convolved with foci of work in Germany and Europe. Examples are learning and data mining, robotics and perception, knowledge representation and reasoning, planning and search - all of them including a healthy number of approaches dealing with uncertainty, contradiction, and incompleteness of knowledge. All in all, KI-2007 provided a cross section of modern AI research and application work. KI-2007 also constituted a "e;small anniversary,"e; being the 30th exemplar of its kind. The invited talk by Wolfgang Bibel (accompanied by a paper in this volume) picked up on that occasion by recalling what the ?eld of automated deduction was like 30 and more years ago - in general, and in Germany. He also paid homage to Gerd Veenker, who organizedthe ?rst KI conference (which had a di?erent name at the time) in 1975 and whose ?eld of research was deduction.

The author develops a representation for SRPs in which declarative statements for goals, perceptions, and beliefs make the structure and purpose of SRPs explicit and thereby simplify and speed up reasoning about SRPs and their projections;