Formal Approaches to Agent-Based Systems

Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

  • Michael G. Hinchey
  • James L. Rash
  • Walter F. Truszkowski
  • Christopher A. Rouff
Conference proceedings FAABS 2004

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3228)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 3228)

Table of contents

  1. Front Matter
  2. Ecology Based Decentralized Agent Management System

    1. Maxim D. Peysakhov, Vincent A. Cicirello, William C. Regli
      Pages 1-11
    2. Davide Grossi, Frank Dignum
      Pages 12-29
    3. Frank Dignum, Jan Broersen, Virginia Dignum, John-Jules Meyer
      Pages 30-40
    4. Michel Rudnianski, Hélène Bestougeff
      Pages 41-56
    5. Shawn A. Bohner, Boby George, Denis Gračanin, Michael G. Hinchey
      Pages 57-71
    6. Aluízio Haendchen Filho, Nuno Caminada, Edward Hermann Haeusler, Arndt von Staa
      Pages 72-91
    7. Karin Koogan Breitman, Aluízio Haendchen Filho, Edward Hermann Haeusler, Arndt von Staa
      Pages 92-110
    8. Wesley Kerr, Diana Spears, William Spears, David Thayer
      Pages 111-130
    9. William M. Spears, Diana F. Spears, Rodney Heil
      Pages 131-145
    10. Dimitri Zarzhitsky, Diana Spears, David Thayer, William Spears
      Pages 146-160
    11. G. Hutzler, H. Klaudel, D. Y. Wang
      Pages 161-172
    12. Sampath Yerramalla, Yan Liu, Edgar Fuller, Bojan Cukic, Srikanth Gururajan
      Pages 173-188
    13. M. Kacprzak, A. Lomuscio, T. Łasica, W. Penczek, M. Szreter
      Pages 189-212
    14. Franco Raimondi, Alessio Lomuscio
      Pages 213-221
    15. Youyong Zou, Tim Finin, Harry Chen
      Pages 238-248
    16. Denis Gračanin, H. Lally Singh, Shawn A. Bohner, Michael G. Hinchey
      Pages 249-261
    17. Roy Sterritt, Mike Hinchey
      Pages 262-270
  3. Poster Presentations

    1. Jean-Charles Campagne, Alain Cardon, Etienne Collomb, Toyoaki Nishida
      Pages 275-280
    2. Jan Smid, Marek Obitko, David Fisher, Walt Truszkowski
      Pages 287-289
  4. Back Matter

About these proceedings


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 interest in autonomic computing as part of future FAABS events. We are grateful to all who attended the workshop, presented papers or posters, and participated in panel sessions and both formal and informal discussions to make the workshop a great success. Our thanks go to the NASA Goddard Space Flight Center, Codes 588 and 581 (Software Engineering Laboratory) for their financial support and to the IEEE Computer Society (Technical Committee on Complexity in Computing) for their sponsorship and organizational assistance.


Automat agent societies agent technology agent-based control agent-based systems automata embedded adaptive systems model checking model driven agent architectures multi-agent system multi-agent systems multi-agent systems specification multi-agent systems verification petri net verification

Editors and affiliations

  • Michael G. Hinchey
    • 1
  • James L. Rash
    • 2
  • Walter F. Truszkowski
    • 3
  • Christopher A. Rouff
    • 4
  1. 1.Department of Computer ScienceLoyola College in MarylandBaltimoreUSA
  2. 2.Advanced Architectures and Automation Branch, NASA Goddard Space Flight CenterGreenbeltUSA
  3. 3.NASA Goddard Space Flight CenterGreenbeltUSA
  4. 4.Advanced Technology Laboratories, Lockheed Martin CorporationArlingtonUSA

Bibliographic information