Formal Approaches to Agent-Based Systems : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers

The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation Branch (Code 588) was developing a prototype agent community to automate satellite ground operations. While developing this system, several race conditions arose within and between agents. Due to the complexity of the agents and the communications between them, it was decided that a formal approach was needed to specify the agents and the communications between them, so that the system could be checked for additional errors. A formal model of the inter-agent communications was developed, with the expectation that this would enable us to find more errors. Success in this convinced us of the importance of using formal methods to model agent-based systems. To share our own experiences and to learn how others were approaching these issues, we decided to hold a workshop on formal methods and agent-based systems. The response was

主題:

Artificial Intelligence; Computer Communication Networks; Computer Science Logic and Foundations of Programming; Humanities and Social Sciences; Software Engineering; Special Purpose and Application-Based Systems

言語:

英語

目次情報:

ブックレビュー

類似資料:

1 電子ブック Formal Approaches to Agent-Based Systems : First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers Rash, James L., Rouff, Christopher A., Truszkowski, Walter., Gordon, Diana., Hinchey, Michael G., SpringerLink (Online … Springer Berlin Heidelberg	7 電子ブック Agent Technology from a Formal Perspective Rouff, Christopher A., Gordon-Spears, Diana, Hinchey, Michael, Hinchey, Mike, Rash, James, Rouff, Chris, Truszkowski, … SpringerLink Books - AutoHoldings, Springer London
2 電子ブック Formal approaches to agent-based systems : third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004 : revised selected papers FAABS, Hinchey, Michael G., Rash, James L., Truszkowski, Walter F., Rouff, Christopher A. SpringerLink, Springer	8 電子ブック Formal Approaches to Agent-Based Systems FAABS 2000, Rash, James L., Gordon, Diana, Hinchey, Michael G., Rouff, Christopher A., Truszkowski, Walter SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Innovative Concepts for Agent-Based Systems : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised … Truszkowski, Walt., Rouff, Chris., Hinchey, Mike., SpringerLink (Online service) Springer Berlin Heidelberg	9 電子ブック Adaptive Agents and Multi-Agent Systems : Adaptation and Multi-Agent Learning Alonso, Eduardo., Kudenko, Daniel., Kazakov, Dimitar., SpringerLink (Online service) Springer Berlin Heidelberg
4 図書 Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers FAABS, Rash, James L., Rouff, Christopher A., Truszkowski, Walt, Gordon, Diana, Hinchey, Michael G. (Michael Gerard), … Springer	10 電子ブック Formal Approaches to Agent-Based Systems Hinchey, Michael G., Kanade, Takeo, Rash, James L., Rouff, Christopher A., Truszkowski, Walter F. Springer eBooks Computer Science, Springer Berlin / Heidelberg
5 電子ブック Formal Approaches to Agent-Based Systems FAABS 2002, Hinchey, Michael Gerard, Gordon-Spears, Diana, Rash, James L., Rouff, Christopher, Truszkowski, Walter F. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Formal Approaches to Agent-Based Systems Hinchey, Michael G., Kanade, Takeo, Rash, James L., Rouff, Christopher A., Truszkowski, Walter F. SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
6 電子ブック Agent Technology from a Formal Perspective Rouff, Christopher A., Gordon-Spears, Diana, Hinchey, Michael, Hinchey, Mike, Rash, James, Rouff, Chris, Truszkowski, … Springer eBooks Computer Science, Springer London	12 電子ブック Self-Adaptive Software : Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers Laddaga, Robert., Robertson, Paul., Shrobe, Howie., SpringerLink (Online service) Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12