Formal approaches to agent-based systems : third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004 : revised selected papers

>> Google Books

Formal approaches to agent-based systems : third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004 : revised selected papers / edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff

資料種別:

電子ブック

出版情報:

SpringerLink
Berlin : Springer

形態:

1 online resource (viii, 291 p.)

シリーズ名:

Lecture Notes in Artificial Intelligence ; 3228
Lecture Notes in Computer Science ; 3228
SpringerLink Books Computer Science 2005 ;

著者名:

ISBN:

9783540309604 [3540309608]
9783540244226 [3540244220]
9783540807162 [3540807160]

書誌ID:

EB00006040

子書誌情報

フルテキスト

所蔵情報

書誌詳細

その他の標題:	Formal approaches to agent based systems 3rd International FAABS Workshop, Greenbelt, MD, April 26-27, 2004 FAABS 2004
注記:	The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The first FAABS workshop was help in April 2000 and the second in October 2002. Interest in agent-based systems continues to grow and this is seen in the wide range of conferences and journals that are addressing the research in this area as well as the prototype and developmental systems that are coming into use. Our third workshop, FAABS-III, was held in April, 2004. This volume contains the revised papers and posters presented at that workshop. The Organizing Committee was fortunate in having significant support in the planning and organization of these events, and were privileged to have wor- renowned keynote speakers Prof. J Moore (FAABS-I), Prof. Sir Roger Penrose (FAABS-II), and Prof. John McCarthy (FAABS-III), who spoke on the topic of se- aware computing systems, auguring perhaps a greater
主題:	Artificial Intelligence; Computer Modelling; Computer Science; Computer Science Logic and Foundations of Programming; Control and Systems Theory; Software Engineering
言語:	英語

ブックレビュー

類似資料:

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 電子ブック 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
2 電子ブック Formal Approaches to Agent-Based Systems : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers Hinchey, Michael G., Rash, James L., Truszkowski, Walter F., Rouff, Christopher., Gordon-Spears, Diana., SpringerLink … Springer Berlin Heidelberg	8 電子ブック 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
3 図書 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	9 電子ブック 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
4 電子ブック 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	10 電子ブック 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
5 図書 Formal approaches to agent-based systems : third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers FAABS, Hinchey, Michael G. (Michael Gerard), 1969- Springer	11 電子ブック Systems modeling and simulation : theory and applications : third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004 : revised … Asian Simulation Conference, Baik, Doo-Kwon. SpringerLink, Springer
6 電子ブック 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	12 電子ブック Engineering societies in the agents world V : 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004 : revised selected and invited papers ESAW, Gleizes, Marie-Pierre., Omicini, Andrea., Zambonelli, Franco. SpringerLink, Springer

1

2

3

4

5

6

7

8

9

10

11

12