Skip to main content
Book cover

Intelligent Agents VIII

8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers

  • Conference proceedings
  • © 2002

Overview

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: ATAL 2001.

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (34 papers)

  1. Introduction

  2. Agent Modeling

  3. Formal Speci.cation and Veri.cation of Agents

  4. Agent Architectures and Languages

  5. Agent Communication

  6. Collaborative Planning and Resource Allocation

Keywords

About this book

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).

Editors and Affiliations

  • Institute of Information and Computing Sciences Intelligent Systems Group, Utrecht University, Utrecht, The Netherlands

    John-Jules Ch. Meyer

  • Information Sciences Institute, University of Southern California, Los Angeles, USA

    Milind Tambe

Bibliographic Information

Publish with us