Intelligent Agents VIII : agent theories, architectures, and languages : 8th international Workshop, ATAL 2001, Seattle, WA, USA, August 1-3, 2001 : rrevised papers
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, where besid...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science. Lecture notes in artificial intelligence
2333 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 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.), Berlin, Springer, 2002, 1 vol. (XI-460 p.), Lecture notes in computer science, 3-540-43858-0 • Intelligent Agents VIII, Texte imprimé, 9783662173930 |
Sommario:
- 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 forAgents 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.