Formal Approaches to Agent-Based Systems

First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers

  • James L. Rash
  • Walt Truszkowski
  • Michael G. Hinchey
  • Christopher A. Rouff
  • Diana Gordon
Conference proceedings FAABS 2000

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

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

Table of contents

  1. Front Matter
    Pages I-IX
  2. Verifying Agent’s Mental States

    1. Massimo Benerecetti, Fausto Giunchiglia
      Pages 1-15
    2. Stanislaw Ambroszkiewicz, Wojciech Penczek, Tomasz Nowak
      Pages 16-32
    3. Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Meyer, Wiebe van der Hoek
      Pages 33-47
  3. Synthesizing Agents Initially

    1. Tadashi Araragi, Paul Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy Lynch et al.
      Pages 48-62
    2. Sheila A. McIlraith
      Pages 63-77
    3. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules C. Meyer
      Pages 78-89
    4. Yoshinobu Kawabe, Ken Mano, Kiyoshi Kogure
      Pages 90-102
  4. Frameworks and Formalization

    1. Charles Pecheur, Reid Simmons
      Pages 103-113
    2. Lina Khatib, Nicola Muscettola, Klaus Havelund
      Pages 114-122
    3. Innocent Bakam, Fabrice Kordon, Christophe Le Page, François Bousquet
      Pages 123-132
    4. Mark d’Inverno, Michael Luck
      Pages 133-147
  5. Modeling and Execution

    1. Johann Schumann, Jon Whittle
      Pages 148-162
    2. Michael Fisher
      Pages 163-163
    3. Albert C. Esterline, Toinette Rorie
      Pages 164-179
    4. Jeffrey Van Baalen, James L. Caldwell, Shivakant Mishra
      Pages 180-193
  6. Inter-agent Communication

    1. Tim Menzies, Bojan Cukic, Harhsinder Singh
      Pages 194-208
    2. Neelam Soundarajan
      Pages 209-221
    3. Michel Rudnianski, Héléne Bestougeff
      Pages 235-249
    4. Richard Waldinger
      Pages 250-262
  7. Adaptive Agents

  8. Posters

    1. Sidney C. Bailin
      Pages 294-297
    2. Walid Chainbi
      Pages 300-301
    3. Kiriakos Kiriakidis, Diana F. Gordon
      Pages 304-305
    4. Eduardo Alonso, Daniel Kudenko
      Pages 306-307
    5. V. Carchiolo, M. Malgeri, G. Mangioni
      Pages 308-317
    6. Sanda Mandutianu
      Pages 318-320
    7. Derek M. Surka, Mark E. Campbell, Thomas P. Schetter
      Pages 335-336
  9. Panel Sessions

  10. Back Matter
    Pages 369-369

About these proceedings


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.


Agent Systems Agent-Based Programming Agent-Based Systems Autonomous Systems Formal Methods Formal Specifications Formal Verification Model Checking Multi-Agent Systems UML agents communication modeling structured analysis

Editors and affiliations

  • James L. Rash
    • 1
  • Walt Truszkowski
    • 1
  • Michael G. Hinchey
    • 1
  • Christopher A. Rouff
    • 2
  • Diana Gordon
    • 3
  1. 1.NASA Goddard Space Flight CenterGreenbeltUSA
  2. 2.Science Applications International CorporationAirlingtonUSA
  3. 3.Naval Research LaboratoryWashington, D.C.USA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42716-2
  • Online ISBN 978-3-540-45484-7
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences