Intelligent Agents VIII: Agent Theories, Architectures, and Languages : 8th International Workshop, Atal 2001, Seattle, Wa, Usa, August 1-3, 2001 : Revised Papers

by Meyer, John-Jules Ch; Tambe, Milind

• ISBN13: 9783540438588
• ISBN10: 3540438580
• Format: Paperback
• Copyright: 2002-07-01
• Publisher: Springer Verlag

Summary

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.

Table of Contents

Introduction	1	(5)
John-Jules Ch. Meyer
Milind Tambe
Agent Modeling
Knowledge Level Software Engineering	6	(15)
Fausto Giunchiglia
Anna Perini
Fabrizio Sannicolo
Emotions and Personality in Agent Design and Modeling	21	(11)
Piotr J. Gmytrasiewicz
Christine L. Lisetti
The Ψ Calculus: An Algebraic Agent Language	32	(19)
David Kinny
Evolving Real-Time Local Agent Control for Large-Scale Multi-agent Systems	51	(18)
Thomas Wagner
Victor Lesser
Formal Specification and Verification of Agents
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications	69	(17)
Yves Lesperance
On Multi-agent Systems Specification via Deontic Logic	86	(14)
Alessio Lomuscio
Marek Sergot
Agents and Roles: Refinement in Alternating-Time Temporal Logic	100	(15)
Mark Ryan
Pierre-Yves Schobbens
The Computational Complexity of Agent Verification	115	(13)
Michael Wooldridge
Paul E. Dunne
Agent Architectures and Languages
A Goal-Based Organizational Perspective on Multi-agent Architectures	128	(13)
Manuel Kolp
Paolo Giorgini
John Mylopoulos
Minerva - A Dynamic Logic Programming Agent Architecture	141	(17)
Joao Alexandre Leite
Jose Julio Alferes
Luis Moniz Pereira
Running AgentSpeak(L) Agents on Sim_Agent	158	(17)
Rodrigo Machado
Rafael H. Bordini
Agent Communication
Ontological Overhearing	175	(15)
Marco Aiello
Paolo Busetta
Antonia Dona
Luciano Serafini
Agent Dialogues with Conflicting Preferences	190	(16)
Leila Amgoud
Simon Parsons
An Abstract Machine for Classes of Communicating Agents Based on Deduction	206	(15)
Pierre Bonzon
A Formal Semantics for ProxyCommunicative Acts	221	(14)
Marcus J. Huber
Sanjeev Kumar
Philip R. Cohen
David R. McGee
Commitment Machines	235	(13)
Pinar Yolum
Munindar P. Singh
Collaborative Planning and Resource Allocation
Generating Bids for Group-Related Actions in the Context of Prior Commitments	248	(16)
Luke Hunsberger
Dynamic Distributed Resource Allocation: A Distributed Constraint Satisfaction Approach	264	(13)
Pragnesh Jay Modi
Hyuckchul Jung
Milind Tambe
Wei-Min Shen
Shriniwas Kulkarni
Improving Optimality of n Agent Envy-Free Divisions	277	(13)
Stephen W. Nuchia
Sandip Sen
Trust and Safety
Trustworthiness of Information Sources and Information Pedigrees	290	(17)
Wei Liu
Mary-Anne Williams
Revisiting Asimov's First Law: A Response to the Call to Arms	307	(14)
David V. Pynadath
Milind Tambe
Formal Theories of Negociation
Formal Theories of Negotiation. Section Introduction	321	(3)
Frank Dignum
A Stable and Feasible Payoff Division for Coalition Formation in a Class of Task Oriented Domains	324	(11)
Maria Victoria Belmonte
Ricardo Conejo
Jose Luis Perez-de-la-Cruz
Francisco Triguero
Antisocial Agents and Vickrey Auctions	335	(13)
Felix Brandt
Gerhard Weiß
Formalizing a Language for Institutions and Norms	348	(19)
Marc Esteva
Julian Padget
Carles Sierra
Simple Negotiating Agents in Complex Games: Emergent Equilibria and Dominance of Strategies	367	(10)
Peyman Faratin
Mark Klein
Hiroki Sayama
Yaneer Bar-Yam
Optimal Negotiation Strategies for Agents with Incomplete Information	377	(16)
S. Shaheen Fatima
Michael Wooldridge
Nicholas R. Jennings
Implicit Negotiation in Repeated Games	393	(12)
Michael L. Littman
Peter Stone
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences	405	(17)
Fariba Sadri
Francesca Toni
Paolo Torroni
Agents for Hand-Held, Mobile, or Embdedded Devices
Agents for Hand-Held, Mobile, or Embedded Devices. Section Introduction	422	(1)
Tim Finin
KSACI: A Handheld Device Infrastructure for Agents Communication	423	(13)
Ryan L. Albuquerque
Jomi F. Hubner
Gustavo E. de Paula
Jaime S. Sichman
Geber L. Ramalho
LEAP: A FIPA Platform for Handheld and Mobile Devices	436	(11)
Federico Bergenti
Agostino Poggi
FIPA-OS Agent Platform for Small-Footprint Devices	447	(14)
Mikko Laukkanen
Sasu Tarkoma
Jani Leinonen
Author Index	461