Bücher der Reihe Lecture Notes in Artificial Intelligence

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 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 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 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 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 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 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 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 post-conference proceedings of the 9th International Conference on Mining Intelligence and Knowledge Exploration, MIKE 2023, held in Kristiansand, Norway, during June 28¿30, 2023.The 22 full papers and 16 short papers included in this book were carefully reviewed and selected from 87 submissions. They were grouped into various subtopics including Knowledge Exploration in IoT, Medical Informatics, Machine Learning, Text Mining, Natural Language Processing, Cryptocurrency and Blockchain, Application of Artificial Intelligence, and other areas.

This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023.The 41 full papers and 11 short papers included in this volume were carefully reviewed and selected from 111 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).

This book constitutes the proceedings of the 26th International Conference on Discovery Science, DS 2023, which took place in Porto, Portugal, in October 2023. The 37 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 133 submissions. They were organized in topical sections as follows: Machine learning methods and applications; natural language processing and social media analysis; interpretability and explainability in AI; data analysis and optimization; fairness, privacy and security in AI; control and spatio-temporal modeling; graph theory and network analysis; time series and forecasting; healthcare and biological data analysis; anomaly, outlier and novelty detection.

The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5-7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric Technologies for Seamless Human-Robot Collaboration; Multimodal Collaborative Perception and Fusion; Intelligent Robot Perception in Unknown Environments; Vision-Based Human Robot Interaction and Application.Part II: Vision-Based Human Robot Interaction and Application; Reliable AI on Machine Human Reactions; Wearable Sensors and Robots; Wearable Robots for Assistance, Augmentation and Rehabilitation of Human Movements; Perception and Manipulation of Dexterous Hand for Humanoid Robot.Part III: Perception and Manipulation of Dexterous Hand for Humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.Part IV: 3D Printing Soft Robots; Dielectric Elastomer Actuators for Soft Robotics; Human-like Locomotion and Manipulation; Pattern Recognition and Machine Learning for Smart Robots.Part V: Pattern Recognition and Machine Learning for Smart Robots; Robotic Tactile Sensation, Perception, and Applications; Advanced Sensing and Control Technology for Human-Robot Interaction; Knowledge-Based Robot Decision-Making and Manipulation; Design and Control of Legged Robots.Part VI: Design and Control of Legged Robots; Robots in Tunnelling and Underground Space; Robotic Machining of Complex Components; Clinically Oriented Design in Robotic Surgery and Rehabilitation; Visual and Visual-Tactile Perception for Robotics.Part VII: Visual and Visual-Tactile Perception for Robotics; Perception, Interaction, and Control of Wearable Robots; Marine Robotics and Applications; Multi-Robot Systems for Real World Applications; Physical and Neurological Human-Robot Interaction.Part VIII: Physical and Neurological Human-Robot Interaction; Advanced Motion Control Technologies for Mobile Robots; Intelligent Inspection Robotics; Robotics in Sustainable Manufacturing for Carbon Neutrality; Innovative Design and Performance Evaluation of Robot Mechanisms.Part IX: Innovative Design and Performance Evaluation of Robot Mechanisms; Cutting-Edge Research in Robotics.

These two volumes constitute the proceedings of the 10th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2023, held in Kanazawa, Japan, during November 2-4, 2023.The 58 full papers presented were carefully reviewed and selected from 107 submissions. The papers deal with all aspects of research results, ideas, and experiences of application among researchers and practitioners involved with all aspects of uncertainty modelling and management.

These two volumes constitute the proceedings of the 10th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2023, held in Kanazawa, Japan, during November 2-4, 2023. The 58 full papers presented were carefully reviewed and selected from 107 submissions. The papers deal with all aspects of research results, ideas, and experiences of application among researchers and practitioners involved with all aspects of uncertainty modelling and management.

This book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 ¿ Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6¿10, 2023.The 33 full papers included in this book were carefully reviewed and selected from 53 submissions. They were organized in topical sections as follows: Argumentation and Logic Programming, Natural Language Processing, Machine Learning, Hybrid AI and Applications of AI.

This book constitutes the refereed proceedings of the 19th Principle and Practice of Data and Knowledge Acquisition Workshop, PKAW 2023, held in conjunction with the 20th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2023), in November 2023, in Jakarta, Indonesia. The 9 full papers and 2 short papers included in this volume were carefully reviewed and selected from 28 initial submissions. They are organized in the topical section such as machine learning, natural language processing, and intelligent systems.

This book constitutes the refereed proceedings of the 43rd SGAI International Conference on Artificial Intelligence, AI 2023, held in Cambridge, UK, during December 12¿14, 2023.The 27 full papers and 20 short papers included in this book are carefully reviewed and selected from 67 submissions. They were organized in topical sections as follows: Technical Papers: Speech and Natural Language Analysis, Image Analysis, Neural Nets, Case Based Reasoning and Short Technical Papers. Application Papers: Machine Learning Applications, Machine Vision Applications, Knowledge Discovery and Data Mining Applications, other AI Applications and Short Application Papers.

The two-volume set LNAI 14391 and 14392 constitutes the proceedings of the 22nd Mexican International Conference on Artificial Intelligence, MICAI 2023, held in Yucatán, Mexico, in November 2023.The total of 49 papers presented in these two volumes was carefully reviewed and selected from 115 submissions.The proceedings of MICAI 2023 are published in two volumes. The first volume, Advances in Computational Intelligence, contains 24 papers structured into three sections:¿ Machine Learning¿ Computer Vision and Image Processing¿ Intelligent SystemsThe second volume, Advances in Soft Computing, contains 25 papers structured into three sections:¿ Natural Language Processing¿ Bioinformatics and Medical Applications¿ Robotics and Applications

The two-volume set LNAI 14391 and 14392 constitutes the proceedings of the 22nd Mexican International Conference on Artificial Intelligence, MICAI 2023, held in Yucatán, Mexico, in November 2023.The total of 49 papers presented in these two volumes was carefully reviewed and selected from 115 submissions.The proceedings of MICAI 2023 are published in two volumes. The first volume, Advances in Computational Intelligence, contains 24 papers structured into three sections:¿ Machine Learning¿ Computer Vision and Image Processing¿ Intelligent SystemsThe second volume, Advances in Soft Computing, contains 25 papers structured into three sections:¿ Natural Language Processing¿ Bioinformatics and Medical Applications¿ Robotics and Applications

This book constitutes the refereed proceedings of the 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2023, held in Arras, France, in September 2023. The 35 full papers presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in topical sections about Complexity and Database Theory; Formal Concept Analysis: Theoretical Advances; Formal Concept Analysis: Applications; Modelling and Explanation; Semantic Web and Graphs; Posters.

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.