Logics in Artificial Intelligence, Manuel Ojeda-Aciego; Inma P. de Guzman; Gerhard Br
Автор: Dines Bj?rner; Martin C. Henson Название: Logics of Specification Languages ISBN: 3642093450 ISBN-13(EAN): 9783642093456 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents comprehensive studies on nine specification languages and their logics of reasoning. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.
Автор: 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.
Автор: 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.
Автор: Norris Donald J. Название: Beginning Artificial Intelligence with the Raspberry Pi ISBN: 1484227425 ISBN-13(EAN): 9781484227428 Издательство: Springer Рейтинг: Цена: 3772.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Gain a gentle introduction to the world of Artificial Intelligence (AI) using the Raspberry Pi as the computing platform. Most of the major AI topics will be explored, including expert systems, machine learning both shallow and deep, fuzzy logic control, and more AI in action will be demonstrated using the Python language on the Raspberry Pi. The Prolog language will also be introduced and used to demonstrate fundamental AI concepts. In addition, the Wolfram language will be used as part of the deep machine learning demonstrations. A series of projects will walk you through how to implement AI concepts with the Raspberry Pi. Minimal expense is needed for the projects as only a few sensors and actuators will be required. Beginners and hobbyists can jump right in to creating AI projects with the Raspberry PI using this book. What You'll Learn
What AI is and--as importantly--what it is not
Inference and expert systems
Machine learning both shallow and deep
Fuzzy logic and how to apply to an actual control system
When AI might be appropriate to include in a system
Constraints and limitations of the Raspberry Pi AI implementation
Who This Book Is For Hobbyists, makers, engineers involved in designing autonomous systems and wanting to gain an education in fundamental AI concepts, and non-technical readers who want to understand what AI is and how it might affect their lives.
Автор: Steffen H?lldobler; Carsten Lutz; Heinrich Wansing Название: Logics in Artificial Intelligence ISBN: 3540878025 ISBN-13(EAN): 9783540878025 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. This title includes papers that cover topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, and probabilistic logic.
Автор: Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna In Название: Models, Algorithms, Logics and Tools ISBN: 3319631209 ISBN-13(EAN): 9783319631202 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking.
Автор: Otmane Ait Mohamed; C?sar Munoz; Sofi?ne Tahar Название: Theorem Proving in Higher Order Logics ISBN: 3540710655 ISBN-13(EAN): 9783540710653 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.
Автор: Christian W. Probst; Chris Hankin; Ren? Rydhof Han Название: Semantics, Logics, and Calculi ISBN: 3319278096 ISBN-13(EAN): 9783319278094 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively.
Автор: E. Clarke; D. Kozen Название: Logics of Programs ISBN: 3540128964 ISBN-13(EAN): 9783540128960 Издательство: Springer Рейтинг: Цена: 6567.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Richard J. Boulton; Paul B. Jackson Название: Theorem Proving in Higher Order Logics ISBN: 354042525X ISBN-13(EAN): 9783540425250 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3-6 September 2001 in Edinburgh, Scotland. TPHOLs 2001 was collocated with the 11th Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods (CHARME 2001).
Автор: Manuel Hermenegildo; S.Doaitse Swierstra Название: Programming Languages: Implementations, Logics and Programs ISBN: 354060359X ISBN-13(EAN): 9783540603597 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings report research on declarative programming languages and provide insights into the relation between logic of those languages, implmentation techniques, and the use of these languages in constructing real programs.
Автор: Herbert Kuchen; S.Doaitse Swierstra Название: Programming Languages: Implementations, Logics, and Programs ISBN: 3540617566 ISBN-13(EAN): 9783540617563 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings are organized into topical sections on typing and structuring systems, program analysis, program transformation, implementation issues, concurrent and parallel programming, tools and programming environments, lambda-calculus and rewriting, and constraints.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
