Machine Learning, Meta-Reasoning and Logics, Pavel B. Brazdil; Kurt Konolige
Автор: Ribeiro Название: Belief Revision in Non-Classical Logics ISBN: 1447141857 ISBN-13(EAN): 9781447141853 Издательство: Springer Рейтинг: Цена: 5583.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that include - besides most Description Logics such as the ones behind OWL - Horn Logic and Intuitionistic logic, amongst others.
Автор: Marco Aiello; Ian Pratt-Hartmann; Johan van Benthe Название: Handbook of Spatial Logics ISBN: 9402404708 ISBN-13(EAN): 9789402404708 Издательство: Springer Рейтинг: Цена: 61352.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. Each chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems.
Автор: Pavel B. Brazdil; Kurt Konolige Название: Machine Learning, Meta-Reasoning and Logics ISBN: 1461289068 ISBN-13(EAN): 9781461289067 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book contains a selection of papers presented at the International Workshop Machine Learning, Meta-Reasoning and Logics held in Hotel de Mar in Sesimbra, Portugal, 15-17 February 1988. Meta-Reasoning and Machine Learning The first chapter is concerned with the role meta-reasoning plays in intelligent systems capable of learning.
Автор: Christian Stra?er Название: Adaptive Logics for Defeasible Reasoning ISBN: 3319343882 ISBN-13(EAN): 9783319343884 Издательство: Springer Рейтинг: Цена: 21661.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents adaptive logics (ALs) as an intuitive and powerful framework to model defeasible reasoning. It offers case studies stemming from various contexts of defeasible reasoning, such as default reasoning, argumentation, and normative reasoning.
Автор: Didier Dubois; Henri Prade; Erich Peter Klement Название: Fuzzy Sets, Logics and Reasoning about Knowledge ISBN: 9048153247 ISBN-13(EAN): 9789048153244 Издательство: Springer Рейтинг: Цена: 27944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Fuzzy Sets, Logics and Reasoning about Knowledge reports recent results concerning the genuinely logical aspects of fuzzy sets in relation to algebraic considerations, knowledge representation and commonsense reasoning.
Автор: Christian Stra?er Название: Adaptive Logics for Defeasible Reasoning ISBN: 3319007912 ISBN-13(EAN): 9783319007915 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents adaptive logics (ALs) as an intuitive and powerful framework to model defeasible reasoning. It offers case studies stemming from various contexts of defeasible reasoning, such as default reasoning, argumentation, and normative reasoning.
Автор: Otmane Ait Mohamed; C?sar Munoz; Sofi?ne Tahar Название: Theorem Proving in Higher Order Logics ISBN: 3540710655 ISBN-13(EAN): 9783540710653 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.
Автор: Dov M. Gabbay; Karl Schlechta Название: A New Perspective on Nonmonotonic Logics ISBN: 3319468154 ISBN-13(EAN): 9783319468150 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several types of nonmonotonic logics and their analysis of 'natural' concepts into a formal logic, a special preferential construction that combines formal clarity with the intuitive advantages of Reiter defaults, defeasible inheritance, theory revision, and epistemic considerations.It is suitable for researchers in the area of computer science and mathematical logic.
Автор: T. Atanassov Название: Intuitionistic Fuzzy Logics ISBN: 3319489526 ISBN-13(EAN): 9783319489520 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
The book offers a comprehensive survey of intuitionistic fuzzy logics. By reporting on both the author’s research and others’ findings, it provides readers with a complete overview of the field and highlights key issues and open problems, thus suggesting new research directions. Starting with an introduction to the basic elements of intuitionistic fuzzy propositional calculus, it then provides a guide to the use of intuitionistic fuzzy operators and quantifiers, and lastly presents state-of-the-art applications of intuitionistic fuzzy sets. The book is a valuable reference resource for graduate students and researchers alike.
Автор: Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna In Название: Models, Algorithms, Logics and Tools ISBN: 3319631209 ISBN-13(EAN): 9783319631202 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking.
Автор: Eduardo Ferm?; Joao Leite Название: Logics in Artificial Intelligence ISBN: 331911557X ISBN-13(EAN): 9783319115573 Издательство: Springer Рейтинг: Цена: 12298.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. logics for uncertain reasoning;
Автор: Loizos Michael; Antonis Kakas Название: Logics in Artificial Intelligence ISBN: 3319487574 ISBN-13(EAN): 9783319487571 Издательство: Springer Рейтинг: Цена: 10342.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
