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

Автор: Weiru Liu
Название: Propositional, Probabilistic and Evidential Reasoning
ISBN: 3790824933 ISBN-13(EAN): 9783790824933
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This facilitates purely symbolic reasoning using the possible worlds and numeric reasoning via the probabilities of those possible worlds. The consequence is a unified mechanism which includes both symbolic and numeric mechanisms as special cases.

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

Автор: Olivetti
Название: Automated Reasoning
ISBN: 3319402285 ISBN-13(EAN): 9783319402284
Издательство: Springer
Рейтинг:
Цена: 68950.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

Автор: Peter Eklund; Ollivier Haemmerl?
Название: Conceptual Structures: Knowledge Visualization and Reasoning
ISBN: 3540705953 ISBN-13(EAN): 9783540705956
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. This book includes papers that present Conceptual Structure approaches that build on techniques derived from artificial intelligence, knowledge representation, and computational linguistics.

Автор: Siler
Название: Fuzzy Expert Systems and Fuzzy Reasoning
ISBN: 0471388599 ISBN-13(EAN): 9780471388593
Издательство: Wiley
Рейтинг:
Цена: 154120.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 174130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

Автор: Ralph Bergmann; Klaus-Dieter Althoff; Sean Breen;
Название: Developing Industrial Case-Based Reasoning Applications
ISBN: 3540207376 ISBN-13(EAN): 9783540207375
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In just few years, case-based reasoning has evolved from a research topic studied at a small number of specialized academic labs into an industrial-strength technology applied in various fields.

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

Автор: Enric Trillas
Название: On the Logos: A Na?ve View on Ordinary Reasoning and Fuzzy Logic
ISBN: 3319560522 ISBN-13(EAN): 9783319560526
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers an inspiring and naive view on language and reasoning. Written in a discursive style and without too many technicalities, the book presents a number of reflections on the study of reasoning, together with a new perspective on fuzzy logic and Zadeh`s "computing with words" grounded in both language and reasoning.