Skip to main content
Springer Nature Link
Log in

Intelligent Agents IV: Agent Theories, Architectures, and Languages

4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Munindar P. Singh
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Anand Rao
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Michael J. Wooldridge
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Intelligent agents constitute one of the most important developments in computer science in the 1990s.
  • This book, the fourth in the highly successful Intelligent Agents series, focuses on the synergies between theories, infrastructures, architectures, methodologies, formal methods, and languages of agents.

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

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

Included in the following conference series:

Conference proceedings info: ATAL 1997.

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

Access this book

Log in via an institution
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

About this book

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

Table of contents (26 papers)

  1. Front Matter

    Download chapter PDF

  2. Panel: Methodologies for multi-agent systems

    • David Kinny, Jan Treur, Les Gasser, Steve Clark, Jörg Müller
    Pages 1-1

  3. Designing embedded agents to optimize end-user objectives

    • Marcel Schoppers, Daniel Shapiro
    Pages 3-13

  4. Agent architecture as object oriented design

    • Joanna Bryson, Brendan McGonigle
    Pages 15-29

  5. Implementation of a cooperative agent architecture based on the language-action perspective

    • Egon M. Verharen, Frank Dignum, Sander Bos
    Pages 31-44

  6. Toward the specification and design of industrial synthetic ecosystems

    • Van Parunak, John Sauter, Steve Clark
    Pages 45-59

  7. Bidding mechanisms for data allocation in multi-agent environments

    • Rina Schwartz, Sarit Kraus
    Pages 61-75

  8. Distributed storage of replicated beliefs to facilitate recovery of distributed intelligent agents

    • Arvind K. Bansal, Kotagiri Ramohanarao, Anand Rao
    Pages 77-91

  9. A customizable coordination service for autonomous agents

    • Munindar P. Singh
    Pages 93-106

  10. A behavior-based approach to reactivity and coordination: A preliminary report

    • Silvia Coradeschi, Lars Karlsson
    Pages 107-111

  11. On explicit plan languages for coordinating multiagent plan execution

    • Jaeho Lee, Edmund H. Durfee
    Pages 113-126

  12. Social comparison for failure detection and recovery

    • Gal A. Kaminka, Milind Tambe
    Pages 127-141

  13. Multi-agent coordination through coalition formation

    • Onn M. Shehory, Katia Sycara, Somesh Jha
    Pages 143-154

  14. A formal specification of dMARS

    • Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge
    Pages 155-176

  15. A framework for argumentation-based negotiation

    • Carles Sierra, Nick R. Jennings, Pablo Noriega, Simon Parsons
    Pages 177-192

  16. Agent modelling in MetateM and DESIRE

    • Marco Mulder, Jan Treur, Michael Fisher
    Pages 193-207

  17. Semantics for an agent communication language

    • Yannis Labrou, Tim Finin
    Pages 209-214

  18. Formal semantics for an abstract agent programming language

    • Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Pages 215-229

  19. Intentional agents and goal formation

    • Frank Dignum, Rosaria Conte
    Pages 231-243

  20. A layered agent calculus with concurrent, continuous processes

    • Christoph G. Jung, Klaus Fischer
    Pages 245-258
Back to top

Bibliographic Information

Publish with us

Policies and ethics

Back to top