libcats.org
Главная

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)

Обложка книги Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)

, , ,

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.

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

Каникулы

Автор:
Размер книги: 13 Kb

Ремонт импортных телевизоров

Автор: , Автор:
Категория: civil, civil, hardware
Размер книги: 5.24 Mb

Mein Kampf

Автор:
Категория: fiction
Размер книги: 701 Kb

Conditional Offer

Автор:
Категория: fiction
Размер книги: 286 Kb
Только что пользователи скачали эти книги:

Optimal filtering

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

Catholics and Sultans: The Church and the Ottoman Empire 1453-1923

Автор:
Категория: История
Размер книги: 7.26 Mb

Early Christianity and Hellenistic Judaism

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

A Guide to Conducting Aerial Sketchmapping Surveys

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