Formal Approaches to Agent-Based Systems Third International Wor
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 Apr
- PDF / 4,902,705 Bytes
- 298 Pages / 430 x 660 pts Page_size
- 61 Downloads / 170 Views
Subseries of Lecture Notes in Computer Science
3228
Michael G. Hinchey James L. Rash Walter F. Truszkowski Christopher A. Rouff (Eds.)
Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004 Greenbelt, MD, USA, April 26-27, 2004 Revised Selected Papers
13
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA Jörg Siekmann, University of Saarland, Saarbrücken, Germany Volume Editors Michael G. Hinchey James L. Rash Walter F. Truszkowski NASA Goddard Space Flight Center Greenbelt, MD 20771, USA E-mail: {michael.g.hinchey, james.l.rash, walter.f.truszkowski}@nasa.gov Christopher A. Rouff SAIC, Advanced Concepts Business Unit 1710 SAIC Drive, McLean, VA 22102, USA E-mail: [email protected]
Library of Congress Control Number: 2004117653
CR Subject Classification (1998): I.2.11, I.2, D.2, F.3, I.6, C.3, J.2 ISSN 0302-9743 ISBN 3-540-24422-0 Springer 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. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springeronline.com © Springer-Verlag Berlin Heidelberg 2005 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: 11378839 06/3142 543210
Preface
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 worldrenowned 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 selfaware 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 in
Data Loading...
