Intelligent agents VIII : agent theories, architectures, and languages : 8th international workshop, ATAL 2001, Seattle, WA, USA, August 1-3, 2001 : revised papers / John-Jules Ch. Meyer, Milind Tambe (eds.)
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 o...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2002.
|
| Series: | Lecture notes in computer science ;
2333. Hot topics (Berlin, Germany) Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
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 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.