Intelligent Agents VIII 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Meyer, John-Jules C. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Tambe, Milind (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Artificial Intelligence ; 2333
• Θέματα: Artificial intelligence.; Computer communication systems.; Software engineering.; Computer logic.; Artificial Intelligence.; Computer Communication Networks.; Software Engineering.; Logics and Meanings of Programs.

This volume is the eighth in the Intelligent Agents series associated with the ATAL workshops. These workshops on "Agent Theories, Architectures, and L- guages" have established themselves as a tradition, and play the role of small but internationally well-known conferences on the subject,...

Πίνακας περιεχομένων:

• 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.