Computation and Logic in the Real World

Computation and Logic in the Real World

Author: S. Barry Cooper

Publisher: Springer Science & Business Media

Published: 2007-06-11

Total Pages: 842

ISBN-13: 3540730001

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007. The 50 revised full papers presented together with 36 invited papers were carefully reviewed and selected from 167 submissions.


Advances in Info-Metrics

Advances in Info-Metrics

Author: Min Chen

Publisher: Oxford University Press

Published: 2020-11-06

Total Pages:

ISBN-13: 019063670X

DOWNLOAD EBOOK

Info-metrics is a framework for modeling, reasoning, and drawing inferences under conditions of noisy and insufficient information. It is an interdisciplinary framework situated at the intersection of information theory, statistical inference, and decision-making under uncertainty. In Advances in Info-Metrics, Min Chen, J. Michael Dunn, Amos Golan, and Aman Ullah bring together a group of thirty experts to expand the study of info-metrics across the sciences and demonstrate how to solve problems using this interdisciplinary framework. Building on the theoretical underpinnings of info-metrics, the volume sheds new light on statistical inference, information, and general problem solving. The book explores the basis of information-theoretic inference and its mathematical and philosophical foundations. It emphasizes the interrelationship between information and inference and includes explanations of model building, theory creation, estimation, prediction, and decision making. Each of the nineteen chapters provides the necessary tools for using the info-metrics framework to solve a problem. The collection covers recent developments in the field, as well as many new cross-disciplinary case studies and examples. Designed to be accessible for researchers, graduate students, and practitioners across disciplines, this book provides a clear, hands-on experience for readers interested in solving problems when presented with incomplete and imperfect information.


ECAI 2023

ECAI 2023

Author: K. Gal

Publisher: IOS Press

Published: 2023-10-18

Total Pages: 3328

ISBN-13: 164368437X

DOWNLOAD EBOOK

Artificial intelligence, or AI, now affects the day-to-day life of almost everyone on the planet, and continues to be a perennial hot topic in the news. This book presents the proceedings of ECAI 2023, the 26th European Conference on Artificial Intelligence, and of PAIS 2023, the 12th Conference on Prestigious Applications of Intelligent Systems, held from 30 September to 4 October 2023 and on 3 October 2023 respectively in Kraków, Poland. Since 1974, ECAI has been the premier venue for presenting AI research in Europe, and this annual conference has become the place for researchers and practitioners of AI to discuss the latest trends and challenges in all subfields of AI, and to demonstrate innovative applications and uses of advanced AI technology. ECAI 2023 received 1896 submissions – a record number – of which 1691 were retained for review, ultimately resulting in an acceptance rate of 23%. The 390 papers included here, cover topics including machine learning, natural language processing, multi agent systems, and vision and knowledge representation and reasoning. PAIS 2023 received 17 submissions, of which 10 were accepted after a rigorous review process. Those 10 papers cover topics ranging from fostering better working environments, behavior modeling and citizen science to large language models and neuro-symbolic applications, and are also included here. Presenting a comprehensive overview of current research and developments in AI, the book will be of interest to all those working in the field.


Neutrosophic Sets and Systems, Vol. 26, 2019. Special Issue: Social Neutrosophy in Latin America

Neutrosophic Sets and Systems, Vol. 26, 2019. Special Issue: Social Neutrosophy in Latin America

Author: Florentin Smarandache

Publisher: Infinite Study

Published:

Total Pages: 193

ISBN-13:

DOWNLOAD EBOOK

The Latin American Neutrosophic Science Association was created in 2018 as a result of the initiative of a group of university professors from Mexico and Ecuador. The Association has developed an intense work in the investigative context, expression of the capacity that neutrosophy has as a tool for understanding and transformation of reality in social benefit. Neutrosophic sets as a generalization fuzzy set (especially intuitionistic fuzzy sets), allows handling a greater number of situations that occur in reality and becomes a facilitator of the approach to the studied object without undermining its complex and multivariate essence. In this special edition, researchers from six Ecuadorian universities show the results of research projects addressing a wide range of topics related to the social environment of these Higher Education Institutions. The contents include law, criminology, public and administrative management, evaluation of pedagogical scenarios, prospective analysis, artificial intelligence, among other topics. They are many different texts with a common denominator, the social sciences, and their relationship with neutrosophy. The progress of these investigations originates a significant change in the ways of validating and reasoning the proposals, the appreciation of neutrality increases the interpretability and the inferential efficacy from the analysis of the results, which enunciates a methodological, perceptive and objective enrichment in the humanistic sciences in Latin American geographical region.


Neutrosophic Sets and Systems, Vol. 44, 2021. Special issue: Impact of neutrosophy in solving the Latin American's social problems

Neutrosophic Sets and Systems, Vol. 44, 2021. Special issue: Impact of neutrosophy in solving the Latin American's social problems

Author: Florentin Smarandache

Publisher: Infinite Study

Published:

Total Pages: 475

ISBN-13:

DOWNLOAD EBOOK

This special issue reflects the impact of neutrosophic theory in Latin America, especially after creating the Latin American Association of Neutrosophic Sciences. Among the areas of publication most addressed in the region are found in the interrelation of social sciences and neutrosophy, presenting outstanding results in these research areas. The main objective of this special issue is to divulge the impact publication related to the Neutrosophic theory and explore new areas of research and application in the region. The SI reflects the influence of the neutrosophic publications in Latin America by opening new research areas mainly related to Neutrosophic Statistics, Plithogeny, and NeutroAlgebra. Furthermore, it is worth mentioning the incorporation of authors from new countries in the region, such as Paraguay, Uruguay, and Panama, to have authors in total from 15 countries, 12 of them from the Latin American region.


Computational Logic: Logic Programming and Beyond

Computational Logic: Logic Programming and Beyond

Author: Antonis C. Kakas

Publisher: Springer

Published: 2003-08-02

Total Pages: 638

ISBN-13: 3540456325

DOWNLOAD EBOOK

Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d’Œtre. The diversity of interests covered here reflects the variety of Bob’s concerns. Read on. It is an intellectual feast. Before you begin, permit me to send him a brief personal, but public, message: Bob, how right you were, and how wrong I was. I should explain. When Bob arrived in Edinburgh in 1967 resolution was as yet fairly new, having taken several years to become at all widely known. Research groups to investigate various aspects of resolution sprang up at several institutions, the one organized by Bernard Meltzer at Edinburgh University being among the first. For the half-dozen years that Bob was a leading member of Bernard’s group, I was a frequent visitor to it, and I saw a lot of him. We had many discussions about logic, computation, and language.


Integral Biomathics

Integral Biomathics

Author: Plamen L. Simeonov

Publisher: Springer Science & Business Media

Published: 2012-07-13

Total Pages: 424

ISBN-13: 3642281117

DOWNLOAD EBOOK

Perhaps the most distinct question in science throughout the ages has been the one of perceivable reality, treated both in physics and philosophy. Reality is acting upon us, and we, and life in general, are acting upon reality. Potentiality, found both in quantum reality and in the activity of life, plays a key role. In quantum reality observation turns potentiality into reality. Again, life computes possibilities in various ways based on past actions, and acts on the basis of these computations. This book is about a new approach to biology (and physics, of course!). Its subtitle suggests a perpetual movement and interplay between two elusive aspects of modern science — reality/matter and potentiality/mind, between physics and biology — both captured and triggered by mathematics — to understand and explain emergence, development and life all the way up to consciousness. But what is the real/potential difference between living and non-living matter? How does time in potentiality differ from time in reality? What we need to understand these differences is an integrative approach. This book contemplates how to encircle life to obtain a formal system, equivalent to the ones in physics. Integral Biomathics attempts to explore the interplay between reality and potentiality.


Advances in Human Computer Interaction

Advances in Human Computer Interaction

Author: Shane Pinder

Publisher: BoD – Books on Demand

Published: 2008-10-01

Total Pages: 614

ISBN-13: 953761915X

DOWNLOAD EBOOK

In these 34 chapters, we survey the broad disciplines that loosely inhabit the study and practice of human-computer interaction. Our authors are passionate advocates of innovative applications, novel approaches, and modern advances in this exciting and developing field. It is our wish that the reader consider not only what our authors have written and the experimentation they have described, but also the examples they have set.


Transactions on Computational Science V

Transactions on Computational Science V

Author: Marina L. Gavrilova

Publisher: Springer Science & Business Media

Published: 2009-05-25

Total Pages: 251

ISBN-13: 3642020968

DOWNLOAD EBOOK

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings and solutions and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. The fifth volume of the Transactions on Computational Science journal, edited by Yingxu Wang and Keith C.C. Chan, is devoted to the subject of cognitive knowledge representation. This field of study focuses on the internal knowledge representation mechanisms of the brain and how these can be applied to computer science and engineering. The issue includes the latest research results in internal knowledge representation at the logical, functional, physiological, and biological levels and describes their impacts on computing, artificial intelligence, and computational intelligence.