Intelligent Agents VIII: 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers (Google eBook)
John-Jules C. Meyer, Milind Tambe
Springer Science & Business Media, Jun 19, 2002 - Computers - 460 pages
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 besides theory per se also integration of theory and practice is in focus. Speci?cally, ATAL - dresses issues of theories of agency, software architectures for intelligent agents, methodologies and programming languages for realizing agents, and software tools for applying and evaluating agent-based systems. ATAL 2001 featured two special tracks in which both the more theoretical / formal and the more practical aspects were present, viz. “Formal Theories of Negotiation”, organized by Frank Dignum, and “Agents for Hand-Held, Mobile, or Embedded Devices”, organized by Tim Finin. There was also an extra session on RoboCup Rescue, organized and presented by Satoshi Tadokoro and Ranjit Nair. ATAL 2001 attracted 68 papers from over 20 countries all over the world, of which 30 were selected for presentation at the workshop and publication in this volume. We invited two outstanding speakers: Fausto Giunchiglia (Trento, Italy) and Tom Dean (Brown, USA).
What people are saying - Write a review
We haven't found any reviews in the usual places.
abstract achieve action actor agent communication agent communication language agent program agent x AgentSpeak(L algorithm allocation applications architecture Artificial Intelligence Autonomous Agents behavior belief belief revision coalition commitment complexity computation corresponding deadline defined definition denote deontic dialogue distributed domain dynamic environment envy-free event example execution FIPA FIPA-OS formal formula framework function game theory given global goal hillclimbing implementation Intelligent Agents VIII intention interactions International J2ME Java knowledge base language LNAI Logic Programming LUPS messages middle agent multi-agent systems negotiation ontology operational semantics operations overhearer paper payoff perform platform possible problem procedure Proceedings protocol PROXY PROXY-WEAK PSPACE-complete represented request role rules sact schedule semantics sender sequence SIM_AGENT situation calculus small-footprint devices specification speech act Springer-Verlag task temporal constraints temporal logic Theorem theory transition update utility variables Vickrey auction