Commitment-based protocols with behavioral rules and correctness properties of MAS
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
| Hi-index | 0.00 |
In the beginning of the 21th century, the success of the so-called information society has changed dramatically both the requirements and the main characteristics of most computer-based systems. The previous century saw a migration from huge mainframes with limited capacity of memory to personal microcomputers that were further linked by powerful networks. Pushing one step further the evolution that computing has experienced since its beginning, today's users are part of an on-line design team and can influence and change dynamically the contents and shape of information provided by computer-based systems. Moreover, computing is not restricted anymore to traditional desktop computers: with the parallel progress of telecommunications and information technology, we have plenty of applications running on mobile phones, PDAs, network interfaces and digital TV. These new scenarios impose complementary requirements for system design, such as ubiquity, distribution, and availability, generating thus an increase on these systems' size, complexity, and diversity. Agents and multiagent systems are a natural way to conceptualize, understand, analyze, design, and implement such systems, since from the beginning the area has aimed to deal with complex and distributed systems, composed of autonomous individual entities that were supposed to act, and interact, in an organized way. Agent and multiagent oriented models and technologies are being used in several domains of applied research, like social simulation, games, pervasive and ubiquitous computing, robotics, user interfaces, computer-mediated collaboration, electronic commerce, information retrieval, education and training. All of these research areas are represented in the AAMAS 2009 program. The Autonomous Agents and Multiagent Systems (AAMAS) conference series brings together researchers from around the world to share the latest advances in the field. It was initiated in 2002 as a merger of three highly successful related events: the International Conference on Autonomous Agents (AGENTS), the International Conference on MultiAgent Systems (ICMAS), and the International Workshop on Agent Theories, Architectures, and Languages (ATAL). The AAMAS conference series provides a single, high-profile forum for research in the theory and practice of autonomous agents and multiagent systems. AAMAS 2002, the first of the series, was held in Bologna, followed by AAMAS 2003 in Melbourne, AAMAS 2004 in New York, AAMAS 2005 in Utrecht, AAMAS 2006 in Hakodate, AAMAS 2007 in Honolulu, AAMAS 2008 in Estoril and AAMAS 2009 in Budapest. The main theme of AAMAS-09, based on feedback from previous editions, is reinforcing the rich panorama of *interconnections* in the field.