Автор: Takayuki Ito; Minjie Zhang; Valentin Robu; Shaheen Название: New Trends in Agent-Based Complex Automated Negotiations ISBN: 3642269680 ISBN-13(EAN): 9783642269684 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The multitude of factors characterizing automated negotiations render them highly complex. This book describes new trends in agent-based CAMs, presenting papers from many of the leading researchers in the field and covering platforms as well as strategies.
Автор: Renate Schmidt Название: Automated Deduction – CADE-22 ISBN: 3642029582 ISBN-13(EAN): 9783642029585 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 22nd International Conference on Automated Deduction Montreal Canada August 27 2009 Proceedings. .
Автор: Artho Название: Automated Technology for Verification and Analysis ISBN: 3319465198 ISBN-13(EAN): 9783319465197 Издательство: Springer Рейтинг: Цена: 9224.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. Markov models, chains, and decision processes;
Автор: Martin Giese; Arild Waaler Название: Automated Reasoning with Analytic Tableaux and Related Methods ISBN: 3642027156 ISBN-13(EAN): 9783642027154 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 18th International Conference TABLEAUX 2009 Oslo Norway July 610 2009 Proceedings. .
Автор: Fatima Название: Principles of Automated Negotiation ISBN: 1107002540 ISBN-13(EAN): 9781107002548 Издательство: Cambridge Academ Рейтинг: Цена: 7602.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: With an increasing number of applications in the context of multi-agent systems, automated negotiation is a rapidly growing area. Written by top researchers in the field, this state-of-the-art treatment of the subject explores key issues involved in the design of negotiating agents, covering strategic, heuristic, and axiomatic approaches. The authors discuss the potential benefits of automated negotiation as well as the unique challenges it poses for computer scientists and for researchers in artificial intelligence. They also consider possible applications and give readers a feel for the types of domains where automated negotiation is already being deployed. This book is ideal for graduate students and researchers in computer science who are interested in multi-agent systems. It will also appeal to negotiation researchers from disciplines such as management and business studies, psychology and economics.
Автор: Malik Ghallab Название: Automated Planning, ISBN: 1558608567 ISBN-13(EAN): 9781558608566 Издательство: Elsevier Science Рейтинг: Цена: 11452.00 р. Наличие на складе: Поставка под заказ.
Описание: Automated planning technology plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. This book covers both the theory and practice of automated planning. It is useful for researchers, professionals, and graduate students.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru