This book constitutes the refereed proceedings of the 14th International Conference of the Italian Association for Artificial Intelligence, A*IA 2015, held in Ferrara, Italy, in September 2015. The 35 full papers presented were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on swarm intelligence and genetic algorithms; computer vision; multi-agents systems; knowledge representation and reasoning; machine learning; semantic Web; natural language; and scheduling, planning and robotics.

This book constitutes the refereed proceedings of the 15th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2016, held in Genova, Italy, in November/December 2016. The 39 full papers presented were carefully reviewed and selected from 53 submissions. The papers are organized in topical sections on optimization and evolutionary algorithms; classification, pattern recognition, and computer vision; multi-agent systems; machine learning; semantic web and description logics; natural language processing; planning and scheduling; and formal verification.

This book constitutes the refereed proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2018, held in Trento, Italy, in November 2018. The 41 full papers were carefully reviewed and selected from 67 submissions. The papers have been organized in the following topical sections: Agents and Multi-Agent Systems; Applications of AI; Knowledge Engineering, Ontologies and the Semantic Web; Knowledge Representation and Reasoning; Machine Learning; Natural Language Processing; Planning and Scheduling; and Recommendation Systems and Decision Making.

This book constitutes the refereed proceedings of the 16th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2017, held in Bari, Italy, in November 2017. The 37 full papers presented were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on applications of AI; natural language processing; knowledge representation and reasoning; knowledge engineering, ontologies and the semantic web; machinelearning; philosophical foundations, metacognitive modeling and ethics; and planning and scheduling.

This book constitutes the proceedings of the 15th International Workshop on Knowledge Management and Acquisition for Intelligent Systems, PKAW 2018, held in Nanjing, China, in August 2018. The 15 full papers and 7 short papers included in this volume were carefully reviewed and selected from 51 initial submissions. They cover the methods and tools as well as the applications related to developing a knowledge base, healthcare, financial systems, and intelligent systems.

This book constitutes the refereed proceedings of the 22nd International Symposium on Methodologies for Intelligent Systems, ISMIS 2015, held in Lyon, France, in October 2015. The 31 revised full papers presented together with 18 short papers were carefully reviewed and selected from 67 submissions. The papers are organized in topical sections on data mining methods; databases, information retrieval, recommender systems; machine learning; knowledge representation, semantic web; emotion recognition, music information retrieval; network analysis, multi-agent systems; applications; planning, classification; and textual data analysis and mining.

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 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998. The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.

This book explores novel aspects of social robotics, spoken dialogue systems, human-robot interaction, spoken language understanding, multimodal communication, and system evaluation. It offers a variety of perspectives on and solutions to the most important questions about advanced techniques for social robots and chat systems. Chapters by leading researchers address key research and development topics in the field of spoken dialogue systems, focusing in particular on three special themes: dialogue state tracking, evaluation of human-robot dialogue in social robotics, and socio-cognitive language processing. The book offers a valuable resource for researchers and practitioners in both academia and industry whose work involves advanced interaction technology and who are seeking an up-to-date overview of the key topics. It also provides supplementary educational material for courses on state-of-the-art dialogue system technologies, social robotics, and related research fields.

The book discusses the main issues of coordination in complex sociotechnical systems, covering distributed, self-organising, and pervasive systems. A chemistry-inspired model of coordination, a situated architecture and coordination language, and a cognitive model of interaction are the ingredients of the Molecules of Knowledge (MoK) model for self-organisation of knowledge presented in this book. The MoK technology is discussed, along with some case studies in the fields of collaborative systems, academic research, and citizen journalism. The target audience includes researchers and practitioners in the field of complex software systems engineering. The book is also appropriate for graduate and late undergraduate students in computer science and engineering.