This two part-volume LNCS constitutes the refereed post proceedings of 16th International Conference, ICAART 2024, in Rome, Italy in February 2024.The 24 full papers and 13 short papers included in this book were carefully reviewed and selected from 375 submissions. They cover all aspects of formal methods, with a strong emphasis on promoting their industrial applications and integrating them with practical engineering practices.

This two part-volume LNCS constitutes the refereed post proceedings of 16th International Conference, ICAART 2024, in Rome, Italy in February 2024.The 24 full papers and 13 short papers included in this book were carefully reviewed and selected from 375 submissions. They cover all aspects of formal methods, with a strong emphasis on promoting their industrial applications and integrating them with practical engineering practices.

This book constitutes the proceedings of the Second International Workshop on Value Engineering in Artificial Intelligence, VALE 2024, held in Santiago de Compostela, Spain, during October 19–24, 2024.The 16 full papers presented were carefully reviewed and selected. The papers have been grouped into these topical sections: value identification; value-driven decision making; and ethical issues, including explainability.

This book constitutes the post-conference proceedings of the First International Workshop on Value Engineering in Artificial Intelligence, VALE 2023, held in Krakow, Poland, on September 30, 2023.The 16 full papers presented were carefully reviewed and selected. The papers have been grouped into four themes, addressing a number of research questions for each:I. Frameworks for norms and values: What are existing or new frameworks for norms and values and how can they be repr...

Originally published in 1995, this volume is the direct result of a conference in which a number of leading researchers from the fields of artificial intelligence and biology gathered to examine whether there was any ground to assume that a new AI paradigm was forming itself and what the essential ingredients of this new paradigm were. A great deal of scepsis is justified when researchers, particularly in the cognitive sciences, talk about a new paradigm. Shifts in paradigm mean not only n...

This book contains the revised and extended versions of selected papers from the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020, held in Valletta, Malta, in February 2020.Overall, 45 full papers, 74 short papers, and 56 poster papers were carefully reviewed and selected from 276 initial submissions. 23 of the 45 full papers were selected to be included in this volume. These papers deal with topics such as agents and artificial intelligence.

This book contains the revised and extended versions of selected papers from the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, held in Lisbon, Portugal, during February 22–24, 2023.The 23 full papers included in this book were carefully reviewed and selected from 306 submissions. The conference was organized in 2 tracks as follows:One track focuses on Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Dist...

This book constitutes selected papers from the refereed proceedings of the 13th International Conference on Agents and Artificial Intelligence, ICAART 2021, which was held online during February 4–6, 2021.A total of 72 full and 99 short papers were carefully reviewed and selected for the conference from a total of 298 submissions; 17 selected full papers are included in this book. They were organized in topical sections named agents and artificial intelligence.

This book contains the revised and extended versions of selected papers from the 14th International Conference on Agents and Artificial Intelligence, ICAART 2022, which took place virtually during February 3–5, 2022. The conference was originally planned to take place in Vienna, Austria, but had to change to an online format due to the COVID-19 pandemic.The 9 full papers included in this book were carefully reviewed and selected from 302 submissions. They were organized in topical ...

This book contains the revised and extended versions of selected papers from the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019, held in Prague, Czech Republic, in February 2019.Overall, 46 full papers, 66 short papers, and 36 poster papers were carefully reviewed and selected from 202 initial submissions. 17 of the 46 full papers were selected to be included in this volume. These papers deal with topics such as natural language processing, artific...

This book constitutes the conference proceedings of the 17th International Symposium on Intelligent Data Analysis, which was held in October 2018 in ‘s-Hertogenbosch, the Netherlands. The traditional focus of the IDA symposium series is on end-to-end intelligent support for data analysis. The 29 full papers presented in this book were carefully reviewed and selected from 65 submissions. The papers cover all aspects of intelligent data analysis, including papers on intelligent support for m...

This book constitutes the proceedings of the 21st International Symposium on Intelligent Data Analysis, IDA 2022, which was held in Louvain-la-Neuve, Belgium, during April 12-14, 2023.The 38 papers included in this book were carefully reviewed and selected from 91 submissions. IDA is an international symposium presenting advances in the intelligent analysis of data. Distinguishing characteristics of IDA are its focus on novel, inspiring ideas, its focus on research, and its relativ...