Intelligent agents VIII : agent theories, architectures, and languages : 8th International Workshop, ATAL 2001, Seattle, WA, USA, August 1-3, 2001 : revised papers

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 for Agents 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.