Models of Strategic Reasoning, Johan van Benthem; Sujata Ghosh; Rineke Verbrugge

Автор: Olivetti
Название: Automated Reasoning
ISBN: 3319402285 ISBN-13(EAN): 9783319402284
Издательство: Springer
Рейтинг:
Цена: 10342.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods).The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were carefully reviewed and selected from 79 submissions. The papers have been organized in topical sections on satisfiability of Boolean formulas, satisfiability modulo theory, rewriting, arithmetic reasoning and mechanizing mathematics, first-order logic and proof theory, first-order theorem proving, higher-order theorem proving, modal and temporal logics, non-classical logics, and verification.

Автор: Siler
Название: Fuzzy Expert Systems and Fuzzy Reasoning
ISBN: 0471388599 ISBN-13(EAN): 9780471388593
Издательство: Wiley
Рейтинг:
Цена: 23118.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Expert systems are computer programs, designed to make available some of the skills of an expert to non-experts. A fuzzy expert system uses a collection of fuzzy membership functions and rules, instead of Boolean logic, to reason about data. This book teaches the reader to construct fuzzy expert systems to solve real-world problems.

Автор: Lech Polkowski
Название: Approximate Reasoning by Parts
ISBN: 3642269850 ISBN-13(EAN): 9783642269851
Издательство: Springer
Рейтинг:
Цена: 26120.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The monograph offers a view on Rough Mereology, a tool for reasoning under uncertainty, which goes back to Mereology, formulated in terms of parts by Lesniewski, and borrows from Fuzzy Set Theory and Rough Set Theory ideas of the containment to a degree.

Автор: Roumen Kountchev; Kazumi Nakamatsu
Название: Advances in Reasoning-Based Image Processing Intelligent Systems
ISBN: 364244623X ISBN-13(EAN): 9783642446238
Издательство: Springer
Рейтинг:
Цена: 23508.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Foregrounding contemporary techniques for reasoning-based image processing and analysis, the 14 chapters in this book are self-contained monographs covering a broad spectrum of complementary topics, all written by leading experts working in the field.

Автор: Hans J?rgen Ohlbach; U. Reyle
Название: Logic, Language and Reasoning
ISBN: 9401059365 ISBN-13(EAN): 9789401059367
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. This recorded conversation with him, which is included gives a deep insight into his motivations and into his view of the world, the Almighty and, of course, the role of 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.

Автор: L. Karl Branting
Название: Reasoning with Rules and Precedents
ISBN: 9048153743 ISBN-13(EAN): 9789048153749
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book uses the framework for integrating cases and rules as a basis for a new model of legal precedents. The book presents techniques for representing, indexing, and comparing complex cases and for converting justification structures based on rules and case into natural-language text.

Автор: Dirk B?hler; Wolfgang Minker
Название: Domain-Level Reasoning for Spoken Dialogue Systems
ISBN: 1489991484 ISBN-13(EAN): 9781489991485
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume provides a logic-based reasoning component for spoken language dialogue systems. The text describes late-breaking research on next-generation spoken dialogue systems and investigates how to improve them.

Автор: Z. Bankowski; I. White; Ulrike Hahn
Название: Informatics and the Foundations of Legal Reasoning
ISBN: 9048145422 ISBN-13(EAN): 9789048145423
Издательство: Springer
Рейтинг:
Цена: 31305.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Fourteen papers, together with a long analytical introduction by the editors, were selected from the contributions of legal theorists, computer scientists, philosophers and logicians who were members of an International Working Group supported by the European Commission.

Автор: Sven Helmer; Alexandra Poulovassilis; Fatos Xhafa
Название: Reasoning in Event-Based Distributed Systems
ISBN: 3642267866 ISBN-13(EAN): 9783642267864
Издательство: Springer
Рейтинг:
Цена: 26120.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Event-based distributed systems are playing an increasingly important role in a broad range of application domains. This book presents a thorough review of reasoning in event-based distributed systems. It also contains new research and extensive references.

Автор: Michael Reinfrank; Johan de Kleer; Matthew L. Gins
Название: Non-Monotonic Reasoning
ISBN: 3540507019 ISBN-13(EAN): 9783540507017
Издательство: Springer
Рейтинг:
Цена: 4890.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains papers presented at the Second International Workshop on Non-Monotonic Reasoning, held in Grassau (FRG), June 13-15, 1988. This book presents a snapshot of advances in this research area, and provides discussions of different problems and approaches.

Автор: R.L. Cignoli; Itala M. d`Ottaviano; Daniele Mundic
Название: Algebraic Foundations of Many-Valued Reasoning
ISBN: 9048153360 ISBN-13(EAN): 9789048153367
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.