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: |
MARC
| LEADER | 00000cam a22000004a 4500 | ||
|---|---|---|---|
| 001 | b8601432 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 020605s2002 gw a ob 101 0 eng c | ||
| 005 | 20240418142306.6 | ||
| 010 | |a 2002075467 | ||
| 019 | |a 436629104 |a 648151479 |a 768063356 |a 1005828763 |a 1055465157 |a 1066551691 | ||
| 020 | |a 9783540454489 |q (electronic bk.) | ||
| 020 | |a 3540454489 |q (electronic bk.) | ||
| 020 | |z 3540438580 | ||
| 020 | |z 9783540438588 | ||
| 035 | |a (OCoLC)spr50479759 | ||
| 035 | |a (OCoLC)50479759 |z (OCoLC)436629104 |z (OCoLC)648151479 |z (OCoLC)768063356 |z (OCoLC)1005828763 |z (OCoLC)1055465157 |z (OCoLC)1066551691 | ||
| 037 | |a spr10.1007/3-540-45448-9 | ||
| 040 | |a COO |b eng |e pn |c COO |d HNK |d BAKER |d OCLCQ |d YNG |d OCLCQ |d DKDLA |d OCLCQ |d OCLCO |d OCLCQ |d GW5XE |d OCLCA |d OCLCF |d OCLCQ |d OCLCO |d OCLCQ |d OCL |d OCLCO |d OCLCQ |d SHS |d UAB |d ESU |d OCLCQ |d VT2 |d QE2 |d OCLCA |d WYU | ||
| 042 | |a pcc | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA76.76.I58 |b A83 2001 | |
| 055 | 3 | |a QA75 |b .L38 no.2333 | |
| 111 | 2 | |a ATAL 2001 |d (2001 : |c Seattle, Wash.) | |
| 245 | 1 | 0 | |a Intelligent agents VIII : |b agent theories, architectures, and languages : 8th international workshop, ATAL 2001, Seattle, WA, USA, August 1-3, 2001 : revised papers / |c John-Jules Ch. Meyer, Milind Tambe (eds.) |
| 260 | |a Berlin ; |a New York : |b Springer, |c ©2002. | ||
| 300 | |a 1 online resource (xi, 460 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 2333. |a Lecture notes in artificial intelligence. | |
| 490 | 1 | |a Hot topics. | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a 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. | |
| 520 | |a 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 overall introduction and two special session overviews were carefully reviewed and selected during two rounds of improvement from 68 submissions. The papers are organized in topical sections on agent modeling; formal specification and verification of agents; agent architectures and languages; agent communication; collaborative planning and resource allocation; trust and safety, formal theories of negotiation; and agents for hand-held, mobile, or embedded devices. | ||
| 650 | 0 | |a Intelligent agents (Computer software) |v Congresses. | |
| 650 | 7 | |a Intelligent agents (Computer software) |2 fast |0 (OCoLC)fst00975909. | |
| 655 | 0 | |a Electronic book. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
| 700 | 1 | |a Meyer, John-Jules Ch. | |
| 700 | 1 | |a Tambe, Milind, |d 1965- | |
| 776 | 0 | 8 | |i Print version:ATAL 2001 (2001 : Seattle, Wash.) |t Intelligent agents VIII : agent theories, architectures, and languages : 8th international workshop, ATAL 2001, Seattle, WA, USA, August 1-3, 2001 : revised papers |w (OCoLC)49977159. |
| 830 | 0 | |a Lecture notes in computer science ; |v 2333. | |
| 830 | 0 | |a Hot topics (Berlin, Germany) | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. |0 http://id.loc.gov/authorities/names/n86736436. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/3-540-45448-9 |z Full Text (via Springer) |
| 907 | |a .b86014328 |b 05-04-22 |c 06-02-16 | ||
| 998 | |a web |b - - |c f |d b |e - |f eng |g gw |h 0 |i 1 | ||
| 915 | |a 4 | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Nature - Springer Book Archive - Springer Computer Science | ||
| 956 | |a Computer Science | ||
| 956 | |a Springer e-books: archive | ||
| 999 | f | f | |i 1cef5a2e-6ffb-5a3c-acab-ef863a57d195 |s edc1a95f-0f26-554f-9c51-bc44b115a39c |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.76.I58 A83 2001 |h Library of Congress classification |i Ebooks, Prospector |n 1 |