This open access book constitutes the proceedings of the 8th International Joint Conference on Electronic Voting held in Luxemburg in October 2023. The conference collected the most relevant debates on the development of Electronic Voting, from aspects relating to security and usability through to practical experiences and applications of voting systems, also including legal, social, or politic…
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decisio…
This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from…
This book provides an overview of the recent advances in representation learning theory, algorithms, and applications for natural language processing (NLP), ranging from word embeddings to pre-trained language models. It is divided into four parts. Part I presents the representation learning techniques for multiple language entries, including words, sentences and documents, as well as pre-train…
This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. 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 foundati…
This text offers a simple model of reasoning about reason as a framework for its discussions. Following this framework, the contributors consider meta-level control of computational activities, introspective monitoring, distributed meta-reasoning, and, putting all these aspects of meta- reasoning together.OCLC-licensed vendor bibliographic record.
The authors argue that a new theoretical foundation for artificial intelligence can be constructed in which rationality is a property of "programs" within a finite architecture, and their behavior over time in the task environment, rather than a property of individual decisions.Like Mooki, the hero of Spike Lee's film "Do the Right Thing," artificially intelligent systems have a hard time knowi…
Synthetic biology, which aims to design and build organisms that serve human needs, has potential applications that range from producing biofuels to programming human behaviour. The emergence of this new form of biotechnology, however, raises a variety of ethical questions - first and foremost, whether synthetic biology is intrinsically troubling in moral terms. Is it an egregious example of sc…
"This book offers a comprehensive guide to the theory and practice of analyzing electrical brain signals. It explains the conceptual, mathematical, and implementational (via Matlab programming) aspects of time-, time-frequency- and synchronization-based analyses of magnetoencephalography (MEG), electroencephalography (EEG), and local field potential (LFP) recordings from humans and nonhuman ani…
"A Bradford book."More than sixty contributions in From Animals to Animats2 by researchers in ethology, ecology, cybernetics, artificial intelligence, robotics, and related fields investigate behaviors and the underlying mechanisms that allow animals and, potentially, robots to adapt and survive in uncertain environments. Jean-Arcady Meyer is Director of Research, CNRS, Paris. Herbert L. Roitbl…