Ein Sammelband aus dem CLIMA‑IX‑Workshop in Dresden, der innovative Ansätze zur logischen Analyse von Multi-Agenten-Systemen zusammenfasst; er beleuchtet sowohl formale Modelle als auch praktische Koordinationsstrategien.