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

About these proceedings


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.


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
  • 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
  • About this book