Daniele Nardi – författare

Description logics are embodied in several knowledge-based systems and are used to develop various real-life applications. Now in paperback, The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications. Its appeal will be broad, ranging from more theoretically oriented readers, to those with more practically oriented interests who need a sound and modern understanding of knowledge representation systems based on description logics. As well as general revision throughout the book, this new edition presents a new chapter on ontology languages for the semantic web, an area of great importance for the future development of the web. In sum, the book will serve as a unique resource for the subject, and can also be used for self-study or as a reference for knowledge representation and artificial intelligence courses.

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.