作者: Andrew Schumann

This book presents fundamental theoretical results for designing object-oriented programming languages for controlling swarms. It studies the logics of swarm behaviours. According to behaviourism, al …

This book shows that the plasmodium of Physarum polycephalum can be considered a natural labelled transition system, and based on this, it proposes high-level programming models for controlling the p …

Knocking on Heaven’s Door is the oldest human dream that seems unrealized still. Religious discourse does show the road, but it requires a blind faith in return. In this book logicians try to hear He …

The Orthodox Christian thought is the most modally rigorous way of inferring. The subject of the book is to investigate possibilities of explicating the Orthodox thought from the viewpoint of analyti …

The notion of swarm intelligence was introduced for describing decentralized and self-organized behaviors of groups of animals. Then this idea was extrapolated to design groups of robots which intera …

The notion of swarm intelligence was introduced for describing decentralized and self-organized behaviors of groups of animals. Then this idea was extrapolated to design groups of robots which intera …

The question arises whether logic was given to us by God or whether it is the result of human evolution. I believe that at least the modus ponens rule ( A and if A then B implies B) is inherent in hu …

The question arises whether logic was given to us by God or whether it is the result of human evolution. I believe that at least the modus ponens rule ( A and if A then B implies B) is inherent in hu …