With this book, Onn Shehory and Arnon Sturm, together with further contributors, introduce the reader to various facets of agent-oriented software engineering (AOSE). They provide a selected collection of state-of-the-art findings, which combines research from information systems, artificial intelligence, distributed systems and software engineering and covers essential development aspects of agent-based systems.

The book chapters are organized into five parts. The first part introduces the AOSE domain in general, including introduction to agents and the peculiarities of software engineering for developing MAS. The second part describes general aspects of AOSE, like architectural models, design patterns and communication. Next, part three discusses AOSE methodologies and associated research directions and elaborates on Prometheus, O-MaSE and INGENIAS. Part four then addresses agent-oriented programming languages. Finally, the fifth part presents studies related to the implementation of agents and multi-agent systems.

The book not only provides a comprehensive review of design approaches for specifying agent-based systems, but also covers implementation aspects such as communication, standards and tools and environments for developing agent-based systems. It is thus of interest to researchers, practitioners and students who are interested in exploring the agent paradigm for developing software systems.

With this book, Onn Shehory and Arnon Sturm, together with further contributors, introduce the reader to various facets of agent-oriented software engineering (AOSE). They provide a selected collection of state-of-the-art findings, which combines research from information systems, artificial intelligence, distributed systems and software engineering and covers essential development aspects of agent-based systems. The book chapters are organized into five parts. The first part introduces the AOSE domain in general, including introduction to agents and the peculiarities of software engineering for developing MAS. The second part describes general aspects of AOSE, like architectural models, design patterns and communication. Next, part three discusses AOSE methodologies and associated research directions and elaborates on Prometheus, O-MaSE and INGENIAS. Part four then addresses agent-oriented programming languages. Finally, the fifth part presents studies related to the implementation of agents and multi-agent systems. The book not only provides a comprehensive review of design approaches for specifying agent-based systems, but also covers implementation aspects such as communication, standards and tools and environments for developing agent-based systems. It is thus of interest to researchers, practitioners and students who are interested in exploring the agent paradigm for developing software systems.

This volume contains 12 thoroughly refereed and revised papers detailing recent advances in research on designing trading agents and mechanisms for agent-mediated e-commerce. They were originally presented at three events: the Workshop on Agent-Mediated Electronic Commerce (AMEC 2013), co-located with AAMAS 2013 in Saint Paul, MN, USA, in May 2013; the Workshop on Trading Agent Design and Analysis (TADA 2013), co-located with AAAI 2013 in Bellevue, WA, USA, in July 2013; and the Joint Workshop on Trading Agent Design and Analysis (TADA 2014) and Agent-Mediated Electronic Commerce (AMEC 2014), co-located with AAMAS 2014 in Paris, France, in May 2014. Given the breadth of research topics in this field, the range of topics addressed in these papers is correspondingly broad. These include the study of theoretical issues related to the design of interaction protocols and marketplaces; the design and analysis of automated trading strategies used by individual agents; and the deployment of such strategies, in times as part of an entry to the trading agent competition.

This volume contains 11 thoroughly refereed and revised papers detailing recent advances in research on designing trading agents and mechanisms for agent-mediated e-commerce. They were originally presented at the Joint Workshop on Trading Agent Design and Analysis (TADA 2012) and Agent-Mediated Electronic Commerce (AMEC 2012) co-located with AAMAS 2012 in Valencia, Spain, in June 2012. The increasing reliance on software agents has created a range of pressing new research challenges, including the design of appropriate agent decision algorithms, approaches for predicting the complex behaviors and interactions of multiple agents, including the computation of equilibria, and the engineering of protocols and mechanisms that ensure electronic markets behave in a stable manner or fulfill other desirable criteria. Drawing upon a diverse range of scientific disciplines, including computer science, economics, artificial intelligence, operations research and game theory, the papers collected in this volume represent a cross-section of recent research and cover topics such as strategies for individual trading agents, the design of markets and interaction protocols between agents, and a variety of applications.

This volume contains ten thoroughly refereed and revised papers detailing recent advances in research on designing trading agents and mechanisms for agent-mediated e-commerce. They were originally presented at the 13th International Workshop on Agent-Mediated Electronic Commerce (AMEC 2011), collocated with AAMAS 2011 in Taipei, Taiwan, or at the 2011 Workshop on Trading Agent Design and Analysis (TADA 2011), collocated with IJCAI 2011 in Barcelona, Spain.The papers presented at these two workshops illustrate both the depth and broad range of research topics in this field. They range from providing solutions to open theoretical problems in online scheduling and bargaining under uncertainty, to designing bidding agents in a wide area of application areas, such as electronic commerce, supply chain management, or keyword advertising, to designing agents that can successfully replicate actual human behaviors in realistic games.

This volume contains 9 thoroughly refereed and revised papers detailing recent advances in research on designing trading agents and mechanisms for agent-mediated e-commerce. They were originally presented at the 12th International Workshop on Agent-Mediated Electronic Commerce (AMEC 2010), collocated with AAMAS 2010 in Toronto, Canada, or the 2010 Workshop on Trading Agent Design and Analysis (TADA 2010), collocated with EC 2010 in Cambridge, MA, USA. The papers examine emerging topics such as ad auctions and supply chains, or the interactions between competing markets, and present novel algorithms and rigorous theoretical results. Several of them evaluate their results using real data from large e-commerce sites or from experiments with human traders.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.

 This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Agent-Mediated Electronic Commerce, AMEC 2002, held in Bologna, Italy in July 2002 during the AAMAS 2002 conference. The 20 revised full papers presented together with an introductory survey by the volume editors were carefully selected and improved during two rounds of reviewing and revision. The book gives a unique overview of the state of the art of designing mechanisms and systems for agent-mediated e-commerce- The papers are organized in topical sections on electronic auctions, negotiations, and electronic markets.

This book constitutes the refereed proceedings of the 6th International Workshop on Cooperative Information Agents, CIA 2002, held in Madrid, Spain, in September 2002.The revised papers - 15 full and 8 short - presented together with 4 invited contributions, were carefully reviewed and selected from 59 submissions. The papers are organized in topical sections on information agents for mobile computing environments, interaction and negotiation, information gathering and collaborative filtering, agent-based information and knowledge management, agent communication and cooperation, and information agent mobility.

This book constitutes the revised selected papers of the Third International Workshop on Engineering Dependable and Secure Machine Learning Systems, EDSMLS 2020, held in New York City, NY, USA, in February 2020. The 7 full papers and 3 short papers were thoroughly reviewed and selected from 16 submissions. The volume presents original research on dependability and quality assurance of ML software systems, adversarial attacks on ML software systems, adversarial ML and software engineering, etc.

This book constitutes the proceedings of the 14th German Conference on Multiagent System Technologies, MATES 2016, held in Klagenfurt, Austria, in September 2016. 12 long papers and 5 short papers were carefully reviewed and selected from 28 submissions. MATES 2016 conference talks covered a broad area of topics of interest including MAS engineering and modeling, issues of human-agent interaction, collaboration and coordination, agent-based adaptation and optimization, and applications of MAS, in particular in the smart energy domain.

This book constitutes the thoroughly refereed post-proceedings of the joint International Workshops on Trading Agent Design and Analysis, TADA 2006, and on Agent Mediated Electronic Commerce, AMEC VIII 2006, held in Hakodate, Japan. The papers address a mix of both theoretical and practical issues in trading agent design and technologies, theoretical and empirical evaluation of strategies in complex trading scenarios as well as mechanism design.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Workshop on Agent-Mediated Electronic Commerce, AMEC IX, co-located with the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2007, held in Honolulu, Hawaii, in May 2007, and the 5th Workshop on Trading Agent Design and Analysis, TADA 2007, co-located with the Twenty-Second AAAI Conference on Artificial Intelligence, AAAI 2007, held in Vancouver, Canada, in July 2007.

This volume presents 15 revised and selected papers from these workshops. The primary and complementary goal of both workshops was to continue to bring together novel work from diverse fields on modeling, implementation and evaluation of computational trading institutions and/or agent strategies. The papers originating from AMEC focus on a large variety of issues on auctions, negotiation, and strategic behavior in electronic marketplaces. The papers originating from TADA stem from the effort of the community to design scenarios where trading agent designers and market designers can be pitched against one another.