R-Calculus: A Logic of Belief Revision, Li Wei, Sui Yuefei
Автор: Barendregt Henk Название: Lambda Calculus. Its Syntax and Semantics ISBN: 184890066X ISBN-13(EAN): 9781848900660 Издательство: Неизвестно Рейтинг: Цена: 42300.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Wei Li, Yuefei Sui Название: R-Calculus, IV: Propositional Logic ISBN: 9811986320 ISBN-13(EAN): 9789811986321 Издательство: Springer Рейтинг: Цена: 158380.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ?-propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are also given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.
Автор: Sven Ove Hansson Название: Descriptor Revision ISBN: 3319530607 ISBN-13(EAN): 9783319530604 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change. It also explores sentential revision and demonstrates how local and global operations of revision by a sentence can be derived as a special case of descriptor revision.
Автор: M. Williams; Hans Rott Название: Frontiers in Belief Revision ISBN: 904815720X ISBN-13(EAN): 9789048157204 Издательство: Springer Рейтинг: Цена: 167660.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Frontiers in Belief Revision is a unique collection of leading edge research in Belief Revision.
Автор: Sven Ove Hansson Название: Descriptor Revision ISBN: 3319850512 ISBN-13(EAN): 9783319850511 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Поставка под заказ. Описание: This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change. It also explores sentential revision and demonstrates how local and global operations of revision by a sentence can be derived as a special case of descriptor revision.
Автор: Li Wei, Sui Yuefei Название: R-Calculus, II: Many-Valued Logics ISBN: 9811692939 ISBN-13(EAN): 9789811692932 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks.
Автор: George Boole, Boole Название: Mathematical analysis of logic ISBN: 9354039723 ISBN-13(EAN): 9789354039720 Издательство: Неизвестно Рейтинг: Цена: 19610.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book has been considered by academicians and scholars of great significance and value to literature. This forms a part of the knowledge base for future generations. So that the book is never forgotten we have represented this book in a print format as the same form as it was originally first published. Hence any marks or annotations seen are left intentionally to preserve its true nature.
Автор: Andreas Holger Название: Dynamic Tractable Reasoning: A Modular Approach to Belief Revision ISBN: 3030362329 ISBN-13(EAN): 9783030362324 Издательство: Springer Рейтинг: Цена: 53100.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: By means of a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. Andreas then builds on these analyses to construct a novel logic of tractable reasoning he calls frame logic, together with a novel belief revision scheme that is tractable for frame logic.
Автор: Andreas Holger Название: Dynamic Tractable Reasoning: A Modular Approach to Belief Revision ISBN: 3030362353 ISBN-13(EAN): 9783030362355 Издательство: Springer Цена: 101870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: By means of a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. Andreas then builds on these analyses to construct a novel logic of tractable reasoning he calls frame logic, together with a novel belief revision scheme that is tractable for frame logic.
Автор: Michael Zaus Название: Crisp and Soft Computing with Hypercubical Calculus ISBN: 3790811726 ISBN-13(EAN): 9783790811728 Издательство: Springer Рейтинг: Цена: 153720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: In Part I, the impact of an integro-differential operator on parity logic engines (PLEs) as a tool for scientific modeling from scratch is presented. Part II outlines the fuzzy structural modeling approach for building new linear and nonlinear dynamical causal forecasting systems in terms of fuzzy cognitive maps (FCMs).
Автор: Michael Zaus Название: Crisp and Soft Computing with Hypercubical Calculus ISBN: 3662113805 ISBN-13(EAN): 9783662113806 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
