Logic for Programming, Artificial Intelligence, and Reasoning, Ken McMillan; Aart Middeldorp; Andrei Voronkov
Автор: Peter Norvig Название: Paradigms of Artificial Intelligence Programming, ISBN: 1558601910 ISBN-13(EAN): 9781558601918 Издательство: Elsevier Science Рейтинг: Цена: 9599.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Paradigms of AI Programming teaches advanced Common Lisp techniques in the context of building major AI systems.
Описание: This book introduces an approach that can be used to ground a variety of intelligent systems, ranging from simple fact based systems to highly sophisticated reasoning systems. As the popularity of AI related fields has grown over the last decade, the number of persons interested in building intelligent systems has increased exponentially.
Автор: Jacques Calmet; Belaid Benhamou; Olga Caprotti; La Название: Artificial Intelligence, Automated Reasoning, and Symbolic Computation ISBN: 3540438653 ISBN-13(EAN): 9783540438656 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the joint International Conferences on Artificial Intelligence and Symbolic Computation, and Calculemus 2002, held in France in 2002. The 24 papers cover automated theorem proving, logical reasoning, mathematical modeling, algebraic computations and more.
Автор: Millington, Ian, Funge, John Название: Artificial Intelligence for Games ISBN: 0123747317 ISBN-13(EAN): 9780123747310 Издательство: Taylor&Francis Рейтинг: Цена: 10870.00 р. Наличие на складе: Поставка под заказ.
Описание: Creating robust artificial intelligence is one of the greatest challenges for game developers, yet the commercial success of a game is often dependent upon the quality of the AI. In this book, Ian Millington brings extensive professional experience to the problem of improving the quality of AI in games. He describes numerous examples from real games and explores the underlying ideas through detailed case studies. He goes further to introduce many techniques little used by developers today. The book's associated web site contains a library of C++ source code and demonstration programs, and a complete commercial source code library of AI algorithms and techniques.<br><br>"Artificial Intelligence for Games - 2nd edition" will be highly useful to academics teaching courses on game AI, in that it includes exercises with each chapter. It will also include new and expanded coverage of the following: AI-oriented gameplay; Behavior driven AI; Casual games (puzzle games). <br><br>* The first comprehensive, professional tutorial and reference to implement true AI in games written by an engineer with extensive industry experience.<br>* Walks through the entire development process from beginning to end.<br>* Includes examples from over 100 real games, 10 in-depth case studies, and web site with sample code.
Название: Philosophical logic and artificial intelligence ISBN: 9401076049 ISBN-13(EAN): 9789401076043 Издательство: Springer Рейтинг: Цена: 18866.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: cians concerned with using logical tools in philosophy have been keenly aware of the limitations that arise from the original con- centration of symbolic logic on the idiom of mathematics, and many of them have worked to create extensions of the received logical theories that would make them more generally applicable in philosophy.
Автор: Erich P. Klement; Wolfgang Slany Название: Fuzzy Logic in Artificial Intelligence ISBN: 3540569200 ISBN-13(EAN): 9783540569206 Издательство: Springer Рейтинг: Цена: 4890.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of the 8th Austrian Artificial Intelligence Conference, held in Linz in June 1993. It includes invited papers on the role of fuzzy logic in the conception and design of intelligent systems and a contextual approach for AI systems development.
Описание: The 20 revised full conference papers included in this book are organized into sections on hybrid and novel architectures, machine learning and data mining, image processing and computer vision, and theoretical developments.
Автор: Svetlana N. Yanushkevich Название: Artificial Intelligence in Logic Design ISBN: 9048165830 ISBN-13(EAN): 9789048165834 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: There are three outstanding points of this book. Second, the book reveals new horizons of logic design tools on the technologies of the near future. Finally, the contributors of the book are twenty recognizable leaders in the field from the seven research centres.
Автор: Iliano Cervesato; Helmut Veith; Andrei Voronkov Название: Logic for Programming, Artificial Intelligence, and Reasoning ISBN: 3540894381 ISBN-13(EAN): 9783540894384 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. This book contains the papers that address issues in automated reasoning, computational logic, and programming languages.
Автор: Matthias Baaz; Andrei Voronkov Название: Logic for Programming, Artificial Intelligence, and Reasoning ISBN: 3540000100 ISBN-13(EAN): 9783540000105 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Martin Davis; Ansgar Fehnker; Annabelle McIver; An Название: Logic for Programming, Artificial Intelligence, and Reasoning ISBN: 3662488981 ISBN-13(EAN): 9783662488980 Издательство: Springer Рейтинг: Цена: 11180.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming, Artificial Intelligence, andReasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invitedtalk included in this volume were carefully reviewed and selected from 92submissions.
Автор: Robert Nieuwenhuis; Andrei Voronkov Название: Logic for Programming, Artificial Intelligence, and Reasoning ISBN: 3540429573 ISBN-13(EAN): 9783540429579 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Compiled from the proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning in December 2001, this volume contains 40 revised full papers presented together with an invited paper, on a variety of topics.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
