智能代理VIII/会议录

　　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.

暂缺《智能代理VIII/会议录》作者简介

Introduction
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 Specification and Verification 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
MINRVA-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. Section Introduction
A Stable and Feasible Payoff Division for Coalition Formation in a Class of Task Oriented Domains
……
Agents for Hand-Held,Mobile,or Embdedded Devices
Author Index