This book constitutes the proceedings of the 26th International Conference on Principles and Practice of Constraint Programming, CP 2020, held in Louvain-la-Neuve, Belgium, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 55 full papers pres…
This edited book focuses on concepts and their applications using the theory of conceptual spaces, one of today{u2019}s most central tracks of cognitive science discourse. It features 15 papers based on topics presented at the Conceptual Spaces @ Work 2016 conference. The contri…
This book constitutes the thoroughly refereed papers of the 16th International Conference on Implementation and Application of Automata, CIAA 2011, held in Blois, France, in July 2011. The 20 revised full papers together with 4 short papers were carefully selected from 38 submis…
Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the cognitive value of modelling puzzles and often use logical puzzles as an efficient pedagogical instrument to engage students and develop problem-solving skills. This …
This book constitutes the proceedings of the 26th International Conference on Conceptual Structures, ICCS 2021, held virtually in September 2021. The 12 full papers and 4 short papers presented were carefully reviewed and selected from 25 submissions. The papers focus on the rep…
This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from …
This book constitutes the refereed proceedings of the 6th International Conference on Belief Functions, BELIEF 2021, held in Shanghai, China, in October 2021. The 30 full papers presented in this book were carefully selected and reviewed from 37 submissions. The papers cover a w…
