Formal Approaches to Agent-Based Systems First InternationalWork
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 po
- PDF / 5,213,271 Bytes
- 378 Pages / 429.976 x 650.048 pts Page_size
- 18 Downloads / 205 Views
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
1871
3
Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo
James L. Rash Christopher A. Rouff Walt Truszkowski Diana Gordon Michael G. Hinchey (Eds.)
Formal Approaches to Agent-Based Systems First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers
13
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA J¨org Siekmann, University of Saarland, Saarbr¨ucken, Germany Volume Editors James L. Rash Walt Truszkowski Michael G. Hinchey NASA Goddard Space Flight Center Greenbelt, Maryland 20771, USA E-mail: {james.rash/walt.truszkowski/mike.hinchey}@gsfc.nasa.gov Christopher A. Rouff Science Applications International Corporation 4001 Fairfax Drive, Suite 300, Airlington, VA 22203, USA E-mail: [email protected] Diana Gordon Naval Research Laboratory 4555 Overlook Avenue, S.W., Washington, D.C., USA E-mail: [email protected] or [email protected] Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Formal approaches to agent based systems : first international workshop ; revised papers / FAABS 2000, Greenbelt, MD, USA, April 5 - 7, 2000. James L. Rash . . . (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer, 2001 (Lecture notes in computer science ; Vol. 1871 : Lecture notes in artificial intelligence) ISBN 3-540-42716-3
CR Subject Classification (1998): I.2.11, I.2, C.2.4, F.3, F.4.1, D.2.4 ISBN 3-540-42716-3 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag Berlin Heidelberg New York a member of BertelsmannSpringer Science+Business Media GmbH http://www.springer.de © Springer-Verlag Berlin Heidelberg 2001 Printed in Germany Typesetting: Camera-ready by author, data conversion by PTP-Berlin, Stefan Sossna Printed on acid-free paper SPIN: 10722329 06/3142 543210
Preface
The FAABS Workshop was conceived at 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. During the development of 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
Data Loading...
