Skip to main content
SpringerLink
Log in
Book cover

Formal Approaches to Agent-Based Systems

Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Michael G. Hinchey

    1. Department of Computer Science, Loyola College in Maryland, Baltimore, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. James L. Rash

    1. Advanced Architectures and Automation Branch, NASA Goddard Space Flight Center, Greenbelt, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Walter F. Truszkowski

    1. NASA Goddard Space Flight Center, Greenbelt, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Christopher Rouff

    1. Advanced Technology Laboratories, Lockheed Martin Corporation, Arlington, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Diana Gordon-Spears

    1. Computer Science Department, University ofWyoming, Laramie, 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 2699)

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

Included in the following conference series:

Conference proceedings info: FAABS 2002.

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 (32 papers)

  1. Front Matter

    Download chapter PDF

  2. “What Is an Agent and Why Should I Care?”

    1. “What Is an Agent and Why Should I Care?”

      • Tim Menzies, Adrian Pearce, Clinton Heinze, Simon Goss
      Pages 1-14

    2. Organising Logic-Based Agents

      • Michael Fisher, Chiara Ghidini, Benjamin Hirsch
      Pages 15-27

    3. A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior

      • Bahram Kimiaghalam, Abdollah Homaifar, Albert C. Esterline
      Pages 28-36

    4. Formal Specification of Interaction in Agent Societies

      • Virginia Dignum, John-Jules C. Meyer, Frank Dignum, Hans Weigand
      Pages 37-52

    5. Formal Verification for a Next-Generation Space Shuttle

      • Stacy D. Nelson, Charles Pecheur
      Pages 53-67

    6. Automated Protocol Analysis in Maude

      • Jeffrey Van Baalen, Thomas Böhne
      Pages 68-78

    7. Towards Interaction Protocol Operations for Large Multi-agent Systems

      • Joaquín Peña, Rafael Corchuelo, José Luis Arjona
      Pages 79-91

    8. Formal Modeling and Supervisory Control of Reconfigurable Robot Teams

      • Kiriakos Kiriakidis, Diana F. Gordon-Spears
      Pages 92-102

    9. Computational Models for Multiagent Coordination Analysis: Extending Distributed POMDP Models

      • Hyuckchul Jung, Ranjit Nair, Milind Tambe, Stacy Marsella
      Pages 103-114

    10. Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results

      • A. Lomuscio, T. Łasica, W. Penczek
      Pages 115-125

    11. Verifiable Middleware for Secure Agent Interoperability

      • Ramesh Bharadwaj
      Pages 126-132

    12. Distributed Implementation of a Connection Graph Based on Cylindric Set Algebra Operators

      • Silvana Zappacosta Amboldi
      Pages 133-145

    13. Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions

      • Albert C. Esterline
      Pages 146-161

    14. Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities

      • Peter J. Robinson, Mike Hinchey, Keith Clark
      Pages 162-172

    15. A Model for Conformance Testing of Mobile Agents in a MASIF Framework

      • Mikaël Marche, Yves-Marie Quemener
      Pages 173-192

    16. Analysis of a Phase Transition in a Physics-Based Multiagent System

      • Diana F. Gordon-Spears, William M. Spears
      Pages 193-207

    17. You Seem Friendly, But Can I Trust You?

      • Tim Menzies, David Owen, Bojan Cukic
      Pages 208-219

    18. Taking Intelligent Agents to the Battlefield

      • Jeffrey Hicks, Richard Flanagan, Plamen Petrov, Alexander Stoyen
      Pages 220-232

  3. Panel Session on “Applications”

    1. Front Matter

      Pages 233-233
      Download chapter PDF
Back to top

Other volumes

  1. Formal Approaches to Agent-Based Systems

Keywords

About this book

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 overwhelming. The result was the first FAABS workshop, which was held at the NASA Goddard Space Flight Center. Posters, paper presentations, panels, and an invited talk by J Moore stimulated much discussion and subsequent collaboration.

Editors and Affiliations

  • Department of Computer Science, Loyola College in Maryland, Baltimore, USA

    Michael G. Hinchey

  • Advanced Architectures and Automation Branch, NASA Goddard Space Flight Center, Greenbelt, USA

    James L. Rash

  • NASA Goddard Space Flight Center, Greenbelt, USA

    Walter F. Truszkowski

  • Advanced Technology Laboratories, Lockheed Martin Corporation, Arlington, USA

    Christopher Rouff

  • Computer Science Department, University ofWyoming, Laramie, USA

    Diana Gordon-Spears

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation