Artificial Intelligence and Symbolic Computation, Gonzalo A. Aranda-Corral; Jacques Calmet; Francisc
Автор: John A. Campbell; Eugenio Roanes-Lozano Название: Artificial Intelligence and Symbolic Computation ISBN: 3540420711 ISBN-13(EAN): 9783540420712 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the invited papers, contributed papers, and poster s- maries accepted for the Fifth International Conference on Arti?cial Intelligence and Symbolic Computation (AISC 2000). The conference was held in Spain from 17 to 19 July 2000 at the Hotel NH Zurbano, Madrid, and was organized by the Universidad Complutense de Madrid and the Sociedad Matem aticaPuigAdam. One of the reasons for centralizing all activities at one hotel was to avoid both losing time in transportation around Madrid and the distribution of the att- dees into disconnected subgroups in diverse locations. In this way a breakfa- to-late-night coexistence (which included some extra-academic events) was - sured, with time for formal and informal conversations. This continued the AISMC/AISC tradition of the creation of a friendly atmosphere, where ideas could be exchanged in a relaxed and e?ective way. The conference belongs to a specialized conference series founded by John Campbell and Jacques Calmet with the initial title "Arti?cial Intelligence and Symbolic Mathematical Computation" (AISMC). AISMC-1 took place in 1992 in Karlsruhe (Germany); AISMC-2 was held in 1994 at King's College (Cambridge, UK), and AISMC-3 in 1996 was located in Steyr (Austria). The proceedings of these conferences were published in Springer's LNCS series as volumes 737, 958, and 1138, respectively.
Автор: 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.
Автор: 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.
Автор: 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.
Описание: 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.
Описание: It has been widely recognized that artificial intelligence computations offer large potential for distributed and parallel processing. Unfortunately, not much is known about designing parallel AI algorithms and efficient, easy-to-use parallel computer architectures for AI applications.
Описание: It has been widely recognized that artificial intelligence computations offer large potential for distributed and parallel processing. Unfortunately, not much is known about designing parallel AI algorithms and efficient, easy-to-use parallel computer architectures for AI applications.
Автор: 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.
Автор: 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.
Описание: Constitutes the refereed proceedings of the First International Conference on Intelligent Robotics and Applications, ICIRA 2008, held in Wuhan, China, in October 2008. This book includes such topics as robot control, cognitive robotics, rehabilitation robotics, health care and artificial limb, robot learning, and robot vision.
Описание: This two volume set LNAI 8102 and LNAI 8103 constitutes the refereed proceedings of the 6th International Conference on Intelligent Robotics and Applications, ICIRA 2013, held in Busan, South Korea, in September 2013.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
