Integrating Symbolic Mathematical Computation and Artificial Intelligence, Jacques Calmet; John A. Campbell

Автор: Jacques Calmet; Jan Plaza
Название: Artificial Intelligence and Symbolic Computation
ISBN: 3540649603 ISBN-13(EAN): 9783540649601
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Jaques Calmet; John A. Campbell; Jochen Pfalzgraf
Название: Artificial Intelligence and Symbolic Mathematical Computation
ISBN: 3540617329 ISBN-13(EAN): 9783540617327
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 19 papers presented in this text were selected by the programme committee of the Third International Conference on Artificial Intelligence and Symbololic Mathematical Computation. Topics addressed include theorem proving, rewriting systems, symbolic computation, and spatial reasoning.

Автор: Jacques Calmet; John A. Campbell
Название: Artificial Intelligence and Symbolic Mathematical Computing
ISBN: 3540573224 ISBN-13(EAN): 9783540573227
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: R?misch
Название: Mathematical Analysis and the Mathematics of Computation
ISBN: 3319427539 ISBN-13(EAN): 9783319427539
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Loizos Michael; Antonis Kakas
Название: Logics in Artificial Intelligence
ISBN: 3319487574 ISBN-13(EAN): 9783319487571
Издательство: Springer
Рейтинг:
Цена: 10342.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Ann Nicholson; Xiaodong Li
Название: AI 2009: Advances in Artificial Intelligence
ISBN: 364210438X ISBN-13(EAN): 9783642104381
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence, AI 2009, held in Melbourne, Australia, in December 2009. The 68 revised full papers presented were carefully reviewed and selected from 174 submissions. The papers are organized in topical sections on agents;

Автор: Yasuo Narukawa; Masahiro Inuiguchi
Название: Modeling Decisions for Artificial Intelligence
ISBN: 3642048196 ISBN-13(EAN): 9783642048197
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 6th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2009, held on Awaji Island, Japan, in November/December 2009. The 28 papers presented in this book together with 5 invited talks were carefully reviewed and selected from 61 submissions.

Автор: Jaap van den Herik; Joaquim Filipe
Название: Agents and Artificial Intelligence
ISBN: 3319533533 ISBN-13(EAN): 9783319533537
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book contains revised and extended versions of selected papers from the 8th International Conference on Agents and Artificial Intelligence, ICAART 2016, held in Rome, Italy, in February 2016. The 17 revised full papers were carefully reviewed and selected from 149 initial submissions.

Автор: Setsuya Kurahashi; Yuiko Ohta; Sachiyo Arai; Ken S
Название: New Frontiers in Artificial Intelligence
ISBN: 3319615718 ISBN-13(EAN): 9783319615714
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Annette ten Teije; Christian Popow; John H. Holmes
Название: Artificial Intelligence in Medicine
ISBN: 3319597574 ISBN-13(EAN): 9783319597577
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 16th Conference on Artificial Intelligence in Medicine, AIME 2017, held in Vienna, Austria, in June 2017. The 21 revised full and 23 short papers presented were carefully reviewed and selected from 113 submissions.

Автор: Tom Everitt; Ben Goertzel; Alexey Potapov
Название: Artificial General Intelligence
ISBN: 3319637029 ISBN-13(EAN): 9783319637020
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 10th International Conference on Artificial General Intelligence, AGI 2017, held in Melbourne, VIC, Australia, in August 2017. The 24 regular papers presented in this book together with 1 short paper were carefully reviewed and selected from 35 submissions.