|
|
libcats.org
Agent Technology from a Formal PerspectiveMichael Hinchey, James Rash, Walt Truszkowski, Diana F. Gordon-Spears, Christopher RouffThe field of agent & multi-agent systems is experiencing tremendous growth whilst that of formal methods has also blossomed. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, were thus timely. This book has arisen from the overwhelming response to FAABS ’00, ’02 & ’04 and all chapters are updated or represent new research, & are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems. Agent Technology from a Formal Perspective provides an in-depth view of the key issues related to agent technology from a formal perspective. As this is a relatively new interdisciplinary field, there is enormous room for further growth and this book not only creates an initial foundation, but points to the gaps; indicating open problems to be addressed by future researchers, students & practitioners. EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Двухдиапазонный приемник для спортивной радиопеленгации (Лучшие конструкции 28-й выставкиАвтор: Королев Л.Категория: Радио, электроника
Размер книги: 136 Kb
Саперное дело для пехоты и кавалерииАвтор: Подчертков, Автор: ЯковлевКатегория: Military
Размер книги: 112.21 Mb
British Battle Insignia (2): 1939-45 (Men-at-Arms 187)Автор: Mike ChappellКатегория: История, Военная история
Размер книги: 15.59 Mb
Англо-русский словарь по радиоэлектроникеАвтор: Лисовский Ф.В., Автор: Калугин И.К
Размер книги: 16.59 Mb
|
|
|