ECAI 2023


Book Description

Artificial intelligence, or AI, now affects the day-to-day life of almost everyone on the planet, and continues to be a perennial hot topic in the news. This book presents the proceedings of ECAI 2023, the 26th European Conference on Artificial Intelligence, and of PAIS 2023, the 12th Conference on Prestigious Applications of Intelligent Systems, held from 30 September to 4 October 2023 and on 3 October 2023 respectively in Kraków, Poland. Since 1974, ECAI has been the premier venue for presenting AI research in Europe, and this annual conference has become the place for researchers and practitioners of AI to discuss the latest trends and challenges in all subfields of AI, and to demonstrate innovative applications and uses of advanced AI technology. ECAI 2023 received 1896 submissions – a record number – of which 1691 were retained for review, ultimately resulting in an acceptance rate of 23%. The 390 papers included here, cover topics including machine learning, natural language processing, multi agent systems, and vision and knowledge representation and reasoning. PAIS 2023 received 17 submissions, of which 10 were accepted after a rigorous review process. Those 10 papers cover topics ranging from fostering better working environments, behavior modeling and citizen science to large language models and neuro-symbolic applications, and are also included here. Presenting a comprehensive overview of current research and developments in AI, the book will be of interest to all those working in the field.




Pattern Recognition and Artificial Intelligence


Book Description

This two-volume set constitutes the proceedings of the Third International Conference on Pattern Recognition and Artificial Intelligence, ICPRAI 2022, which took place in Paris, France, in June 2022. The 98 full papers presented were carefully reviewed and selected from 192 submissions. The papers present new advances in the field of pattern recognition and artificial intelligence. They are organized in topical sections as follows: pattern recognition; computer vision; artificial intelligence; big data.







Computer Aided Verification


Book Description




Probabilistic Parametric Curves for Sequence Modeling


Book Description

This work proposes a probabilistic extension to Bézier curves as a basis for effectively modeling stochastic processes with a bounded index set. The proposed stochastic process model is based on Mixture Density Networks and Bézier curves with Gaussian random variables as control points. A key advantage of this model is given by the ability to generate multi-mode predictions in a single inference step, thus avoiding the need for Monte Carlo simulation.




Compendium of Neurosymbolic Artificial Intelligence


Book Description

If only it were possible to develop automated and trainable neural systems that could justify their behavior in a way that could be interpreted by humans like a symbolic system. The field of Neurosymbolic AI aims to combine two disparate approaches to AI; symbolic reasoning and neural or connectionist approaches such as Deep Learning. The quest to unite these two types of AI has led to the development of many innovative techniques which extend the boundaries of both disciplines. This book, Compendium of Neurosymbolic Artificial Intelligence, presents 30 invited papers which explore various approaches to defining and developing a successful system to combine these two methods. Each strategy has clear advantages and disadvantages, with the aim of most being to find some useful middle ground between the rigid transparency of symbolic systems and the more flexible yet highly opaque neural applications. The papers are organized by theme, with the first four being overviews or surveys of the field. These are followed by papers covering neurosymbolic reasoning; neurosymbolic architectures; various aspects of Deep Learning; and finally two chapters on natural language processing. All papers were reviewed internally before publication. The book is intended to follow and extend the work of the previous book, Neuro-symbolic artificial intelligence: The state of the art (IOS Press; 2021) which laid out the breadth of the field at that time. Neurosymbolic AI is a young field which is still being actively defined and explored, and this book will be of interest to those working in AI research and development.




Machine Learning in Medical Imaging


Book Description

This book constitutes the proceedings of the 12th International Workshop on Machine Learning in Medical Imaging, MLMI 2021, held in conjunction with MICCAI 2021, in Strasbourg, France, in September 2021.* The 71 papers presented in this volume were carefully reviewed and selected from 92 submissions. They focus on major trends and challenges in the above-mentioned area, aiming to identify new-cutting-edge techniques and their uses in medical imaging. Topics dealt with are: deep learning, generative adversarial learning, ensemble learning, sparse learning, multi-task learning, multi-view learning, manifold learning, and reinforcement learning, with their applications to medical image analysis, computer-aided detection and diagnosis, multi-modality fusion, image reconstruction, image retrieval, cellular image analysis, molecular imaging, digital pathology, etc. *The workshop was held virtually.




Automated Deduction - CADE 28


Book Description

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.







Computer Vision – ECCV 2022 Workshops


Book Description

The 8-volume set, comprising the LNCS books 13801 until 13809, constitutes the refereed proceedings of 38 out of the 60 workshops held at the 17th European Conference on Computer Vision, ECCV 2022. The conference took place in Tel Aviv, Israel, during October 23-27, 2022; the workshops were held hybrid or online. The 367 full papers included in this volume set were carefully reviewed and selected for inclusion in the ECCV 2022 workshop proceedings. They were organized in individual parts as follows: Part I: W01 - AI for Space; W02 - Vision for Art; W03 - Adversarial Robustness in the Real World; W04 - Autonomous Vehicle Vision Part II: W05 - Learning With Limited and Imperfect Data; W06 - Advances in Image Manipulation; Part III: W07 - Medical Computer Vision; W08 - Computer Vision for Metaverse; W09 - Self-Supervised Learning: What Is Next?; Part IV: W10 - Self-Supervised Learning for Next-Generation Industry-Level Autonomous Driving; W11 - ISIC Skin Image Analysis; W12 - Cross-Modal Human-Robot Interaction; W13 - Text in Everything; W14 - BioImage Computing; W15 - Visual Object-Oriented Learning Meets Interaction: Discovery, Representations, and Applications; W16 - AI for Creative Video Editing and Understanding; W17 - Visual Inductive Priors for Data-Efficient Deep Learning; W18 - Mobile Intelligent Photography and Imaging; Part V: W19 - People Analysis: From Face, Body and Fashion to 3D Virtual Avatars; W20 - Safe Artificial Intelligence for Automated Driving; W21 - Real-World Surveillance: Applications and Challenges; W22 - Affective Behavior Analysis In-the-Wild; Part VI: W23 - Visual Perception for Navigation in Human Environments: The JackRabbot Human Body Pose Dataset and Benchmark; W24 - Distributed Smart Cameras; W25 - Causality in Vision; W26 - In-Vehicle Sensing and Monitorization; W27 - Assistive Computer Vision and Robotics; W28 - Computational Aspects of Deep Learning; Part VII: W29 - Computer Vision for Civil and Infrastructure Engineering; W30 - AI-Enabled Medical Image Analysis: Digital Pathology and Radiology/COVID19; W31 - Compositional and Multimodal Perception; Part VIII: W32 - Uncertainty Quantification for Computer Vision; W33 - Recovering 6D Object Pose; W34 - Drawings and Abstract Imagery: Representation and Analysis; W35 - Sign Language Understanding; W36 - A Challenge for Out-of-Distribution Generalization in Computer Vision; W37 - Vision With Biased or Scarce Data; W38 - Visual Object Tracking Challenge.