Skip to main content
SpringerLink
Log in

Formal Approaches to Agent-Based Systems

First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. James L. Rash

    1. NASA Goddard Space Flight Center, Greenbelt, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Walt Truszkowski

    1. NASA Goddard Space Flight Center, Greenbelt, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Michael G. Hinchey

    1. NASA Goddard Space Flight Center, Greenbelt, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Christopher A. Rouff

    1. Science Applications International Corporation, Airlington, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Diana Gordon

    1. Naval Research Laboratory, Washington, D.C., USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (37 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Verifying Agent’s Mental States

    1. Model Checking-Based Analysis of Multiagent Systems

      • Massimo Benerecetti, Fausto Giunchiglia
      Pages 1-15

    2. Towards Formal Specification and Verification in Cyberspace

      • Stanislaw Ambroszkiewicz, Wojciech Penczek, Tomasz Nowak
      Pages 16-32

    3. Verification within the KARO Agent Theory

      • Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Meyer, Wiebe van der Hoek
      Pages 33-47

  3. Synthesizing Agents Initially

    1. On Formal Modeling of Agent Computations

      • Tadashi Araragi, Paul Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy Lynch et al.
      Pages 48-62

    2. Modeling and Programming Devices and Web Agents

      • Sheila A. McIlraith
      Pages 63-77

    3. A Programming Logic for Part of the Agent Language 3APL

      • Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules C. Meyer
      Pages 78-89

    4. The Nepi2Programming System: A π-Calculus-Based Approach to Agent-Based Programming

      • Yoshinobu Kawabe, Ken Mano, Kiyoshi Kogure
      Pages 90-102

  4. Frameworks and Formalization

    1. From Livingstone to SMV

      • Charles Pecheur, Reid Simmons
      Pages 103-113

    2. Verification of Plan Models Using UPPAAL

      • Lina Khatib, Nicola Muscettola, Klaus Havelund
      Pages 114-122

    3. Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System

      • Innocent Bakam, Fabrice Kordon, Christophe Le Page, François Bousquet
      Pages 123-132

    4. Formal Agent Development: Framework to System

      • Mark d’Inverno, Michael Luck
      Pages 133-147

  5. Modeling and Execution

    1. Automatic Synthesis of Agent Designs in UML

      • Johann Schumann, Jon Whittle
      Pages 148-162

    2. Direct Execution of Agent Specifications

      • Michael Fisher
      Pages 163-163

    3. Using the π-Calculus to Model Multiagent Systems

      • Albert C. Esterline, Toinette Rorie
      Pages 164-179

    4. Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude

      • Jeffrey Van Baalen, James L. Caldwell, Shivakant Mishra
      Pages 180-193

  6. Inter-agent Communication

    1. Agents Talking Faster

      • Tim Menzies, Bojan Cukic, Harhsinder Singh
      Pages 194-208

    2. Refining Interactions in a Distributed System

      • Neelam Soundarajan
      Pages 209-221

    3. Design and Mathematical Analysis of Agent-Based Systems

      • Kristina Lerman
      Pages 222-234

    4. Modeling Task and Teams through Game Theoretical Agents

      • Michel Rudnianski, Héléne Bestougeff
      Pages 235-249
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • NASA Goddard Space Flight Center, Greenbelt, USA

    James L. Rash, Walt Truszkowski, Michael G. Hinchey

  • Science Applications International Corporation, Airlington, USA

    Christopher A. Rouff

  • Naval Research Laboratory, Washington, D.C., USA

    Diana Gordon

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation