libcats.org
Главная

Declarative Agent Languages and Technologies, 1 conf., DALT 2003

Обложка книги Declarative Agent Languages and Technologies, 1 conf., DALT 2003

Declarative Agent Languages and Technologies, 1 conf., DALT 2003

, , ,

The growing complexity of agent systems calls for models and technologies that allow for system predictability and enable feature discovery and verification. Formal methods and declarative technologies have recently attracted a growing interest as a means for dealing with such issues.

This book presents revised and extended versions of 11 papers selected for presentation at the First International Workshop on Declarative Agent Languages and Technologies, DALT 2003, held in Melbourne, Australia in July 2003 during AAMAS; also included are 3 invited papers by leading researchers in the area to ensure competent coverage of all relevant topics.

The papers are organized in topical sections on
- software engineering and MAS prototyping
- agent reasoning, BDI logics, and extensions
- social aspects of multi-agent systems

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

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

Древо жизни

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

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Каникулы палача

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

Медея

Автор: , Автор:
Категория: Поэзия
Размер книги: 29 Kb

Dreiser, Theodore - Sister Carrie

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

Jack Worships Janey

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

Charmless Man

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