libcats.org
Главная

Formal Approaches to Agent-Based Systems, 3 conf., FAABS 2004

Обложка книги Formal Approaches to Agent-Based Systems, 3 conf., FAABS 2004

Formal Approaches to Agent-Based Systems, 3 conf., FAABS 2004

, , ,

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2004, held in Greenbelt, MD, USA in April 2004.

The 18 revised full papers and 4 revised poster papers presented have gone through two rounds of reviewing and improvement. Among the topics addressed are agent management systems, norms in agent societies, multi-agent systems reliability, agent architectures, multi-agent systems specification, formal methods, potential energy in multi-agent systems, timed automata, model checking, OBDDs, multi-agent systems verification, agent communication protocols, autonomic agents, and Petri nets.

Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Осмельтесь преуспеть

Автор: , Автор:
Категория: money, people, develop
Размер книги: 1.03 Mb

Блюз на акустической гитаре

Автор: , Автор:
Категория: info, teach, color, music
Размер книги: 13.29 Mb

Самоделки школьника

Автор:
Категория: science, science, technical, hobby, oddjob
Размер книги: 41.91 Mb

The Comic Toolbox: How to Be Funny Even If You're Not

Автор:
Размер книги: 2.53 Mb

Ritual Theory, Ritual Practice

Автор:
Размер книги: 12.42 Mb