The Internet confronts IT researchers, system designers, and application developers with completely new challenges and, as a fascinating new computing paradigm, agent technology has recently attracted broad interest and strong hopes for shaping the future information society. This monograph-like anthology is the first systematic guide to models and enabling technologies for the coordination of intelligent agents on the Internet and respective applications.

Mobile agents are intelligent agents with advanced mobility capabilities. A mobile agent must be provided with the so called strong mobility, a feature which allows it to carry its status with it and accomplish its mission by migrating from site to site in the Internet. A mobile agent can complete in a site what it started in another site.Starting from the mobile agent concept, this book provides the reader with a suitably detailed discussion on mobile agent principles of operation, as for instance, migration, communication, co-ordination, interoperability, fault tolerance and security. As an example of mobile agents application fields, this book discusses how they can be effective in implementing data mining and information retrieval systems.

Research in multi-agent systems offers a promising technology for problems with networks, online trading and negotiations but also social structures and communication. This is a book on agent and multi-agent technology for internet and enterprise systems. The book is a pioneer in the combination of the fields and is based on the concept of developing a platform to share ideas and presents research in technology in the field and application to real problems. The chapters range over both applications, illustrating the possible uses of agents in an enterprise domain, and design and analytic methods, needed to provide the solid foundation required for practical systems.

This book constitutes the refereed proceedings of the Third International Symposium on Practical Aspects of Declarative Programming, PADL 2001, held in Las Vegas, Nevada, USA in March 2001. The 23 revised full papers presented were carefully reviewed and selected from a total of 40 submissions. Among the topics covered are Mu-calculus, specification languages, Java, Internet programming, VRML, security protocols, database security, authentication protocols, Prolog programming, implementation, constraint programming, visual tracking, and model checking.

This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on Computational Collective Intelligence, ICCCI 2013, held in Craiova, Romania, in September 2013. The 72 revised full papers presented were carefully selected from numerous submissions. Conference papers are organized in 16 technical sessions, covering the following topics: intelligent e-learning, classification and clustering methods, web intelligence and interaction, agents and multi-agent systems, social networks, intelligent knowledge management, language processing systems, modeling and optimization techniques, evolutionary computation, intelligent and group decision making, swarm intelligence, data mining techniques and applications, cooperative problem solving, collective intelligence for text mining and innovation, collective intelligence for social understanding and mining, and soft methods in collective intelligence.

This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018. The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: actor-based coordination, tuple- based coordination, agent-oriented techniques, constraints- based coordination, and finally coordination based on shared spaces.

The growing complexity of agent systems calls for models and technologies that allow for system predictability and enable feature discovery and verification. Formal methods and declarative technologies have recently attracted a growing interest as a means for dealing with such issues. This book presents revised and extended versions of 11 papers selected for presentation at the First International Workshop on Declarative Agent Languages and Technologies, DALT 2003, held in Melbourne, Australia in July 2003 during AAMAS; also included are 3 invited papers by leading researchers in the area to ensure competent coverage of all relevant topics. The papers are organized in topical sections on - software engineering and MAS prototyping - agent reasoning, BDI logics, and extensions - social aspects of multi-agent systems