Описание: BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.
Автор: Fuchun Sun; Tianrui Li; Hongbo Li Название: Foundations and Applications of Intelligent Systems ISBN: 3642378285 ISBN-13(EAN): 9783642378287 Издательство: Springer Рейтинг: Цена: 34937.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Furthermore they include papers on new intelligent computing paradigms, which combine new computing methodologies, e.g., cloud computing, service computing and pervasive computing with traditional intelligent methods.
Описание: Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
Описание: rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.
Описание: Features the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
Описание: Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building.
Описание: PAAMS, the International Conference on Practical Applications of Agents and Multi-Agent Systems is an evolution of the International Workshop on Practical Applications of Agents and Multi-Agent Systems.
Автор: Gordan Jezic; Mario Kusek; Yun-Heh Jessica Chen-Bu Название: Agent and Multi-Agent Systems: Technology and Applications ISBN: 3319593935 ISBN-13(EAN): 9783319593937 Издательство: Springer Рейтинг: Цена: 22359.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Personalized HealthCare and Agent Technologies.- Multiagent Environments for Dynamic Transportation Applications.- Microservices as Agents in IoT Systems.- Enhancing Tactical Information Assessment Using An Agent-Based Cognitive Architecture.- Security and Trust on Mobile Agent Platforms: A Survey.- A self-adaptive system for improving autonomy and public spaces accessibility for elderly.- Meaning Negotiation with defeasible logic.- Artificial Intelligence Techniques for the Puerto Rico Strategy Game.- Simple Bounded MTLK Model Checking for Timed Interpreted Systems.- An Algorithm for Allocating Structured Tasks in Multi-Robot Scenarios.- SAT- versus SMT-based BMC for TWIS and the Existential Fragment of WCTL with Knowledge.- Communication and Autonomous Control of Multi-UAV System in Disaster Response Tasks.- Decision Function Implementation in MAREA Simulations Influencing Financial Balance of Small-sized Enterprise.- Modelling of the Logistic Supplier-Consumer Behavior.- Multi-Agent BPMN Decision Footprint Towards Decision Collaboration Along Distributed BI Process.
Описание: This book constitutes the refereed proceedings of the nine workshops co-located with the 15th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2017, held in Porto, Portugal, in June 2017.The 41 full papers presented were carefully reviewed and selected from 80 submissions.
Автор: Vladim?r Ma??k; Wolfgang Wahlster; Thomas Strasser Название: Industrial Applications of Holonic and Multi-Agent Systems ISBN: 3319646346 ISBN-13(EAN): 9783319646343 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017, held in Lyon, France, in August 2017. The 19 revised full papers presented were carefully reviewed and selected from 27 submissions.
Описание: This book constitutes the refereed proceedings of the 12th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2014, held in Salamanca, Spain, in June 2014.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
