Multi-Agent Programming is an essential reference for anyone interested in the most up-to-date developments in MAS programming. While previous research has focused on the development of formal and informal approaches to analyze and specify Multi-Agent Systems, this book focuses on the development of programming languages and tools which not only support MAS programming, but also implement key concepts of MAS in a unified framework.

Part I describes approaches that rely on computational logic or process algebra - Jason, 3APL, IMPACT, and CLAIM/SyMPA. Part II presents languages and platforms that extend or are based on Java - JADE, Jadex and JACKTM. Part III provides two significant industry specific applications - The DEFACTO System for coordinating human-agent teams for disaster response, and the ARTIMIS rational dialogue agent technology. Also featured are seven appendices for quick reference and comparison.

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems. Chapters include: * Using Theorem Proving to Verify Properties of Agent Programs * The Refinement of Multi-Agent Systems * Model Checking Agent Communication * Directions for Agent Model Checking * Model Checking Logics of Strategic Ability: Complexity * Correctness of Mult-Agent Programs: A Hybrid Approach * The Norm Implementation Problem in Normative Multi-Agent Systems * A Verification Logic for GOAL Agents * Using the Maude Term Rewriting Language for Agent Development with Formal Foundations * The Cognitive Agents Specification Language and Verification Environment * A Temporal Trace Language for Formal Modelling and Analysis of Agent Systemns * Assurance of Agent Systems: What Role Should Formal Verification Play? Specification and Verification of Multi-agent Systems is a comprehensive guide that makes a useful tool for researchers, practitioners and students, and serves as a reference work summarizing the state of the art in an accessible manner.

Multi-Agent Systems are a promising technology to develop the next generation open distributed complex software systems. The main focus of the research community has been on the development of concepts (concerning both mental and social attitudes), architectures, techniques, and general approaches to the analysis and specification of multi-agent systems. This contribution has been fragmented, without any clear way of "putting it all together," rendering it inaccessible to students and young researchers, non-experts, and practitioners. Successful multi-agent systems development is guaranteed only if we can bridge the gap from analysis and design to effective implementation.

Multi-Agent Programming: Languages, Tools and Applications presents a number of mature and influential multi-agent programming languages, platforms, development tools and methodologies, and realistic applications, summarizing the state of the art in an accessible manner for professionals and computer science students at all levels.

This book constitutes the refereed proceedings of the 8th International Conference on Intelligent technologies for Interactive Entertainment, INTETAIN 2016, held in Utrecht, The Netherlands, in June 2016. The 19 full papers, 5 short and 6 workshop papers were selected from 49 submissions and present novel interactive techniques and their application in entertainment, education, culture and art. The papers are grouped in six thematic sessions: serious games, novel applications and tools, exertion games, persuasion and motivation, interaction technologies and game studies.

Multi-Agent Systems are a promising technology to develop the next generation open distributed complex software systems. The main focus of the research community has been on the development of concepts (concerning both mental and social attitudes), architectures, techniques, and general approaches to the analysis and specification of multi-agent systems. This contribution has been fragmented, without any clear way of "putting it all together", rendering it inaccessible to students and young researchers, non-experts, and practitioners. Successful multi-agent systems development is guaranteed only if we can bridge the gap from analysis and design to effective implementation. Multi-Agent Programming: Languages, Tools and Applications presents a number of mature and influential multi-agent programming languages, platforms, development tools and methodologies, and realistic applications, summarizing the state of the art in an accessible manner for professionals and computer science students at all levels.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Programming Multi-Agents Systems held in Valencia, Spain, in June 2012. The 10 revised full papers presented were carefully selected from 14 submissions covering a wide range of topics in multi-agent system programming languages, including language design and efficient implementation, agent communication, and robot programming. I addition to these regular papers, the volume includes six papers from the Multi-Agent programming Contest 2012 (MAPC).

This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012. The 11 regular papers were carefully reviewed and selected from 27 submissions and presented with three invited papers. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Languages, Methodologies, and Development Tools for Multi-Agent Systems, LADS 2010, held in Lyon, France, in August/September 2010, as part of MALLOW, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. The 8 revised full papers presented were carefully selected during two rounds of reviews from 11 initial submissions. The papers address issues related to theories, methodologies, models and approaches that are needed to facilitate the development of multi-agent systems ensuring their predictablity and verification.

Multi-Agent Programming is an essential reference for anyone interested in the most up-to-date developments in MAS programming. While previous research has focused on the development of formal and informal approaches to analyze and specify Multi-Agent Systems, this book focuses on the development of programming languages and tools which not only support MAS programming, but also implement key concepts of MAS in a unified framework.

Part I describes approaches that rely on computational logic or process algebra - Jason, 3APL, IMPACT, and CLAIM/SyMPA. Part II presents languages and platforms that extend or are based on Java - JADE, Jadex and JACKTM. Part III provides two significant industry specific applications - The DEFACTO System for coordinating human-agent teams for disaster response, and the ARTIMIS rational dialogue agent technology. Also featured are seven appendices for quick reference and comparison.

This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS 2007, held in Durham, UK, in September 2007. The workshop was part of MALLOW 2007, a federation of workshops on Multi-Agent Logics, Languages, and Organizations.

The 15 revised full papers, presented together with 1 invited paper reporting the aims and achievements of the OpenKnowledge project, were carefully reviewed and selected from 32 submissions. The papers are organized in topical sections on agent reasoning and semantics, declarative languages and technologies, methodologies and design, and development frameworks.

These are the post-proceedings of the International Workshop on Programming Multi-Agent Systems (ProMAS 2007), the ?fth of a series of workshops that is attracting increasing attention from researchersand practitioners in multi-agent systems. Multi-agent systems (MAS) constitute a promising software development paradigm for complex and distributed applications. The aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to the development of industrial-strength software. In particular, ProMAS aims to address the technologies that are required for - plementing multi-agentsystems designs or speci?cations e?ectively. We promote the discussion and exchangeof ideas on principles, concepts, requirements, te- niques, andtoolsthatareessentialforprogrammingapproachesandtechnologies speci?cally devised for MAS. Theidea oforganizingthe ?rstworkshopofthe series was?rstdiscussedd- ing the Dagstuhl seminar "ProgrammingMulti-Agent Systems Based onLogic," where the focus was on logic-based approaches. It was felt that the scope should be broadened beyond logic-based approaches, thus giving the current scope and aims of ProMAS. After four very successful editions of the ProMAS workshop series, which took place at AAMAS 2003 (Melbourne, Australia), AAMAS 2004 (New York, USA), AAMAS 2005(Utrecht, The Netherlands), and AAMAS 2006(Hakodate, Japan), the ?fth edition took place on May 14 in Honolulu, Hawai'i, in c- junction with AAMAS 2007, the main international conference on autonomous agents and MAS. ProMAS 2007 received 17 submissions. These were reviewed by members of the Program Committee, and 11 papers were accepted.

The area of autonomous agents and multi-agent systems (MAS) has grown into a promising technology offering sensible alternatives for the design of distributed, intelligent systems. Several efforts have been made by researchers and practitioners, both in academia and industry, and by several standardisation consortia in order to provide new languages, tools, methods, and frameworks so as to establish the necessary standards for a wide use of MAS technology. The papers of this volume focus on the development of programming languages and tools that can effectively support MAS programming and the implementation of key notions in MAS in a unified framework to bridge the gap from analysis and design to effective implementation that way.

This book constitutes the thoroughly refereed postproceedings of the Third International Workshop on Programming Multi-Agent Systems, ProMAS 2005, held in Utrecht, The Netherlands in July 2005 as an associated event of AAMAS 2005, the main international conference on autonomous agents and multi-agent systems. The 14 revised full papers presented together with 2 invited articles are organized in topical sections on multi-agent techniques and issues, multi-agent programming, and multi-agent platforms and organisation.

These are the proceedings of the 2nd International Workshop on Programming Multi-agentSystems(ProMAS2004),heldinJuly2004inNewYork(USA)asan associated event of AAMAS 2004, the main international conference dedicated to autonomous agents and multi-agent systems. The idea of organizing such an event was discussed during the Dagstuhl s- inarProgramming Multi-agent Systems Based on Logic (see [2]), where the focus was on logic-based approaches. It was felt that the scope should be broadened beyond logic-based approaches, and thus ProMAS came into being (see [1] for the proceedings of the ?rst event, ProMAS 2003). Meanwhile, a Steering Committee (Rafael Bordini, Mehdi Dastani, Jurgen .. Dix, Amal El Fallah Seghrouchni) as well as an AgentLink III Technical Forum GrouponProgrammingMulti-agentSystems wereestablished(thelatteronewas founded on 30 June/1 July 2004 in Rome, Italy (see http:// www.cs.uu.nl/ mehdi/al3tf8.html). Moreover, a Kluwer book on the same topic is underway (to appear early in 2005) and the third workshop ProMAS 2005 will be organized within AAMAS 2005 (see http://www.cs.uu.nl/ProMAS/ for up-to-date information about ProMAS).

Autonomous agents and multi-agent systems have grown into a promising technology offering a credible alternative for the design of intelligent and cooperative systems. Recently efforts have been made to provide novel tools, methods, and frameworks to establish the necessary standards for wider use of MAS as a technology of its own and not only as an attractive paradigm.

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Programming of the First International Workshop on Programming Multi-Agent Systems, PROMAS 2003, held in Melbourne, Australia in July 2003 as part of AAMAS 2003. Besides 8 workshop papers, the volume contains 3 invited papers to complete coverage of the relevant aspects. The papers are organized in topical sections on programming multi-agent systems, languages for multi-agent systems, and principles and tools for multi-agent systems.

This book constitutes the refereed proceedings of the Third International Conference on Logic and Argumentation, CLAR 2020, held in Hangzhou, China, in April 2020. The 14 full and 7 short papers presented were carefully reviewed and selected from 31 submissions. The papers cover the focus of the CLAR series, including formal models of argumentation, logics for decision making and uncertainreasoning, formal models of evidence, con rmation, and justi cation, logics forgroup cognition and social network, reasoning about norms, formal representationsof natural language and legal texts, as well as applications of argumentationon climate engineering.

This book constitutes the refereed proceedings of the 22nd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2019, held in Turin, Italy, in October 2019. The 25 full papers presented and 25 short papers were carefully reviewed and selected from 112 submissions. The papers presented at the PRIMA 2019 conference focus on the following topics: Logic and Reasoning, Engineering Multi-Agent Systems, Agent-Based Modeling and Simulation, Collaboration and Coordination, Economic Paradigms, Human-Agent Interaction, Decentralized Paradigms, and Application Domains for Multi-Agent Systems.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017. The 16 full papers presented in this volume were carefully reviewed and selected from 49 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.

This book constitutes the refereed proceedings of the Third International Workshop on Engineering Multi-Agent Systems, EMAS 2015, held in Istanbul, Turkey, in May 2015. The 10 full papers, presented with two invited talks, were carefully reviewed and selected from 19 submissions. The focus of the papers is on the topics such as: programming frameworks, languages, models and abstractions for MAS; formal methods and declarative technologies for specification, verification and engineering of MAS; MAS software engineering methodologies and techniques, and development concerns; interoperability and integration; tools and testbeds; MAS techniques; and empirical studies and (industrial) experience reports.

This book constitutes the thoroughly refereed post-conference proceedings of the 6th IPM International Conference on Fundamentals of Software Engineering, FSEN 2015, held in Tehran, Iran, in April 2015. The 21 full papers presented in this volume were carefully reviewed and selected from 64 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.