Theorem Proving in Higher Order Logics, Stefan Berghofer; Tobias Nipkow; Christian Urban;

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

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

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

Автор: Blanchette
Название: Interactive Theorem Proving
ISBN: 3319431439 ISBN-13(EAN): 9783319431437
Издательство: Springer
Рейтинг:
Цена: 10342.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions.

Автор: Pitts
Название: Semantics and Logics of Computation
ISBN: 0521580579 ISBN-13(EAN): 9780521580571
Издательство: Cambridge Academ
Рейтинг:
Цена: 19800.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. They have been edited to form a coherent introduction to these topics.

Автор: Appel
Название: Program Logics for Certified Compilers
ISBN: 110704801X ISBN-13(EAN): 9781107048010
Издательство: Cambridge Academ
Рейтинг:
Цена: 13147.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers practical and theoretical separation logic suitable for graduate students. On the practical side, it covers verification in Hoare and separation logics, simple case studies, and the Verifiable C program logic. On the theoretical side, it covers separation algebras, step-indexed models, indirection theory, tree-shares, and the semantic construction of Verifiable C.