Bøger i Lecture Notes in Artificial Intelligence serien

This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023.The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.This is an open access book.

This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics.

This book constitutes the refereed proceedings of the 24th Annual Conference Towards Autonomous Robotic Systems, TAROS 2023, held in Cambridge, UK, during September 13¿15, 2023.The 40 full papers presented in this book were carefully reviewed and selected from 70 submissions.They cover a wide range of different topics such as: agri-food robotics; autonomy; collaborative and service robotics; locomotion and manipulation; machine vision; multi-robot systems; soft robotics; tactile sensing; and teleoperation.

This book constitutes the refereed proceedings of the 46th German Conference on Artificial Intelligence, KI 2023, which took place in Berlin, Germany, in September 2023.The 14 full and 5 short papers presented were carefully reviewed and selected from 78 submissions. The papers deal with research on theory and applications across all methods and topic areas of AI research.

This book constitutes the refereed proceedings of the 15th International Conference on Flexible Query Answering Systems, FQAS 2023, held in September 2023 in Palma de Mallorca, Spain. The 24 full papers presented were carefully reviewed and selected from numerous submissions. They are organized in the following topical sections: Flexible Queries over Semantic Systems; Advanced Methods and Applications in Natural Language; Processing (NLP); New Advances in Disinformation Detection; Data and Text Mining; Applying AI to Social Science and Social Science to AI; Artificial Intelligence Law and Regulation.

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 the refereed proceedings of the 8th International Conference on Interactive Collaborative Robotics, ICR 2023, held in Baku, Azerbaijan, during October 25¿29, 2023.The 33 full papers included in this book were carefully reviewed and selected from 56 submissions. They were organized in topical sections as follows: focused the foundations and means of collaborative behavior of one or more robots physically interacting with hu-mans in operational environments configured with embedded sensor networks and cloud services under uncertainty and environmental variability.

This two-volume set LNAI 13995 and LNAI 13996 constitutes the refereed proceedings of the 15th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2023, held in Phuket, Thailand, during July 24-26, 2023.The 65 full papers presented in these proceedings were carefully reviewed and selected from 224 submissions. The papers of the 2 volume-set are organized in the following topical sections: Case-Based Reasoning and Machine Comprehension; Computer Vision; Data Mining and Machine Learning; Knowledge Integration and Analysis; Speech and Text Processing; and Resource Management and Optimization.

This volume LNCS 14282 constitutes the refereed proceedings of the 20th European Conference EUMAS 2023, held in Naples, Italy, during September 2023.This volume includes 24 full papers and 5 short papers, carefully selected from 47 submissions. Additionally, the volume features 16 short papers, rigorously reviewed from 20 submissions for the PhD day. The conference focused on the theory and practice of autonomous agents and multi-agent systems, covering a wide range of topics.

This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.

This book constitutes the refereed proceedings of the 18th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2023, held in Salamanca, Spain, during September 5¿7, 2023.The 65 full papers included in this book were carefully reviewed and selected from 120 submissions. They were organized in topical sections as follows: ¿Anomaly and Fault Detection, Data Mining and Decision Support Systems, Deep Learning, Evolutionary Computation and Optimization, HAIS Applications, Image and Speech Signal Processing, Agents and Multiagents, Biomedical Applicatons.

This book constitutes the refereed proceedings of the 22nd China National Conference on Chinese Computational Linguistics, CCL 2023, Harbin, China, August 3¿5, 2023. The 82 full papers included in this book were carefully reviewed and selected from 278 submissions. They were organized in topical sections as follows: ¿Fundamental Theory and Methods of Computational Linguistics, Information Retrieval, Dialogue and Question Answering, Text Generation, Dialogue and Summarization, Knowledge Graph and Information Extraction, Machine Translation and Multilingual Information Processing, Language Resource and Evaluation, Pre-trained Language Models, Social Computing and Sentiment Analysis, NLP Applications.

This book constitutes the refereed deadline proceedings of the 28th International Conference on Graph-Based Representation and Reasoning, ICCS 2023, held in Berlin, Germany, during September 11¿13, 2023.The 9 full papers, 5 short papers and 4 Posters are included in this book were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Complexity and Database Theory, Formal Concept Analysis: Theoretical Advances, Formal Concept Analysis: Applications, Modelling and Explanation, Semantic Web and Graphs, Posters.

This book constitutes the 16th edition of the annual Multi-Agent Programming Contest, MAPC 2022. It gives an overview of the competition, describes the current scenario. The first paper describes the contest in general and this edition in particular, focusing on the organizers¿ observations. The following papers are written by the participants of the contest, describing their team of agents and its performance in more detail.

This book constitutes the refereed proceedings of the 26th International Conference on Text, Speech, and Dialogue, TSD 2023, held in Pilsen, Czech Republic, during September 4¿6, 2023.The 31 full papers presented together with the abstracts of 3 keynote talks were carefully reviewed and selected from 64 submissions. The conference attracts researchers not only from Central and Eastern Europe but also from other parts of the world. One of its goals has always been bringing together NLP researchers with various interests from different parts of the world and promoting their cooperation. One of the ambitions of the conference is, not only to deal with dialogue systems but also to improve dialogue among researchers in areas of NLP, i.e., among the ¿text¿ and the ¿speech¿ and the ¿dialogue¿ people.

This book constitutes the proceedings of the 31st International Conference on Case-Based Reasoning Research and Development, ICCBR 2023, which took place in Aberdeen, UK, in July 2023. The 26 full papers included in this book were carefully reviewed and selected from 79 submissions. The papers have been organized in topical sections as follows: CBR and deep learning; representation and similarity; CBR and explainable AI; case base maintenance; adaptation: techniques and application; and case-based applications.

This book constitutes the proceedings of the 21st International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2023, held in Guimaraes, Portugal, in July 2023.The 32 full papers in this book were reviewed and selected from 70 submissions. 5 demonstration papers are also included in this volume. The papers deal with the application and validation of agent-based models, methods, and technologies in a number of key applications areas, including: advanced models and learning, agent-based programming, decision-making, education and social interactions, formal and theoretic models, health and safety, mobility and the city, swarms and task allocation.

This book constitutes the refereed proceedings of the 24th International Conference on Artificial Intelligence in Education, AIED 2023, held in Tokyo, Japan, during July 3-7, 2023. This event took place in hybrid mode.The 53 full papers and 26 short papers presented in this book were carefully reviewed and selected from 311 submissions. The papers present result in high-quality research on intelligent systems and the cognitive sciences for the improvement and advancement of education. The conference was hosted by the prestigious International Artificial Intelligence in Education Society, a global association of researchers and academics specializing in the many fields that comprise AIED, including, but not limited to, computer science, learning sciences, and education.

This book constitutes the refereed proceedings of 17th International Conference, AC 2023, held as part of the 25th International Conference, HCI International 2023, which was held virtually in Copenhagen, Denmark in July 2023.The total of 1578 papers and 396 posters included in the HCII 2023 proceedings was carefully reviewed and selected from 7472 submissions.The AC 2023 conference focuses on topics related to Brain-Computer Interfaces and neurotechnology; neuroergonomics, physiological measurements, and human performance; evolving theory and practice of AC; Augmented and Virtual Reality for AC; as well as understanding human cognition and performance in IT security.