Formal Methods for Nonmonotonic and Related Logics, Karl Schlechta
Автор: V. Wiktor Marek; Anil Nerode; Miroslaw Truszcynski Название: Logic Programming and Nonmonotonic Reasoning ISBN: 3540594876 ISBN-13(EAN): 9783540594871 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the revised refereed papers accepted for the presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning. The 28 papers presented define the state of the art in this interdisciplinary area of research.
Описание: The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I the author explains preferential structures and abstract size. In the associated Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics.In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic.
Автор: Karl Schlechta Название: Formal Methods for Nonmonotonic and Related Logics ISBN: 3319896490 ISBN-13(EAN): 9783319896496 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In the associated Vol. I the author explains preferential structures and abstract size. In this Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics.In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic.
Автор: Karl Schlechta Название: Nonmonotonic Logics ISBN: 3540624821 ISBN-13(EAN): 9783540624820 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text emphasizes basic concepts by outlining connections between different formalisms of nonmonotonic logic, and gives a coherent presentation of recent research results and reasoning techniques. It provides self-contained state-of-the-art survey of the area, addressing researchers in AI logic.
Автор: 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.
Автор: Brewka Название: Nonmonotonic Reasoning ISBN: 0521383943 ISBN-13(EAN): 9780521383943 Издательство: Cambridge Academ Рейтинг: Цена: 10771.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This 1991 book gives an overview of different areas of research in nonmonotonic reasoning. The guiding principles are: clarification of the different research activities in the area and appreciation of the fact that these research activities often represent different means to the same ends, namely sound theoretical foundations and efficient computation.
Автор: Marcello Balduccini; Tomi Janhunen Название: Logic Programming and Nonmonotonic Reasoning ISBN: 3319616595 ISBN-13(EAN): 9783319616599 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017. The 16 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 47 submissions.
Автор: Gerhard Brewka; Klaus P. Jantke; Peter H. Schmitt Название: Nonmonotonic and Inductive Logic ISBN: 3540564330 ISBN-13(EAN): 9783540564331 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains a selection of extended papers that were presented at the 2nd International Workshop on Nonmonotonic and Inductive Logic, held at Reinhardsbrunn Castle, Germany, in December 1991. Emphasis was placed on the fields of inductive inference and nonmonotonic reasoning.
Автор: Francesco Calimeri; Giovambattista Ianni; Miroslaw Название: Logic Programming and Nonmonotonic Reasoning ISBN: 3319232630 ISBN-13(EAN): 9783319232638 Издательство: Springer Рейтинг: Цена: 10062.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA.
Автор: R. Reiter; V. Wiktor Marek; Miroslaw Truszczynski Название: Nonmonotonic Logic ISBN: 3662029081 ISBN-13(EAN): 9783662029084 Издательство: Springer Рейтинг: Цена: 22359.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It also relates them to various modal logics studied in the philosophical logic litera- ture, and provides a thorough treatment of their applications as foundations for logic programming semantics and for truth maintenance systems.
Автор: Klaus P. Jantke; Peter H. Schmitt Название: Nonmonotonic and Inductive Logic ISBN: 3540545646 ISBN-13(EAN): 9783540545644 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This proceedings volume contains revised papers from the first International Workshop on Nonmonotonic and Inductive Logic. Topics covered include nonmonotonicity in logic programs, axiomatic approach to nonmonotonic reasoning, inductive inference, autoepistemic logic, and belief updates.
Автор: Alexander Bochman Название: A Logical Theory of Nonmonotonic Inference and Belief Change ISBN: 3642075169 ISBN-13(EAN): 9783642075162 Издательство: Springer Рейтинг: Цена: 21661.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is the first book that integrates nonmonotonic reasoning and belief change into a single framework from an artificial intelligence logic point-of-view. The approach to both these subjects is based on a powerful notion of an epistemic state that subsumes both existing models for nonmonotonic inference and current models for belief change.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
