Search

This book constitutes the refereed proceedings of the 9th International Conference on Metaheuristics and Nature Inspired Computing, META 2023, held in Marrakech, Morocco, during November 1-4, 2023. The 19 full papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers are divided into the following topical sections: combinatorial optimization; scheduling; continuous optimization; automatic metaheuristics tuning; optimization and machine learning; and applications.

The two-volume set CCIS 2061 and 2062 constitutes the refereed post-conference proceedings of the 18th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2023, held in Changsha, China, during December 15–17, 2023.The 64 revised full papers presented in these proceedings were carefully reviewed and selected from 168 submissions. The papers are organized in the following topical sections: Volume I: Evolutionary Computation and Swarm Intelligence; and Membrane Computing and DNA ComputingVolume II: Machine Learning and Applications; and Intelligent Control and Application.

The two-volume set CCIS 2061 and 2062 constitutes the refereed post-conference proceedings of the 18th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2023, held in Changsha, China, during December 15–17, 2023.The 64 revised full papers presented in these proceedings were carefully reviewed and selected from 168 submissions. The papers are organized in the following topical sections: Volume I: Evolutionary Computation and Swarm Intelligence; and Membrane Computing and DNA ComputingVolume II: Machine Learning and Applications; and Intelligent Control and Application.

This volume constitutes the papers of several workshops which were held in conjunction with the 6th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2024, in Auckland, New Zealand, during May 6–10, 2024. The 13 full papers presented in this book were carefully reviewed and selected from 25 submissions. The papers are organized in the following topical sections: User-centric XAI; XAI and Reinforcement Learning; Neuro-symbolic AI and Explainable Machine Learning; and XAI & Ethics.

This book constitutes the revised selected papers from the 12th International Workshop on Engineering Multi-Agent Systems, EMAS 2024, held in Auckland, New Zealand, during May 6–7, 2024. The 7 full papers and 4 short papers included in this book were carefully reviewed and selected from a total of 18 submissions. These papers focus on topics such as agent-oriented software engineering, programming multi-agent systems, declarative agent languages and technologies, artificial intelligence, and machine learning.

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.

This open access book constitutes revised selected papers from the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of AI via the various kinds of formal methods-based validation techniques; dedicated applications scenarios which may allow certain levels of assistance; and education in times of deep learning.

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 Distributed AI in general. The other track focuses mainly on Artificial Intelligence, Knowledge Representation, Planning, Learning, Scheduling, Perception Reactive AI Systems, and Evolutionary Computing and other topics related to Intelligent Systems and Computational Intelligence.

​This book constitutes the refereed proceedings of the 11th Conference on Artificial Intelligence and Natural Language, AINL 2022, held in St. Petersburg, Russia, in April 2022. The 8 revised full papers and 1 short paper were carefully reviewed and selected from 20 submissions. The volume presents recent research in areas of of text mining, speech technologies, dialogue systems, information retrieval, machine learning, articial intelligence, and robotics.

This volume LNCS 14127 constitutes the refereed proceedings of the 5th International Workshop, EXTRAAMAS 2023, held in London, UK, in May 2023. The 15 full papers presented together with 1 short paper were carefully reviewed and selected from 26 submissions. The workshop focuses on Explainable Agents and multi-agent systems; Explainable Machine Learning; and Cross-domain applied XAI.

This book constitutes revised selected papers from the 11th International Workshop on Engineering Multi-Agent Systems, EMAS 2023, which was held in London, UK, during May 29–30, 2023.The 11 full papers and 7 short papers included in this volume were carefully reviewed and selected from a total of 25 submissions. They were organized in topical sections as follows: agent-oriented software engineering; agents and microservices; strategy, reasoning, and planning; engineering domains and applications; agents in hypermedia environments; frameworks, tooling, and devops.

This book constitutes the proceedings of the 15th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2021, held in Winterthur, Switzerland, in September 2022. The 14 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in the following topical sections: Networks; Droplets, Fluids, and Synthetic Biology; Robot Systems; Computer Vision and Computational Creativity; Semantic Search; Artificial Medicine and Pharmacy; Trade and Finance; Ethics in Computational Modelling.Chapters 4, 5, 6, 7, 22, and 24 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the extended and revised versions of a set of selected papers from the 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2021, on October 25–27, 2021. The conference was held virtually due to the COVID-19 crisis.The 9 full papers included in this book were carefully reviewed and selected from 103 submissions. The purpose of the IC3K is to bring together researchers, engineers and practitioners on the areas of Knowledge Discovery, Knowledge Engineering and Knowledge Management. IC3K is composed of three co-located conferences, each specialized in at least one of the aforementioned main knowledge areas.

This book constitutes extended, revised, and selected papers from the JSAI annual conference, JSAI 2022, and the 14th International Symposium on Artificial Intelligence, JSAI-isAI 2022, held in Kyoto, Japan, in June 2022. The 18 full papers were carefully selected from 67 submissions and presented during the two events: 16th International Workshop on Juris-informatics, JURISIN 2022, and JSAI 2022 Intenational Session. This papers present discussion on fundamental and practical issues in Juris-informatics among researchers from various backgrounds such as law, social science, information and intelligent technology, logic, and philosophy, including the conventional AI and Law area.

This book constitutes the refereed proceedings of the 27th International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems, COINE 2023, held in London, UK, on May 29, 2023 (co-located with 22nd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)).This book contains 10 full papers which are the extended and revised versions of the papers accepted to the workshop.The papers were carefully reviewed and selected from 13 submissions. They are organized in topical sections as follows: Norms, Social contracts, Institutions, and Privacy; Studies on the notion of Value; and Argumentation and Conventions

This book constitutes the refereed proceedings of the 16th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2022, held in Gaeta, Italy, during September 14–16, 2022. The 21 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They were organized in topical sections as follows: answer set programming; networks and complex systems, metaheuristics, robotics, and machine learningChapters 7, 8, and 9 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17–18, 2022.The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

This book constitutes extended, revised, and selected papers from the 13th International Symposium on Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2021, held online in November 2021. The 26 full papers were carefully selected from 86 submissions. The papers are organized in the volume according to the following workshops: 15th International Workshop on Juris-Informatics, JURISIN 2021; 18th Workshop on Logic and Engineering of Natural Language Semantics, LENLS 18, 5th International Workshop on SCIentific DOCument Analysis, SCI-DOCA 2021; Workshop on Artificial Affective (Kansei) Intelligence, KANSEI-AI 2021; 5th Workshop on Artificial Intelligence of and for Business, AI-Biz 2021.

This book constitutes the refereed proceedings of the 16th International Conference on Learning and Intelligent Optimization, LION 16, which took place in Milos Island, Greece, in June 2022.The 36 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 60 submissions. LION deals with automatic solver configuration, parallel methods, intelligent optimization, nature-inspired algorithms, hard combinatorial optimization problems, DC learning, computational intelligence, and others. The contributions were organized in topical sections as follows: Invited Papers; Contributed Papers.

This book constitures selected and revised papers presented at the First International Workshop on Measuring Ontologies for Value Enhancement, MOVE 2020, held as Virtual Event in October 2020. The 7 extended and revised papers presented were thoroughly reviewed and selected from the 13 submissions. Along with them, the volume presents 5 invited papers. The volume articles are arranged in the topical sections on complexity of knowledge-intensive endeavors; ontology modeling; enterprise ontologies; knowledge discovery and innovations.

This two-volume set (CCIS 1565 and CCIS 1566) constitutes selected and revised papers from the 16th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2021, held in Taiyuan, China, in December 2021. The 67 papers presented were thoroughly reviewed and selected from 211 submissions. The papers are organized in the following topical sections: ​evolutionary computation and swarm intelligence; DNA and molecular computing; ​machine learning and computer vision.

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 volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6–10, 2021.The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks.SEFM 2021 presents the following four workshops:CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development.Due to the Corona pandemic this event washeld virtually.

This book constitutes the refereed proceedings of the 7th China Conference on Knowledge Graph and Semantic Computing: Knowledge Graph Empowers the Digital Economy, CCKS 2022, in Qinhuangdao, China, August 24–27, 2022.The 15 full papers and 2 short papers included in this book were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: knowledge representation and reasoning; knowledge acquisition and knowledge base construction; linked data, knowledge integration, and knowledge graph storage managements; natural language understanding and semantic computing; knowledge graph applications; and knowledge graph open resources.

This book constitutes the refereed proceedings of the 10th International Symposium'From Data Models and Back', DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021. The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 12 submissions. They were organized in topical sections as follows: Model verification; data mining and processing related approaches; and other approaches.

This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020. The 11 full papers and 3 short papers presented in this book were selected from 19 submissions. The papers are grouped in these topical sections: machine learning; simulation-based approaches, and data mining and processing related approaches.

This book constitutes the proceedings of the 4th International Workshop on Chatbot Research and Design, CONVERSATIONS 2020, which was held during November 23-24, 2020, hosted by the University of Amsterdam. The conference was planned to take place in Amsterdam, The Netherlands, but changed to an online format due to the COVID-19 pandemic.The 14 papers included in this volume were carefully reviewed and selected from a total of 36 submissions. The papers in the proceedings are structured in four topical groups: Chatbot UX and user perceptions, social and relational chatbots, chatbot applications, and chatbots for customer service. The papers provide new knowledge through empirical, theoretical, or design contributions.

This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 15 full papers presented together with 8 short papers in this volume were carefully reviewed and selected from a total of 35 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: ASYDE 2020: Second International Workshop on Automated and Verifiable Software System Development; CIFMA 2020: Second International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and CoSim-CPS 2020: Fourth International Workshop on Formal Co-Simulation of Cyber-Physical Systems. Due to the Corona pandemic this event was held virtually.

This book constitutes the revised selected papers of the 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2019, held in Vienna, Austria, in September 2019.The 25 full papers presented were carefully reviewed and selected from 220 submissions. The papers are organized in topical sections on knowledge discovery and information retrieval; knowledge engineering and ontology development; and knowledge management and information systems.

This book constitutes the revised post-conference proceedings of the 18th European Conference on Multi-Agent Systems, EUMAS 2021. The conference was held online in June, 2021. 16 full papers are presented in this volume, each of which carefully reviewed and selected from a total of 51 submissions. The papers report on both early and mature research and cover a wide range of topics in the field of multi-agent systems.

This book constitutes extended, revised, and selected papers from the 12th International Symposium on Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2020. Organized in the Tokyo Institute of Technology, it was held virtually due to COVID-19 pandemic. The 19 full papers were carefully selected from 50 submissions and present two workshops: Logic and Engineering of Natural Language Semantics (LENLS 2020) focus on the formal and theoretical aspects of natural language. It is an annual International Workshop recognized internationally in the formal syntax-semantics-pragmatics community. The 14th International Workshop on Juris-informatics (JURISIN 2020) details legal issues for the perspective of information science. This workshop covers a wide range of topics, including any theories and technologies which are not directly related with juris-informatics but have a potential to contribute to this domain.

This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods – Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected from 15 submissions. A white paper and two keynote papers are also included. The papers explore ways of utilizing the pathway to transforming and spreading formal methods. The vision of this workshop series is that formal methods ought to be taught in such a way that every student can have fun with it.

This volume constitutes the refereed proceedings of the 7th International Conference on Modelling and Development of Intelligent Systems, MDIS 2020, held in Sibiu, Romania, in October 2020. Due to the COVID-19 pandemic the conference was held online. The 25 revised full papers presented in the volume were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on ​evolutionary computing; intelligent systems for decision support; machine learning; mathematical models for development of intelligent systems; modelling and optimization of dynamic systems; ontology engineering.

This book contains a selection of the best papers of the 32nd Benelux Conference on Artificial Intelligence, BNAIC/Benelearn 2020, held in Leiden, The Netherlands, in November 2020. Due to the COVID-19 pandemic the conference was held online. The 12 papers presented in this volume were carefully reviewed and selected from 41 regular submissions. They address various aspects of artificial intelligence such as natural language processing, agent technology, game theory, problem solving, machine learning, human-agent interaction, AI and education, and data analysis.The chapter 11 is published open access under a CC BY license (Creative Commons Attribution 4.0 International License) Chapter “Gaining Insight into Determinants of Physical Activity Using Bayesian Network Learning” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com..

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 constitutes selected revised papers of the 14th International Conference, NooJ 2020, held Zagreb, Croatia, in June 2020. Due to the COVID-19 pandemic the conference was held online. NooJ is a linguistic development environment that allows linguists to formalize several levels of linguistic phenomena. NooJ provides linguists with tools to develop dictionaries, regular grammars, context-free grammars, context-sensitive grammars and unrestricted grammars as well as their graphical equivalent to formalize each linguistic phenomenon. The 20 full papers presented were carefully reviewed and selected from 68 submissions. The papers are organized in the following topics:​ Linguistic Formalization; Digital Humanities and Teaching with NooJ; Natural Language Processing Applications.

This book constitutes the refereed proceedings of the 12th International Conference on Optimization and Applications, OPTIMA 2021, held in Petrovac, Montenegro, in September - October 2021. Due to the COVID-19 pandemic the conference was partially held online. The 19 revised full papers presented were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on ​​mathematical programming; global optimization; stochastic optimization; optimal control; mathematical economics; optimization in data analysis; applications.

This book includes revised selected papers from the International Workshops on AI Approaches to the Complexity of Legal Systems, AICOL-XI@JURIX2018, held in Groningen, The Netherlands, on December 12, 2018; AICOL-XII@JURIX 2020, held in Brno, Czechia, on December 9, 2020; XAILA@JURIX 2020, held in in Brno, Czechia, on December 9, 2020.•The 17 full and 4 short papers included in this volume were carefully reviewed and selected form 39 submissions. They represent a comprehensive picture of the state of the art in legal informatics. The papers are logically organized in 5 blocks: ​Knowledge Representation; Logic, rules, and reasoning; Explainable AI in Law and Ethics; Law as Web of linked Data and the Rule of Law; Data protection and Privacy Modelling and Reasoning.•Due to the Covid-19 pandemic AICOL-XII@JURIX 2020 and XAILA@JURIX 2020 were held virtually.

This book constitutes the refereed post-conference proceedings of the 21st International Conference on Membrane Computing, CMC 2020, held as a virtual event, in September 2020. The 10 full papers presented were selected from 31 submissions. The papers deal with all aspects on membrane computing and related areas.

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.

This book features a selection of best papers from 13 workshops held at the International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017, held in Sao Paulo, Brazil, in May 2017. The 17 full papers presented in this volume were carefully reviewed and selected for inclusion in this volume. They cover specific topics, both theoretical and applied, in the general area of autonomous agents and multiagent systems.

This book constitutes the refereed post proceedings of the 17th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2023, held in Venice, Italy, during September 6–8, 2023.The 30 full papers included in this book were carefully reviewed and selected from 55 submissions. They were organized in topical sections as follows: Algorithms for complex systems, Biologically inspired models, Complex chemical systems, Adaptation and swarms, Learning, Medicine and Social systems.

This book constitutes the refereed post proceedings of the 18th International Conference on Advances in Computer Games, ACG 2023, held online, during November 28–30, 2023.The 14 full papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Chess and its Variants, Solving Games, Board Games, Card Games, Player Investigation, Math, Games, and Puzzles.

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.

This book constitutes the revised selected papers of the 13th International Workshop on Information Search, Integration and Personalization, ISIP 2019, held in Heraklion, Greece, in May 2019.The volume presents 11 revised full papers, which were carefully reviewed and selected from 16 papers submitted to these post-conference proceedings. The papers are organized in topical sections on linked data; data analytics; data integration; data mining applications.

This book constitutes the refereed proceedings of the Third International Conference on Convergent Cognitive Information Technologies, Convergent 2018, held in Moscow, Russia, in December 2018. The 26 revised full papers and 9 short papers were carefully reviewed and selected from 147 submissions. The papers of this volume are organized in topical sections on theoretical questions of computer science, computational mathematics, computer science and cognitive information technologies; cognitive information technologies in control systems; big data and applications; the Internet of Things (IoT): standards, communication and information technologies, network applications; smart cities: standards, cognitive-information technologies and their applications.- cognitive information technologies in the digital economics.- digital transformation of transport.

This book constitutes the refereed proceedings of the 4th International Symposium on Mobile Internet Security, MobiSec 2019, held in Taichung, Taiwan, in October 2019.The 13 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers are organized in the topical sections: mobile internet security; mobile application and security; vehicular network security; deep learning applications.

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems; methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry; code generation from validated models.

This book constitutes the refereed proceedings of the 29th National Conference on Computer Science Technology and Education, NCCSTE 2019, held in Kaifeng, China, in October 2019.The 12 full papers presented were thoroughly reviewed and selected from 50 submissions. The papers focus on the diverse environments of smart learning, including massive open online courses with AI assistants, intelligent tutoring systems, interactive learning courseware, learning games, collaborative programming communities, community tutorial systems, personalized exercise programs, tutoring robotics, etc. The papers are organized in the following topical sections: ​smart learning; information technologies.

This book constitutes the revised selected papers of the 14th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2019, held in Rende, Italy, in September 2019.The 13 full papers and 4 short paper presented were thoroughly reviewed and selected from 31 submissions. They are focused on the topics of information systems, design and analysis of algorithms, artificial intelligence, machine learning, cognitive science, modeling and simulation, collaborative and social computing, parallel computing, distributed computing.Chapters 14, 15, 16, and 17 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.