Kategoria BISAC: Computers >> Artificial Intelligence - General

This book comprises the proceedings of the 12th International Symposium on Intelligent Manufacturing and Service Systems 2023. The contents of this volume focus on recent technological advances in the field of artificial intelligence in manufacturing & service systems including machine learning, autonomous control, bioinformatics, human-artificial intelligence interaction, digital twin, robotic systems, sybersecurity, etc. This volume will prove a valuable resource for those in academia and industry.

The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested in linguistic, philosophy and many other areas of research both in humane and technical branches of science as logic permeates all genuine realms of science. The book contains a substantial part of classical results in logic like those by Gödel, Tarski, Church and Rosser as well as later developments like many-valued logics, logics for knowledge engineering, first-order logics plus...

This book covers selected and presented papers of CCCN 2023, the International Conference on Cloud Computing and Computer Network which was held in Singapore April 21-23, 2023. CCCN 2023 provides a premier forum for researchers and scholars from multiple disciplines to come together to share knowledge, discuss ideas, exchange information, and learn about cutting-edge research in diverse fields of cloud computing and computer networks. Topics covered in this book contain cloud computing and semantic web technologies, cloud applications in vertical industries, cloud computing...