Advertisement

Table of contents

  1. Front Matter
  2. David Kinny, Jan Treur, Les Gasser, Steve Clark, Jörg Müller
    Pages 1-1
  3. Marcel Schoppers, Daniel Shapiro
    Pages 3-13
  4. Joanna Bryson, Brendan McGonigle
    Pages 15-29
  5. Van Parunak, John Sauter, Steve Clark
    Pages 45-59
  6. Gal A. Kaminka, Milind Tambe
    Pages 127-141
  7. Onn M. Shehory, Katia Sycara, Somesh Jha
    Pages 143-154
  8. Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge
    Pages 155-176
  9. Carles Sierra, Nick R. Jennings, Pablo Noriega, Simon Parsons
    Pages 177-192
  10. Marco Mulder, Jan Treur, Michael Fisher
    Pages 193-207
  11. Yannis Labrou, Tim Finin
    Pages 209-214
  12. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Pages 215-229
  13. Frank Dignum, Rosaria Conte
    Pages 231-243
  14. Christoph G. Jung, Klaus Fischer
    Pages 245-258
  15. Frédéric Koriche
    Pages 259-273
  16. Walter Van de Velde, Sabine Geldof, Ronald Schrooten
    Pages 297-311
  17. Carlos A. Iglesias, Mercedes Garijo, José C. González, Juan R. Velasco
    Pages 313-327
  18. R. Scott Cost, Ian Soboroff, Jeegar Lakhani, Tim Finin, Ethan Miller, Charles Nicholas
    Pages 339-343
  19. Back Matter

About these proceedings

Introduction

This carefully edited book constitutes the strictly refereed post-workshop proceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages, ATAL'97, held in Providence, Rhode Island, USA, in July 1997.
The 25 revised full papers presented were selected from a total of 76 submissions. The book is divided into sections on methodologies, architectures and infrastructures, coordination planning and monitoring, formal methods, theories, and architectures and methodologies. Like its predecessors published in the Intelligent Agents series, this volume specifically focuses on the relationships between the theory and the applications of agents.

Keywords

Multi-agent system agents autonom autonomous agents communication formal method formal specification knowledge modeling monitor object object oriented design programming programming language semantics

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0026744
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64162-9
  • Online ISBN 978-3-540-69696-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site