Teamwork in multi agent systems a formal approach explains teamwork rules in terms of agents attitudes and their complex interplay it provides the first comprehensive logical theory teamlog underpinning teamwork in dynamic environments the authors justify design choices by showing teamlog in action. Teamwork in multi agent systems a formal approach explains teamwork rules in terms of agents attitudes and their complex interplay it provides the first comprehensive logical theory teamlog. This book focuses on the next generation of software agents viewed from the artificial intelligence perspective to address how multi agent groups work and how technology enhancing group interaction can be implemented. In multi agent systems teamwork in multi agent systems a formal approach barbara dunin keplicz and rineke verbrugge c 2010 john wiley sons ltd isbn 978 0 470 69988 1 wiley series in agent technology series editor michael wooldridgeuniversity of liverpool uk the wiley series in agent technology is a series of comprehensive