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
    2. Stephen W. Nuchia, Sandip Sen
      Pages 277-289
  8. Trust and Safety

    1. Wei Liu, Mary-Anne Williams
      Pages 290-306
    2. David V. Pynadath, Milind Tambe
      Pages 307-320
  9. Formal Theories of Negociation

    1. Frank Dignum
      Pages 321-323
    2. Maria Victoria Belmonte, Ricardo Conejo, José Luis Pérez-de-la-Cruz, Francisco Triguero
      Pages 324-334
    3. Felix Brandt, Gerhard Weiß
      Pages 335-347
    4. Marc Esteva, Julian Padget, Carles Sierra
      Pages 348-366
    5. Peyman Faratin, Mark Klein, Hiroki Sayama, Yaneer Bar-Yam
      Pages 367-376
    6. S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings
      Pages 377-392
    7. Michael L. Littman, Peter Stone
      Pages 393-404
    8. Fariba Sadri, Francesca Toni, Paolo Torroni
      Pages 405-421
  10. Agents for Hand-Held, Mobile, or Embdedded Devices

    1. Ryan L. Albuquerque, Jomi F. Hübner, Gustavo E. de Paula, Jaime S. Sichman, Geber L. Ramalho
      Pages 423-435
    2. Federico Bergenti, Agostino Poggi
      Pages 436-446
    3. Mikko Laukkanen, Sasu Tarkoma, Jani Leinonen
      Pages 447-460
  11. Back Matter
    Pages 461-461

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43858-8
  • Online ISBN 978-3-540-45448-9
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site