Overview

This book is the eighth in the successful line of Intelligent Agents books published in LNAI. It is based on the Eighth International Workshop on Agent Theories, Architectures, and Languages, ATAL 2001, held in Seattle, WA, USA, in August 2001. The 31 revised full papers presented together with an overall introduction and two special session overviews were carefully reviewed and selected during two rounds of improvement from 68 submissions. The papers are organized in topical sections on agent modeling; formal specification and verification of agents; agent architectures and languages; agent communication; collaborative planning and resource allocation; trust and safety, formal theories of negotiation; and agents for hand-held, mobile, or embedded devices.

Full Product Details

Author:   John-Jules C. Meyer ,  Milind Tambe
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2002 ed.
Volume:   2333
Dimensions:   Width: 15.50cm , Height: 2.40cm , Length: 23.50cm
Weight:   1.470kg
ISBN:  

9783540438588

ISBN 10:   3540438580
Pages:   468
Publication Date:   19 June 2002
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Agent Modeling.- Knowledge Level Software Engineering.- Emotions and Personality in Agent Design and Modeling.- The ? Calculus: An Algebraic Agent Language.- Evolving Real-Time Local Agent Control for Large-Scale Multi-agent Systems.- Formal Speci.cation and Veri.cation of Agents.- On the Epistemic Feasibility of Plans in Multiagent Systems Specifications.- On Multi-agent Systems Specification via Deontic Logic.- Agents and Roles: Refinement in Alternating-Time Temporal Logic.- The Computational Complexity of Agent Verification.- Agent Architectures and Languages.- A Goal-Based Organizational Perspective on Multi-agent Architectures.- - A Dynamic Logic Programming Agent Architecture.- Running AgentSpeak(L) Agents on SIM_AGENT.- Agent Communication.- Ontological Overhearing.- Agent Dialogues with Conflicting Preferences.- An Abstract Machine for Classes of Communicating Agents Based on Deduction.- A Formal Semantics for ProxyCommunicative Acts.- Commitment Machines.- Collaborative Planning and Resource Allocation.- Generating Bids for Group-Related Actions in the Context of Prior Commitments.- Dynamic Distributed Resource Allocation: A Distributed Constraint Satisfaction Approach.- Improving Optimality of n Agent Envy-Free Divisions.- Trust and Safety.- Trustworthiness of Information Sources and Information Pedigrees.- Revisiting Asimov’s First Law: A Response to the Call to Arms.- Formal Theories of Negociation.- Formal Theories of Negotiation.- A Stable and Feasible Payoff Division for Coalition Formation in a Class of Task Oriented Domains.- Antisocial Agents and Vickrey Auctions.- Formalizing a Language for Institutions and Norms.- Simple Negotiating Agents in Complex Games: Emergent Equilibria and Dominance of Strategies.- Optimal Negotiation Strategies forAgents with Incomplete Information.- Implicit Negotiation in Repeated Games.- Dialogues for Negotiation: Agent Varieties and Dialogue Sequences.- Agents for Hand-Held, Mobile, or Embdedded Devices.- Agents for Hand-Held, Mobile, or Embedded Devices.- KSACI: A Handheld Device Infrastructure for Agents Communication.- LEAP: A FIPA Platform for Handheld and Mobile Devices.- FIPA-OS Agent Platform for Small-Footprint Devices.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions