Rineke Verbrugge

Barbara Dunin-Keplicz

What makes teamwork tick? Cooperation matters, in daily life and in complex applications. After all, many tasks need more than a single agent to be effectively performed. Therefore, teamwork rules! Teams are social groups of agents dedicated to the fulfilment of particular persistent tasks. In modern multiagent environments, heterogeneous teams often consist of autonomous software agents, various types of robots and human beings. 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. The book guides the reader through a fascinating discussion of issues essential for teamwork to be successful: What is teamwork, and how can a logical view of it help in designing teams of agents? What is the role of agents' awareness in an uncertain, dynamic environment? How does collective intention constitute a team? How are plan-based collective commitments related to team action? How can one tune collective commitment to the team's organizational structure and its communication abilities? What are the methodological underpinnings for teamwork in a dynamic environment? How does a team and its attitudes adjust to changing circumstances? How do collective intentions and collective commitments arise through dialogue? What is the computational complexity of TeamLog? How can one make TeamLog efficient in applications? This book is an invaluable resource for researchers and graduate students in computer science and artificial intelligence as well as for developers of multi-agent systems. Students and researchers in organizational science, in particular those investigating teamwork, will also find this book insightful. Since the authors made an effort to introduce TeamLog as a conceptual model of teamwork, understanding most of the book requires solely a basic logical background.

A Formal Approach

Teamwork in Multi-Agent Systems

Andrzej Jankowski

Marcin Szczuka

In today’s society the issue of security has become a crucial one. This volume brings together contributions on the use of knowledge-based technology in security applications by the world’s leading researchers in the field.

Monitoring, Security, and Rescue Techniques in Multiagent Systems

Edward Nawarecki

This volume contains the papers selected for presentation at CEEMAS 2001. The wo- shop was the fourth in a series of international conferences devoted to autonomous agents and multi-agent systems organized in Central-Eastern Europe. Its predecessors wereCEEMAS’99andDAIMAS’97,whichtookplaceinSt. Petersburg,Russia,aswell as DIMAS’95, which took place in Cracow, Poland. Organizers of all these events made efforts to make them wide-open to participants from all over the world. This would have been impossible without some help from friendly centers in the Czech Republic, England, France, Japan, and The Netherlands. DIMAS’95 featured papers from 15 countries, while CEEMAS’99 from 18 co- tries. A total of 61 papers were submitted to CEEMAS 2001 from 17 countries. Out of these papers, 31 were selected for regular presentation, while 14 were quali ed as posters. The motto of the meeting was “Diversity is the core of multi-agent systems". This variety of subjects was clearly visible in the CEEMAS 2001 program, addressing the following major areas of multi-agent systems: – Organizations and social aspects of multi-agent systems – Agent and multi-agent system architectures, models, and formalisms – Communication languages, protocols, and negotiation – Applications of multi-agent systems – Agent and multi-agent development tools – Theoretical foundations of DistributedAI – Learning in multi-agent systems The richness of workshop subjects was ensured thanks to the CEEMAS 2001 contributing authors as well as the keynote speakers.

Barbara Dunin-Keplicz

Books

Your next favorite book is out there