| 书目名称 | Formal Approaches to Agent-Based Systems |
| 副标题 | First International |
| 编辑 | James L. Rash,Walt Truszkowski,Diana Gordon |
| 视频video | |
| 概述 | Includes supplementary material: |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000..The 22 revised full papers presented together with 13 posters and two panel discussion reports were carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on verifying agents‘ mental states, synthesizing agents initially, frameworks and formalizations, modeling and execution, inter-agent communication, and adaptive agents. |
| 出版日期 | Conference proceedings 2001 |
| 关键词 | Agent Systems; Agent-Based Programming; Agent-Based Systems; Autonomous Systems; Formal Methods; Formal S |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-45484-5 |
| isbn_softcover | 978-3-540-42716-2 |
| isbn_ebook | 978-3-540-45484-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2001 |
发表于 2025-3-21 19:50:43
