Examining constraint satisfaction, this monograph presents all approaches under a common, generalizing view: dynamic constraints. It aims to provide insights about the different approaches, and to form a practical basis for teaching constraint-based reasoning.

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...