Rineke Verbrugge - Böcker

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.

This book highlights recent developments in the field, presented at the Social Simulation 2015 conference in Groningen, The Netherlands. It covers advances both in applications and methods of social simulation. Societal issues addressed range across complexities in economic systems, opinion dynamics and civil violence, changing mobility patterns, different land-use, transition in the energy system, food production and consumption, ecosystem management and historical processes. Methodological developments cover how to use empirical data in validating models in general, formalization of behavioral theory in agent behavior, construction of artificial populations for experimentation, replication of models, and agent-based models that can be run in a web browser.Social simulation is a rapidly evolving field. Social scientists are increasingly interested in social simulation as a tool to tackle the complex non-linear dynamics of society. Furthermore, the software and hardware tools available for social simulation are becoming more and more powerful. This book is an important source for readers interested in the newest developments in the ways in which the simulation of social interaction contributes to our understanding and managing of complex social phenomena.

This book highlights recent developments in the field, presented at the Social Simulation 2015 conference in Groningen, The Netherlands.

The aim of the CEEMAS conference series is to provide a biennial forum for the presentation of multi-agent research and development results. With its p- ticular geographicalorientationtowards Central and EasternEurope, CEEMAS has become an internationally recognized event with participants from all over the world. After the successful CEEMAS conferences in St. Petersburg (1999), Cracow (2001), Prague (2003) and Budapest (2005), the CEEMAS 2007 c- ference took place in Leipzig. The Program Committee of the conference series consists of established researchers from the region and renowned international colleagues, showing the prominent rank of CEEMAS among the leading events in multi-agent systems. In the very competitive ?eld of agent-oriented conferences and workshops, (such as AAMAS, EUMAS, CIA, MATES) CEEMAS is special in trying to bridge the gap between applied research achievements and theoretical research activities. The ambition of CEEMAS is to provide a forum for presenting th- retical research with an evident application potential, implemented application prototypes and their properties, as well as industrial case studies of successful (or unsuccessful) agent technology deployments. This is why the CEEMAS p- ceedings provide a collection of research and application papers. The technical research paper section of the proceedings (see pages 1–290) contains pure - search papers as well as research results in application settings. The goal is to demonstrate the real-life value and commercial reality of multi-agent systems as well as to foster the communication between academia and industry in this ?eld.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book collects a set of chapters of the multi-disciplinary project "Games, actions and Social software" which was carried out at the Netherlands Institute for Advanced Study in the Humanities and Social Sciences (NIAS) in Wassenaar, from September 2006 through January 2007.The chapters focus on social software and the social sciences, knowledge, belief and action, perception, communication, and cooperation.

A number of experts have combined forces in order to create a comparative view of the different frameworks for strategic reasoning in social interactions that have been developed in game theory, computer science, logic, linguistics, philosophy, and cognitive and social sciences.