Belief Change, Dov M. Gabbay; Philippe Smets

Автор: Dov M. Gabbay; Philippe Smets
Название: Belief Change
ISBN: 9401061238 ISBN-13(EAN): 9789401061230
Издательство: Springer
Рейтинг:
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Belief change is an emerging field of artificial intelligence and information science dedicated to the dynamics of information and the present book provides a state-of-the-art picture of its formal foundations.

Автор: Dov M. Gabbay; Karl Schlechta
Название: Logical Tools for Handling Change in Agent-Based Systems
ISBN: 3642261876 ISBN-13(EAN): 9783642261879
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers general logical tools for handling change. The tools are preferential reasoning, theory revision and reasoning in inheritance systems. Logics examined are nonmonotonic, deontic, modal, intuitionistic and temporal as well as counterfactuals.

Автор: 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.

Автор: Tiziana Margaria; Bernhard Steffen
Название: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
ISBN: 3662452332 ISBN-13(EAN): 9783662452332
Издательство: Springer
Рейтинг:
Цена: 10062.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.

Автор: Sven Ove Hansson
Название: A Textbook of Belief Dynamics
ISBN: 0792353242 ISBN-13(EAN): 9780792353249
Издательство: 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.

Автор: Sam Lindley; Conor McBride; Phil Trinder; Don Sann
Название: A List of Successes That Can Change the World
ISBN: 3319309358 ISBN-13(EAN): 9783319309354
Издательство: Springer
Рейтинг:
Цена: 10342.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume is published in Honor of PhilipWadler on the occasion of his 60th birthday, and the collection of papers forma Festschrift for him. The research papers included hererepresent some of the areas in which Phil has been active, and the editorsthank their colleagues for agreeing to contribute to this Festschrift.