Matteo Baldoni - Böcker

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.

This book constitutes the refereed post proceedings of the XIXth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2020, held in Milano, Italy, in November 2020.Due to the COVID-19 pandemic, the conference was "rebooted"/ re-organized w.r.t.

This book constitutes revised selected papers from the 9th International Workshop on Engineering Multi-Agent Systems, EMAS 2021, which was held during May 3-4, 2021. The 20 full papers and 1 short paper included in this volume were carefully reviewed and selected from a total of 27 submissions.

This two-volume set LNCS16258-16259 constitutes the refereed proceedings of the 22nd European Conference on Multi-Agent Systems, EUMAS 2025, held in Bucharest, Romania, during September 3–5, 2025.The 33 full papers, 9 short papers, 3 demonstrators and 1 Agent Toolkits community report included in this book were carefully reviewed and selected from 60 submissions. They were organized into the following topical sections:Part I: Engineering Multi-Agent Systems; Agent-Based Modeling and Simulation; Human-Agent Interaction; and Agent Toolkits Community Report.Part II: Formal approaches, Networks and Learning; Short Papers; and Demonstrators.

This two-volume set LNCS16258-16259 constitutes the refereed proceedings of the 22nd European Conference on Multi-Agent Systems, EUMAS 2025, held in Bucharest, Romania, during September 3–5, 2025.The 33 full papers, 9 short papers, 3 demonstrators and 1 Agent Toolkits community report included in this book were carefully reviewed and selected from 60 submissions. They were organized into the following topical sections:Part I: Engineering Multi-Agent Systems; Agent-Based Modeling and Simulation; Human-Agent Interaction; and Agent Toolkits Community Report.Part II: Formal approaches, Networks and Learning; Short Papers; and Demonstrators.

This book constitutes the refereed proceedings of the 13th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2013, held in Turin, Italy, in December 2013.

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. MAS software engineering methodologies and techniques, and development concerns;

This book constitutes the refereed proceedings of the 19th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2016, held in Phuket, Thailand, in August 22-26, 2016.The 16 revised full papers presented together with two invited papers, 9 short papers and three extended abstracts were carefully reviewed and selected from 50 submissions. The intention of the papers is to showcase research in several domains, ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research.

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Empathic Computing, IWEC 2014, co-loacted with PRICAI 2014, held in Gold Coast, QLD, Australia, in December 2014, as well as the 6th International Workshop on Empathic Computing, IWEC 2015, and the 15th Workshop on Computational Models of Natural Argument, CMNA XV, both co-located with PRIMA 2015, held in Bertinoro, Italy, in October 2015.The 12 papers presented were carefully reviewed and selected from 32 initial submissions. The workshops are going alongside with the PRIMA 2015 Conference and are intended to facilitate active exchange, interaction and comparison of approaches, methods and various ideas in specific areas related to intelligent agent systems and multiagent systems.

This book constitutes revised, selected, and invited papers from the 4th International Workshop on Engineering Multi-Agent Systems, EMAS 2016, held in Singapore, in May 2016, in conjunction with AAMAS. EMAS deals with MAS software engineering processes, methodologies and techniques;

The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing their experiences in the areas of declarative and formal aspects of agents and multi-agent systems, and in engineering and technology. Today it is still a challenge to develop techno- gies that can satisfy the requirements of complex agent systems. The design and development of multi-agent systems still calls for models and technologies that ensure predictability, enable feature discovery, allow for the veri?cation of properties, and guarantee ?exibility. Declarative approaches are potentially a valuable means for satisfying the needs of multi-agent system developers and for specifying multi-agent systems. DALT 2005, the third edition of the workshop, was held in Utrecht, The Netherlands, in July 2005, in conjunction with AAMAS 2005, the Fourth Int- national Joint Conference on Agents and Multiagent Systems. Over 30 persons attended the workshop con?rming the success of the previous editions in M- bourne 2003 (LNAI 2990) and New York 2004 (LNAI 3476). The workshop series is a forum of discussion aimed both at supporting the transfer of decla- tive paradigms and techniques into the broader community of agent researchers andpractitioners, and atbringing theissuesofdesigningreal-world andcomplex agent systems to the attention of researchers working on declarative progr- ming and technologies.

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages and Technologies, DALT 2006, held in Japan in May 2006. This was an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The 12 revised full papers presented together with one invited talk and three invited papers were carefully selected for inclusion in the book.

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, USA, in 2007. It was an associated event of AAMAS 2007, the conference on autonomous agents and multi-agent systems. The 11 full papers, together with 1 keynote lecture and 2 invited papers from the AAMAS main conference were carefully selected and substantially enhanced after the workshop.

This volume constitutes the revised selected papers of the 6th International Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, in Estoril, Portugal, on May 12, 2008. The 12 papers, presented together with 3 invited papers, were carefully reviewed and selected from 14 submissions. The workshop provided a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of researchers working on declarative languages and technologies.

In the multi-agent systems area, linking theory to practical applications is still a fertile research topic. The aim of the workshop on Declarative Agent Languages and Technologies (DALT 2009), in its seventh edition this year, is to achieve this goal, which needs developing and using advanced declarative technologies and languages, particularly agent programming, communication languages, and reasoning and decision-making mechanisms. Developing these technologies is a particularly challenging issue from many perspectives: formal foundations, pr- ticalfeasibility,degreeof?exibility,etc. Inthiscontext,thedeclarativeparadigm is arguably the most appropriate as unlike imperative approaches, the focus is onwhatthe solutionshouldaccomplishratherthanondescribing howto acc- plish it. This is because agentcomputing, as a paradigm,is about describing the logic of computation instead of describing how to accomplish it. DALT is about investigating,studying, andusing the declarativeparadigmaswell ascombining declarative and formal approaches with engineering and technology aspects of agents and multi-agent systems.This volume presents the latest developments in the area of declarative l- guagesandtechnologies,whichaimtoproviderigorousframeworksfordesigning, specifying, implementing and verifying autonomous interacting agents. These frameworksarebasedoncomputationallogicsand other formalmethods suchas mathematical models and game theoretical approaches. Using such models and approaches facilitates the development of agents that reason and act rationally while at the same time being able to verify the behavior of these agents against their speci?cation. The main theme of DALT 2009 was the further advan- ment of relevant speci?cation and veri?cation techniques, such as, for instance, modal and epistemic logics, model checking, constraint logic programming, and distributed constraint satisfaction.