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. 

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.