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 Издательство: Неизвестно Рейтинг: Цена: 6345.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Wei Li, Yuefei Sui Название: R-Calculus, IV: Propositional Logic ISBN: 9811986320 ISBN-13(EAN): 9789811986321 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 25149.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 6986.00 р. Наличие на складе: Поставка под заказ.
Описание: 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 Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: 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.
Описание: 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.
Описание: 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: 3662113805 ISBN-13(EAN): 9783662113806 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Sven Ove Hansson Название: A Textbook of Belief Dynamics ISBN: 9048151252 ISBN-13(EAN): 9789048151257 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. The volume`s unique, comprehensive coverage means that it can also be used by specialists in the field of belief dynamics and related areas, such as non-monotonic reasoning and knowledge representation.
Автор: George Boole, Boole Название: Mathematical analysis of logic ISBN: 9354039723 ISBN-13(EAN): 9789354039720 Издательство: Неизвестно Рейтинг: Цена: 2941.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
