Bøger af Michael Beetz

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;