Foundations and Applications of Multi-Agent Systems, Mark d`Inverno; Michael Luck; Michael Fisher; Chri

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 9048150515 ISBN-13(EAN): 9789048150519
Издательство: Springer
Рейтинг:
Цена: 234790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 232910.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 0792351304 ISBN-13(EAN): 9780792351306
Издательство: Springer
Рейтинг:
Цена: 234790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 9048150507 ISBN-13(EAN): 9789048150502
Издательство: Springer
Рейтинг:
Цена: 266470.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 0792351312 ISBN-13(EAN): 9780792351313
Издательство: Springer
Рейтинг:
Цена: 186290.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 0792351290 ISBN-13(EAN): 9780792351290
Издательство: Springer
Рейтинг:
Цена: 266470.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Fuchun Sun; Dewen Hu; Huaping Liu
Название: Foundations and Practical Applications of Cognitive Systems and Information Processing
ISBN: 364237834X ISBN-13(EAN): 9783642378348
Издательство: Springer
Рейтинг:
Цена: 232910.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Foundations of Cognitive Systems.- Information Processing.- Practical Applications.

Автор: Javier Bajo Perez; Juan M. Corchado Rodr?guez; Phi
Название: Trends in Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection
ISBN: 331907475X ISBN-13(EAN): 9783319074757
Издательство: Springer
Рейтинг:
Цена: 156720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 149060.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Javier Bajo; Zita Vale; Kasper Hallenborg; Ana Pau
Название: Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems
ISBN: 3319602845 ISBN-13(EAN): 9783319602844
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Yves Demazeau; Franco Zambonelli; Juan M. Corchado
Название: Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection
ISBN: 3319075500 ISBN-13(EAN): 9783319075501
Издательство: Springer
Рейтинг:
Цена: 77320.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.