Artificial Intelligence and Symbolic Mathematical Computation, Jaques Calmet; John A. Campbell; Jochen Pfalzgraf

Автор: Loizos Michael; Antonis Kakas
Название: Logics in Artificial Intelligence
ISBN: 3319487574 ISBN-13(EAN): 9783319487571
Издательство: Springer
Рейтинг:
Цена: 68950.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.

Автор: Yukiko Nakano; Ken Satoh; Daisuke Bekki
Название: New Frontiers in Artificial Intelligence
ISBN: 3319100602 ISBN-13(EAN): 9783319100609
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2013 Workshops LENLS, JURISIN, MiMI, AAA, and DDS which tool place on October 2013, in Japan.

Автор: Jacques Calmet; John A. Campbell
Название: Integrating Symbolic Mathematical Computation and Artificial Intelligence
ISBN: 3540601562 ISBN-13(EAN): 9783540601562
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains versions of selected papers presented at the Second Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, 1994. It explores the interaction between mathematical computation and indicates further topics that may be concentrated upon.

Автор: R?misch
Название: Mathematical Analysis and the Mathematics of Computation
ISBN: 3319427539 ISBN-13(EAN): 9783319427539
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is a comprehensive, unifying introduction to the field of mathematical analysis and the mathematics of computing. It develops the relevant theory at a modern level and it directly relates modern mathematical ideas to their diverse applications.The authors develop the whole theory. Starting with a simple axiom system for the real numbers, they then lay the foundations, developing the theory, exemplifying where it's applicable, in turn motivating further development of the theory. They progress from sets, structures, and numbers to metric spaces, continuous functions in metric spaces, linear normed spaces and linear mappings; and then differential calculus and its applications, the integral calculus, the gamma function, and linear integral operators. They then present important aspects of approximation theory, including numerical integration. The remaining parts of the book are devoted to ordinary differential equations, the discretization of operator equations, and numerical solutions of ordinary differential equations.This textbook contains many exercises of varying degrees of difficulty, suitable for self-study, and at the end of each chapter the authors present more advanced problems that shed light on interesting features, suitable for classroom seminars or study groups. It will be valuable for undergraduate and graduate students in mathematics, computer science, and related fields such as engineering. This is a rich field that has experienced enormous development in recent decades, and the book will also act as a reference for graduate students and practitioners who require a deeper understanding of the methodologies, techniques, and foundations.

Автор: Jacques Calmet; John A. Campbell
Название: Artificial Intelligence and Symbolic Mathematical Computing
ISBN: 3540573224 ISBN-13(EAN): 9783540573227
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains updated versions of papers presented at the 1st Artificial Intelligence and Symbolic Mathematical Computations Conference, held in Karlsruhe, Germany in August 1992.

Автор: Jacques Calmet; Jan Plaza
Название: Artificial Intelligence and Symbolic Computation
ISBN: 3540649603 ISBN-13(EAN): 9783540649601
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers in this volume address aspects of symbolic computation and formal reasoning such as: inductive logic programming; context reasoning; computer algebra; proof theory and theorem proving; algebraic manipulation; formal verification; constraint solving; and knowledge discovery.

Автор: Eduardo Ferm?; Joao Leite
Название: Logics in Artificial Intelligence
ISBN: 331911557X ISBN-13(EAN): 9783319115573
Издательство: Springer
Рейтинг:
Цена: 81990.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. logics for uncertain reasoning;

Автор: Matthias Baaz; Andrei Voronkov
Название: Logic for Programming, Artificial Intelligence, and Reasoning
ISBN: 3540000100 ISBN-13(EAN): 9783540000105
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Compiled from the proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, this volume contains 30 papers. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution and proof planning.

Автор: Vicen? Torra; Yasuo Narukawa; Aoi Honda; Sozo Inou
Название: Modeling Decisions for Artificial Intelligence
ISBN: 3319674218 ISBN-13(EAN): 9783319674216
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2017, held in Kitakyushu, Japan, in October 2017.The 18 revised full papers presented together with one invited paper and three abstracts of invited talks were carefully reviewed and selected from 30 submissions.

Автор: Setsuya Kurahashi; Yuiko Ohta; Sachiyo Arai; Ken S
Название: New Frontiers in Artificial Intelligence
ISBN: 3319615718 ISBN-13(EAN): 9783319615714
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Logic engineering of natural language semantics.- Healthy aging tech mashup service, data and people.- Artificial intelligence of and for business.- Juris-informatics - studies of legal issues from the perspecitve of informatics.

Автор: Max Bramer
Название: Artificial Intelligence. An International Perspective
ISBN: 3642032257 ISBN-13(EAN): 9783642032257
Издательство: Springer
Рейтинг:
Цена: 67970.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Featuring the viewpoint of expert members of the IFIP Technical Committee 12, its Working Groups and their colleagues, this book provides an international perspective on recent and future directions in this significant field.

Автор: Hans J. Ohlbach
Название: GWAI-92: Advances in Artificial Intelligence
ISBN: 3540566678 ISBN-13(EAN): 9783540566670
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the proceedings of the 16th German Conference on Artificial Intelligence, held in Germany in 1992. Topics covered include a model elimination calculus, a sorted logic, human theorem proving, deduction based on Shannon graphs, and expert system applications.