Lecture Notes in Artificial Intelligence

This book constitutes revised, selected, and invited papers from the First International Workshop on Agent Based Modelling of Urban Systems, ABMUS 2016, held in conjunction with AAMAS 2016 in Singapore in May 2016.
The 11 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: urban systems modeling; traffic simulation in urban modeling; and applications. 

This book constitutes the refereed post-conference proceedings of the First International Workshop on Artificial Intelligence in Health, AIH 2018, in Stockholm, Sweden, in July 2018. This workshop consolidated the workshops CARE, KRH4C and AI4HC into a single event.
The 18 revised full papers included in this volume were carefully selected from the 26 papers accepted for presentation out of 42 initial submissions. The papers present AI technologies with medical applications and are organized in three tracks: agents in healthcare; data science and decision systems in medicine; and knowledge management in healthcare.

After a first chapter that gently introduces the Prolog programming language using examples, the next 7 papers discuss general views of the language, possible extensions for the future, and how Prolog can generally be used to solve problems; the next 5 papers explore ideas and experiences of teaching Prolog programming and then 2 papers discuss technology that has been developed for help in that teaching; the next 3 papers describe new languages based on Prolog which show future directions for logic programming; the next 5 chapters explain the applications that were the finalists for the 2022 Alain Colmerauer Prize; and the final 8 papers describe applications developed using the Prolog language, demonstrating the language’s range.

The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 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.

This book constitutes the refereed proceedings of the 20th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2024, held in A Coruña, Spain, during June 19–21, 2024.

The 27 full papers presented in this book were carefully reviewed and selected from 38 submissions.

CAEPIA is a forum open to researchers from all over the world to present and discuss their latest scientific and technological advances in Artificial Intelligence (AI).

The papers cover such themes as: machine learning, search and optimization, creativity and AI, ontologies and knowledge graphs, education and AI, foundation, models and applications of AI, uncertainty in AI, ambient intelligence and smart environments, explainable and responsible AI, fuzzy logic, natural language processing, knowledge representation, reasoning and logic, constraints, search and planning, multi-agent systems, computer vision and robotics, and intelligent web and information retrieval.

This proceeding constitutes the 13th International Conference on Biomimetic and Biohybrid Systems, held in Chicago, IL, USA, during July 8–11, 2024.

The 27 full papers and 4 short papers were carefully reviewed and selected from 35 submissions. They were categorized under the following topics: Brain Network Modeling; Tools for Studying Behaviors; Sensors and Sensing, Navigational Systems; Control and Mechanics of Soft and Continuum Systems; System Design; Neural Networks for Computation; Bio Inspired Neural Networks for Control; Biohybrid Systems; and Biomechanics.