Agent Technology, Nicholas R. Jennings; Michael J. Wooldridge

Автор: Christopher Rouff; Michael Hinchey; James Rash; Wa
Название: Agent Technology from a Formal Perspective
ISBN: 1849969698 ISBN-13(EAN): 9781849969697
Издательство: Springer
Рейтинг:
Цена: 144410.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: What Is an Agent? And What Is an Agent Community?.- to Formal Methods.- Formal Methods and Agent-Based Systems.- A Process-Algebraic Agent Abstraction.- Dynamic Team Formation in Executable Agent-Based Systems.- Scenario-Based Engineering of Multi-Agent Systems.- Verification Within the KARO Agent Theory.- Assuring the Behavior of Adaptive Agents.- Agents in a Wild World.- Formal Methods at NASA Goddard Space Flight Center.- Formal Verification of Autonomy Models.

Автор: 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.

Автор: Roberta Annicchiarico; Ulises Cortes Garcia; Crist
Название: Agent Technology and e-Health
ISBN: 3764385464 ISBN-13(EAN): 9783764385460
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book reports on the results achieved in this area, discusses the benefits (and drawbacks) that agent-based systems may bring to medical domains and society, and also provides a list of the research topics that should be tackled in the near future to make the deployment of health-care agent-based systems a reality.

Автор: Anne Hakansson; Ronald Hartung; Ngoc-Thanh Nguyen
Название: Agent and Multi-agent Technology for Internet and Enterprise Systems
ISBN: 3642135250 ISBN-13(EAN): 9783642135255
Издательство: Springer
Рейтинг:
Цена: 204040.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Research in multi-agent systems offers a promising technology for problems with networks, online trading and negotiations but also social structures and communication. This book focuses on agent and multi-agent technology for internet and enterprise systems.

Автор: Anne Hakansson; Ronald Hartung; Ngoc-Thanh Nguyen
Название: Agent and Multi-agent Technology for Internet and Enterprise Systems
ISBN: 364226378X ISBN-13(EAN): 9783642263781
Издательство: Springer
Рейтинг:
Цена: 204040.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Research in multi-agent systems offers a promising technology for problems with networks, online trading and negotiations but also social structures and communication.

Автор: Christopher Rouff; Michael Hinchey; James Rash; Wa
Название: Agent Technology from a Formal Perspective
ISBN: 1852339470 ISBN-13(EAN): 9781852339470
Издательство: Springer
Рейтинг:
Цена: 144410.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes examples of how others have applied formal methods to agent-based systems, and formal method tools and techniques that can be applied. This book provides a view of the key issues related to agent technology from a formal perspective. It points to the gaps and indicates problems to be addressed by researchers, students and practitioners.