This book presents the proceedings of the 11th Conference on Theory and Applications of Soft Computing, Computing with Words and Perceptions and Artificial Intelligence, ICSCCW-2021, held in Antalya, Turkey, on August 23–24, 2021. The general scope of the book covers uncertain computation, decision making under imperfect information, neuro-fuzzy approaches, natural language processing, and other areas.

Multi-Valued and Universal Binary Neurons deals with two new types of neurons: multi-valued neurons and universal binary neurons. These neurons are based on complex number arithmetic and are hence much more powerful than the typical neurons used in artificial neural networks. Therefore, networks with such neurons exhibit a broad functionality. They can not only realise threshold input/output maps but can also implement any arbitrary Boolean function. Two learning methods are presented whereby these networks can be trained easily. The broad applicability of these networks is proven by several case studies in different fields of application: image processing, edge detection, image enhancement, super resolution, pattern recognition, face recognition, and prediction. The book is hence partitioned into three almost equally sized parts: a mathematical study of the unique features of these new neurons, learning of networks of such neurons, and application of such neural networks. Most of this work was developed by the first two authors over a period of more than 10 years and was only available in the Russian literature. With this book we present the first comprehensive treatment of this important class of neural networks in the open Western literature.

Precisely 50 years ago the first volume of Studia Logica appeared. The present volume celebrates the 50th Anniversay of Studia Logica - An Inter- national Joumal for Symbolic Logic. The papers in this Anniversary volume are the results of the two conferences Trends in Logic - 50 Years of Studia Logica.

Informatics - 10 Years Back, 10 Years Ahead presents a unique collection of expository papers on major current issues in the field of computer science and information technology. The 26 contributions written by leading researchers on personal invitation assess the state of the art of the field by looking back over the past decade, presenting important results, identifying relevant open problems, and developing visions for the decade to come.

In the late 1990s, AI witnessed an increasing use of the term 'argumentation' within its bounds: in natural language processing, in user interface design, in logic programming and nonmonotonic reasoning, in Al's interface with the legal community, and in the newly emerging field of multi-agent systems. It seemed to me that many of these uses of argumentation were inspired by (of­ ten inspired) guesswork, and that a great majority of the AI community were unaware that there was a maturing, rich field of research in Argumentation Theory (and Critical Thinking and Informal Logic) that had been steadily re­ building a scholarly approach to the area over the previous twenty years or so. Argumentation Theory, on its side; was developing theories and approaches that many in the field felt could have a role more widely in research and soci­ ety, but were for the most part unaware that AI was one of the best candidates for such application.

The field of electrical engineering is very innovative-new products and new ideas are continu­ ally being developed. Yet all these innovations are based on the fundamental principles of electrical engineering: Ohm's law, Kirchhoff's laws, feedback control, waveforms, capacitance, resistance, inductance, electricity, magnetism, current, voltage, power, energy. It is these basic fundamentals which are tested for in the Professional Engineering Examination (PE Exam). This text provides an organized review of the basic electrical engineering fundamentals. It is an outgrowth of an electrical engineering refresher course taught by the author to candidates preparing for the Professional Engineering Examination-a course which has enabled scores of electrical engineers in Minnesota and Wisconsin to successfully pass the PE Exam.

This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respects. The 39 contributions reflect the breadth and the depth of the work of Vladimir Lifschitz in logic programming, circumscription, default logic, action theory, causal reasoning and answer set programming.

R. G. Collingwood saw one of the main tasks of philosophers and of historians of human thought in uncovering what he called the ultimate presuppositions of different thinkers, of different philosophical movements and of entire eras of intellectual history. He also noted that such ultimate presuppositions usually remain tacit at first, and are discovered only by subsequent reflection. Collingwood would have been delighted by the contrast that constitutes the overall theme of the essays collected in this volume. Not only has this dichotomy ofviews been one ofthe mostcrucial watersheds in the entire twentieth-century philosophical thought. Not only has it remained largely implicit in the writings of the philosophers for whom it mattered most.

This book is intended to be a working reference for electronic hardware de­ signers who are interested in writing VHDL models. A handbook/cookbook approach is taken, with many complete examples used to illustrate the fea­ tures of the VHDL language and to provide insight into how particular classes of hardware devices can be modelled in VHDL. It is possible to use these models directly or to adapt them to similar problems with minimal effort. This book is not intended to be a complete reference manual for the VHDL language. It is possible to begin writing VHDL models with little background in VHDL by copying examples from the book and adapting them to particular problems. Some exposure to the VHDL language prior to using this book is recommended. The reader is assumed to have a solid hardware design background, preferably with some simulation experience. For the reader who is interested in getting a complete overview of the VHDL language, the following publications are recommended reading: • An Introduction to VHDL: Hardware Description and Design [LIP89] • IEEE Standard VHDL Language Reference Manual [IEEE87] • Chip-Level Behavioral Modelling [ARMS88] • Multi-Level Simulation of VLSI Systems [COEL87] Other references of interest are [USG88], [DOD88] and [CLSI87] Use of the Book If the reader is familiar with VHDL, the models described in chapters 3 through 7 can be applied directly to design problems.

This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th anniversary of the emergence of Prolog through the work of Alain Colmerauer’s team in Marseille. The volume editors, authors, and scientific advisors and reviewers have been the leading researchers and programmers in this field over decades, and the book represents an excellent overview of the field, its successes, and its future.

This expanded second edition of Relativity and the Nature of Spacetime c- tains several major changes and a number of additions to different ch- ters. Two chapters (Chaps. 6 and 7), which discussed two speci?c groups of arguments against the reality of spacetime, have been transformed into - pendices (A and B). Two new chapters (Chaps. 6 and 10) have been added. Chapter 6, entitled Why Is the Issue of the Nature of Spacetime So Imp- tant?, elaborates on what was Sect. 5. 6 of the ?rst edition, and addresses some recent work on the nature of spacetime – for example, the growing (or evolving) block universe model of the world, which has recently been - vived by several physicists as what appears to be the last remaining alter- tive to the Minkowski absolute four-dimensional world (after it had become an undeniable fact that three-dimensionalism, or presentism, contradicts the relativistic experimental evidence). Chapter 10, entitled Spacetime and the Nature of Quantum Objects and based on what used to be Sects. 6. 2 and 6. 3 in the ?rst edition, explores the implications of the issue of the nature of spacetime for quantum physics, in order to see whether it can provide some insight into the nature of quantum objects. Two new sections have been included, namely, Sect. 5. 6 entitled Re- tivization of Existence and Observers in General Relativity and Sect. 7. 6 - titled Probing the Anisotropic Velocity of Light by a Terrestrial Experiment.

This book brings together five topics on the application of Boolean functions. They are
1. Equivalence classes of Boolean functions: The number of n-variable functions is large, even for values as small as n = 6, and there has been much research on classifying functions. There are many classifications, each with their own distinct merit.

The integrated theory of dynamic interpretation set out here will be a surprise to advanced researchers in linguistics. It combines classical formal semantics and modern dynamic semantics without altering the fundamental paradigm. At the book’s core lies a pragmatically motivated notion of a dynamic conjunction of meanings, an idea that is worked out in full formal detail. This is applied to linguistic phenomena that involve anaphora, quantification and modality. The author demonstrates that in each area of application existing data can be neatly combined with new dynamic insights, but more importantly, there is a genuine further pay-off: the work generates treatments of phenomena that were not initially intended, with functional readings of pronouns and quantifiers, ‘Hob-Nob’ sentences, and insights into what we now call ‘Pierce’s Puzzle’.

This book presents for the first time comprehensive and systematic methods for the reversible synthesis of logic functions and multi-dimensional logic circuits. This methodology is able to solve major problems in system design today and in the future, namely the high rate of power consumption, and the emergence of quantum effects and properties for highly dense and nano-scale ICs. The challenge is to design nano-scale reliable systems that consume as little power as possible and in which the signals are processed and transmitted at very high speeds with very high signal integrity. Researchers in academia or industry and graduate students, who work in logic synthesis, computer design, computer-aided design tools, and low power VLSI circuit design, will be interested in this book.