智能代理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