Claude Sammut

Daniele Nardi

José Santos-Victor

Martin Riedmiller

ThesearetheproceedingsoftheRoboCup2004Symposium,heldattheInstituto Superior T ́ ecnico, in Lisbon, Portugal in conjunction with the RoboCup c- petition. The papers presented here document the many innovations in robotics that result from RoboCup. A problem in any branch of science or engineering is how to devise tests that can provide objective comparisons between alt- native methods. In recent years, competitive engineering challenges have been established to motivate researchers to tackle di?cult problems while providing a framework for the comparison of results. RoboCup was one of the ?rst such competitions and has been a model for the organization of challenges foll- ing sound scienti?c principles. In addition to the competition, the associated symposium provides a forum for researchers to present refereed papers. But, for RoboCup, the symposium has the greater goal of encouraging the exchange of ideas between teams so that the competition, as a whole, progresses from year to year and strengthens its contribution to robotics. One hundred and eighteen papers were submitted to the Symposium. Each paper was reviewed by at least two international referees; 30 papers were - cepted for presentation at the Symposium as full papers and a further 38 were accepted for poster presentation. The quality of the Symposium could not be maintained without the support of the authors and the generous assistance of the referees.

RoboCup 2004: Robot Soccer World Cup VIII

Franz Baader

Diego Calvanese

Deborah McGuinness

Peter Patel-Schneider

Theory, Implementation and Applications

The Description Logic Handbook

Pattie Maes

This book for the first time collects an important part of the research on reflective systems, providing both an introduction to the topic and a reference to research in the field. It contains a selection of the papers presented at the Workshop held in Alghero, Italy, during October 1986, the goal being to bring together researchers in order to discuss the problems arising in the definition and the construction of reflective systems, and to investigate their practical application. The papers in the first part shed some light on the concept of reflection or its origins. Important questions treated in these papers are: What are the issues in computational reflection? How does it relate to the notion of reflection in logic and meta-mathematics? How can reflective systems be categorized? Why is meaning an important issue in reflection and reflection an interesting domain to study meaning? A number of practical realisations of reflective systems are presented in the second part. The papers investigate the problems arising in the construction of reflective systems, and present techniques to solve these. The implementations discussed range from specific systems exhibiting a reflective behaviour e.g. logic-based reasoning systems, rule-based systems, etc., to programming languages providing facilities for the construction of reflective systems (logic programming languages, description-based languages, functional languages, object-oriented and actor languages). Finally, various applications of meta-level architectures and reflection are described.

Meta-level Architectures and Reflection

Daniele Nardi

Books

Your next favorite book is out there