Spatial Reasoning and Planning, Jiming Liu; Laeeque K. Daneshmend

Автор: Diedrich Wolter
Название: Spatial Representation and Reasoning for Robot Mapping
ISBN: 3642088570 ISBN-13(EAN): 9783642088575
Издательство: Springer
Рейтинг:
Цена: 19589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book addresses spatial representations and reasoning techniques for mobile robot mapping, providing an analysis of fundamental representations and processes involved. The book includes an extensive discussion of the literature.

Автор: Malik Ghallab
Название: Automated Planning,
ISBN: 1558608567 ISBN-13(EAN): 9781558608566
Издательство: Elsevier Science
Рейтинг:
Цена: 11452.00 р.
Наличие на складе: Поставка под заказ.

Описание: Automated planning technology plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. This book covers both the theory and practice of automated planning. It is useful for researchers, professionals, and graduate students.

Автор: Silvestro Montrone; Paola Perchinunno
Название: Statistical Methods for Spatial Planning and Monitoring
ISBN: 8847056071 ISBN-13(EAN): 9788847056077
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers methods for spatial statistical analysis suitable for modeling spatial information in support of decision systems. Includes data mining, point processes analysis, nearest neighbor statistics and cluster detection, Fuzzy Regression and more.

Автор: Angel P. del Pobil; Miquel A. Serna
Название: Spatial Representation and Motion Planning
ISBN: 3540606203 ISBN-13(EAN): 9783540606208
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text focuses on the development of adequate spatial representations for robot motion planning. The authors introduce a general model for spatial representation of physical objects. This model is then applied to two key problems in intelligent robotics: collision detection and motion planning.

Автор: Emiliano Ippoliti
Название: Heuristic Reasoning
ISBN: 3319091581 ISBN-13(EAN): 9783319091587
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: And how can we use findings about scientific discovery to boost funding policies, thus fostering a deeper impact of scientific discovery itself?The respective chapters in this book provide readers with answers to these questions.

Автор: Stefania Montani; Lakhmi C. Jain
Название: Successful Case-based Reasoning Applications-2
ISBN: 3642387357 ISBN-13(EAN): 9783642387357
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book expands on its preceding volume, surveying fields where experiential knowledge is available, and exploring new domains in which Case-based Reasoning can be applied. The authors also reveal and discuss emerging common directions.

Автор: Frank Markham Brown
Название: Boolean Reasoning
ISBN: 1475720807 ISBN-13(EAN): 9781475720808
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Such equations were central in the "algebra of logic" created in 1847 by Boole [12, 13] and devel- oped by others, notably Schroder [178], in the remainder of the nineteenth century.

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

Автор: Haemmerl?
Название: Graph-Based Representation and Reasoning
ISBN: 3319409840 ISBN-13(EAN): 9783319409849
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 22th International Conference on Conceptual Structures, ICCS 2016, held in Annecy, France, in July 2016. The 14 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 40 submissions.

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

Автор: Magnani
Название: Model-Based Reasoning in Science and Technology
ISBN: 3319389823 ISBN-13(EAN): 9783319389820
Издательство: Springer
Рейтинг:
Цена: 46118.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book discusses how scientific and other types of cognition make use of models, abduction, and explanatory reasoning in order to produce important or creative changes in theories and concepts. It includes revised contributions presented during the international conference on Model-Based Reasoning (MBR’015), held on June 25-27 in Sestri Levante, Italy. The book is divided into three main parts, the first of which focuses on models, reasoning and representation. It highlights key theoretical concepts from an applied perspective, addressing issues concerning information visualization, experimental methods and design. The second part goes a step further, examining abduction, problem solving and reasoning. The respective contributions analyze different types of reasoning, discussing various concepts of inference and creativity and their relationship with experimental data. In turn, the third part reports on a number of historical, epistemological and technological issues. By analyzing possible contradictions in modern research and describing representative case studies in experimental research, this part aims at fostering new discussions and stimulating new ideas. All in all, the book provides researchers and graduate students in the field of applied philosophy, epistemology, cognitive science and artificial intelligence alike with an authoritative snapshot of current theories and applications of model-based reasoning.