© 2002

Intelligent Agents VIII

Agent Theories, Architectures, and Languages 8th International Workshop, ATAL 2001 Seattle,WA, USA, August 1–3, 2001 Revised Papers

  • John-Jules Ch. Meyer
  • Milind Tambe
Conference proceedings ATAL 2001

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2333)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 2333)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Introduction

    1. John-Jules Ch. Meyer, Milind Tambe
      Pages 1-5
  3. Agent Modeling

    1. Fausto Giunchiglia, Anna Perini, Fabrizio Sannicolò
      Pages 6-20
    2. Piotr J. Gmytrasiewicz, Christine L. Lisetti
      Pages 21-31
  4. Formal Speci.cation and Veri.cation of Agents

    1. Alessio Lomuscio, Marek Sergot
      Pages 86-99
    2. Mark Ryan, Pierre-Yves Schobbens
      Pages 100-115
    3. Michael Wooldridge, Paul E. Dunne
      Pages 115-127
  5. Agent Architectures and Languages

    1. Manuel Kolp, Paolo Giorgini, John Mylopoulos
      Pages 128-140
    2. Rodrigo Machado, Rafael H. Bordini
      Pages 158-174
  6. Agent Communication

    1. Marco Aiello, Paolo Busetta, Antonia Doná, Luciano Serafini
      Pages 175-189
    2. Leila Amgoud, Simon Parsons
      Pages 190-205
    3. Marcus J. Huber, Sanjeev Kumar, Philip R. Cohen, David R. McGee
      Pages 221-234
    4. Pınar Yolum, Munindar P. Singh
      Pages 235-247
  7. Collaborative Planning and Resource Allocation

    1. Pragnesh Jay Modi, Hyuckchul Jung, Milind Tambe, Wei-Min Shen, Shriniwas Kulkarni
      Pages 264-276

About these proceedings


This volume is the eighth in the Intelligent Agents series associated with the ATAL workshops. These workshops on “Agent Theories, Architectures, and L- guages” have established themselves as a tradition, and play the role of small but internationally well-known conferences on the subject, where besides theory per se also integration of theory and practice is in focus. Speci?cally, ATAL - dresses issues of theories of agency, software architectures for intelligent agents, methodologies and programming languages for realizing agents, and software tools for applying and evaluating agent-based systems. ATAL 2001 featured two special tracks in which both the more theoretical / formal and the more practical aspects were present, viz. “Formal Theories of Negotiation”, organized by Frank Dignum, and “Agents for Hand-Held, Mobile, or Embedded Devices”, organized by Tim Finin. There was also an extra session on RoboCup Rescue, organized and presented by Satoshi Tadokoro and Ranjit Nair. ATAL 2001 attracted 68 papers from over 20 countries all over the world, of which 30 were selected for presentation at the workshop and publication in this volume. We invited two outstanding speakers: Fausto Giunchiglia (Trento, Italy) and Tom Dean (Brown, USA).


agent architectures agent communication agent coordination agent languages agent negotiation agent planning autonomous agents complexity distributed AI intelligent agents logic programming modeling multi-agent system proving semantics

Editors and affiliations

  • John-Jules Ch. Meyer
    • 1
  • Milind Tambe
    • 2
  1. 1.Institute of Information and Computing Sciences Intelligent Systems GroupUtrecht UniversityUtrechtThe Netherlands
  2. 2.Information Sciences InstituteUniversity of Southern CaliforniaLos AngelesUSA

Bibliographic information

  • Book Title Intelligent Agents VIII
  • Book Subtitle Agent Theories, Architectures, and Languages 8th International Workshop, ATAL 2001 Seattle,WA, USA, August 1–3, 2001 Revised Papers
  • Editors John-Jules C. Meyer
    Milind Tambe
  • Series Title Lecture Notes in Computer Science
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-43858-8
  • eBook ISBN 978-3-540-45448-9
  • Series ISSN 0302-9743
  • Edition Number 1
  • Number of Pages XII, 468
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Artificial Intelligence
    Computer Communication Networks
    Software Engineering
    Logics and Meanings of Programs
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences