This collection of papers, published in honour of Hector J. Levesque on the occasion of his 60th birthday, addresses a number of core areas in the field of knowledge representation and reasoning. In a broad sense, the book is about knowledge and belief, tractable reasoning, and reasoning about action and change. More specifically, the book contains contributions to Description Logics, the expressiveness of knowledge representation languages, limited forms of inference, satisfiablity (SAT), the logical foundations of BDI architectures, only-knowing, belief revision, planning, causation, the situation calculus, the action language Golog, and cognitive robotics.

This book constitutes the 10th official archival publication devoted to RoboCup. It documents the achievements presented at the RoboCup 2006 International Symposium, held in Bremen, Germany, in June 2006, in conjunction with the RoboCup Competition.

The 22 revised full papers and 36 revised poster papers presented together with 2 award-winning papers went through two rounds of reviewing and improvement, and were carefully selected from 143 submissions.

The book provides a valuable source of reference and inspiration for R and D professionals active or interested in robotics or distributed intelligence, and is mandatory reading for the rapidly growing RoboCup community.

This book constitutes the refereed proceedings of the 25th Annual German conference on Artificial Intelligence, KI 2002, held in Aachen, Germany in September 2002.The 20 revised full papers presented were carefully reviewed and selected from 58 submissions. The book offers topical sections on natural language processing; machine learning; knowledge representation, semantic web, and AI; neural networks; logic programming, theorem proving, and model checking; and vision and spatial reasoning.

This collection of thoroughly refereed papers presents state-of-the-art research results by well-known researchers on the foundations of knowledge representation and reasoning. In addition, there are two surveys, one by the volume editors intended as a guide to this book and another by Shoham and Cousins on mental attitudes.
In total, the volume provides a well-organized report on current research in knowledge representation, which is one of the central subfields of AI. Except the surveys, the papers grew out of a workshop on Theoretical Foundations of Knowledge Representation and Reasoning, held in conjunction with the 10th European Conference on Artificial Intelligence (ECAI-92) in Vienna in August 1992.