Nonmonotonic Logics, Karl Schlechta

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

Автор: Esra Erdem; Fangzhen Lin; Torsten Schaub
Название: Logic Programming and Nonmonotonic Reasoning
ISBN: 3642042376 ISBN-13(EAN): 9783642042379
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), held during September 14-18, 2009 in Potsdam, Germany.

Автор: Pedro Cabalar; Tran Cao Son
Название: Logic Programming and Nonmonotonic Reasoning
ISBN: 3642405630 ISBN-13(EAN): 9783642405631
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 34 revised full papers (22 technical papers, 9 application description, and 3 system descriptions) and 19 short papers (11 technical papers, 3 application descriptions, and 5 system descriptions) presented together with 2 invited talks, were carefully reviewed and selected from 91 submissions.

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

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

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

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

Автор: Mark Aagaard; John Harrison
Название: Theorem Proving in Higher Order Logics
ISBN: 3540678638 ISBN-13(EAN): 9783540678632
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers cover aspects of HOL theorem proving, formal verification of hardware and software systems, and formal verification. Among the HOL theorem provers evaluated are COQ, HOL, Isabelle, HOL/SPIN, PVS, and Isabelle/HOL.

Автор: Stefan Berghofer; Tobias Nipkow; Christian Urban;
Название: Theorem Proving in Higher Order Logics
ISBN: 364203358X ISBN-13(EAN): 9783642033582
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 22nd International Conference TPHOLs 2009 Munich Germany August 1720 2009 Proceedings. .

Автор: Dines Bj?rner; Martin C. Henson
Название: Logics of Specification Languages
ISBN: 3642093450 ISBN-13(EAN): 9783642093456
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents comprehensive studies on nine specification languages and their logics of reasoning. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.

Автор: Leonard Bolc; Piotr Borowik
Название: Many-Valued Logics 1
ISBN: 3642081452 ISBN-13(EAN): 9783642081453
Издательство: Springer
Рейтинг:
Цена: 20263.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Many-valued logics were developed as an attempt to handlephilosophical doubts about the "law of excluded middle" inclassical logic. Fuzzy logics,approximation logics, and probability logics all addressquestions that classical logic alone cannot answer.

Автор: Steffen H?lldobler; Carsten Lutz; Heinrich Wansing
Название: Logics in Artificial Intelligence
ISBN: 3540878025 ISBN-13(EAN): 9783540878025
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. This title includes papers that cover topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, and probabilistic logic.