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. The 45 revised full papers were carefully reviewed and selected from 86 submissions. The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence as follows: knowledge representation and reasoning, machine learning, natural language processing, planning, distributed AI: robotics and MAS, recommender systems and semantic Web and AI applications.

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 satisfa

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, HI, USA, in May 2007 as an associated event of AAMAS 2007, the main international conference on autonomous agents and multi-agent systems.

The 11 revised full papers presented together with 1 keynote lecture and 2 invited papers from the AAMAS main conference - substantially enhanced after the workshop - were carefully selected for inclusion in the book. The papers combine declarative and formal approaches with engineering and technology aspects of agents and multiagent systems and focus especially on modeling, goals, foundational concepts, and communication.

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-proceedings of the Third International Workshop on Declarative Agent Languages and Technologies, DALT 2005, held in 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 were carefully selected during two rounds of reviewing and improvement for inclusion in the book. The papers are organized in topical sections.

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 conference was initially planned to take place in London, UK, but changed to an online event due to the COVID-19 pandemic. The 20 full papers and 1 short paper included in this volume were carefully reviewed and selected from a total of 27 submissions. The contributions deal with agent-oriented software engineering, programming multi-agent systems, declarative agent languages and technologies, artificial intelligence, and machine learning.

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. the original format. The 27 full papers were carefully reviewed and selected from 89 submissions. The society aims at increasing the public awareness of Artificial Intelligence, encouraging the teaching and promoting research in the field.

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 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. The 10 full papers presented in this volume were carefully reviewed and selected from 14 submissions. The book also contains 2 invited papers; extended versions of AAMAS 2016 demonstration abstracts. EMAS deals with MAS software engineering processes, methodologies and techniques; Programming languages for MAS; Formal methods and declarative technologies for the specification, validation and verification of MAS; and development tools.

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 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 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-proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies, DALT 2012, held in conjunction with the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) at Valencia, Spain, in June 2012. The volume contains 13 revised selected presented at DALT 2012.The papers cover the following topics: declarative languages and technologies, computational logics, declarative approaches to engineering agent-based systems, models of business interactions among agents, and models of trust, commitments, and reputation for agents.

The workshopon Declarative Agent Languagesand Technologies(DALT), in its sixth edition this year, is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with aspects of engineering and technology of agents and multiagent systems. DALT2008washeldasasatelliteworkshopofAAMAS2008, the7thInter- tional Joint Conference on Autonomous Agents and Multiagent Systems, in - toril, Portugal. Following the success of DALT 2003 in Melbourne (LNAI 2990), DALT 2004 in New York (LNAI 3476), DALT 2005 in Utrecht (LNAI 3904), DALT 2006 in Hakodate (LNAI 4327), and DALT 2007 in Honolulu (LNAI 4897), the workshop again provided a discussion forum to both (a) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (b) to bring the issue of designing complex agent systems to the attention of researchers working on declarative languages and technologies. TheaimoftheDALTworkshopistostimulateresearchonformalanddecl- ative approaches both for developing the foundations of multiagent systems as well as for all phases of engineering multiagent systems, i.e., for speci?cation and modeling, for implementation, and for veri?cation. By providing a forum for the presentation of ideas addressing both of these aspects, DALT encourages the integrationof formal and declarativetechniques and methods that arebased on solid theoretical foundations in the engineering of multiagent systems