This carefully edited book constitutes the strictly refereed post-workshop proceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages, ATAL'97, held in Providence, Rhode Island, USA, in July 1997.
The 25 revised full papers presented were selected from a total of 76 submissions. The book is divided into sections on methodologies, architectures and infrastructures, coordination planning and monitoring, formal methods, theories, and architectures and methodologies. Like its predecessors published in the Intelligent Agents series, this volume specifically focuses on the relationships between the theory and the applications of agents.
Author(s): David Kinny, Jan Treur, Les Gasser (auth.), Munindar P. Singh, Anand Rao, Michael J. Wooldridge (eds.)
Series: Lecture Notes in Computer Science 1365 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1998
Language: English
Pages: 356
Tags: Artificial Intelligence (incl. Robotics); Software Engineering; Computer Communication Networks; Logics and Meanings of Programs
Panel: Methodologies for multi-agent systems....Pages 1-1
Designing embedded agents to optimize end-user objectives....Pages 3-13
Agent architecture as object oriented design....Pages 15-29
Implementation of a cooperative agent architecture based on the language-action perspective....Pages 31-44
Toward the specification and design of industrial synthetic ecosystems....Pages 45-59
Bidding mechanisms for data allocation in multi-agent environments....Pages 61-75
Distributed storage of replicated beliefs to facilitate recovery of distributed intelligent agents....Pages 77-91
A customizable coordination service for autonomous agents....Pages 93-106
A behavior-based approach to reactivity and coordination: A preliminary report....Pages 107-111
On explicit plan languages for coordinating multiagent plan execution....Pages 113-126
Social comparison for failure detection and recovery....Pages 127-141
Multi-agent coordination through coalition formation....Pages 143-154
A formal specification of dMARS....Pages 155-176
A framework for argumentation-based negotiation....Pages 177-192
Agent modelling in MetateM and DESIRE....Pages 193-207
Semantics for an agent communication language....Pages 209-214
Formal semantics for an abstract agent programming language....Pages 215-229
Intentional agents and goal formation....Pages 231-243
A layered agent calculus with concurrent, continuous processes....Pages 245-258
Approximate reasoning about combined knowledge....Pages 259-273
On the epistemic foundations of agent theories....Pages 275-279
Facilitating open communication in agent systems: The InfoSleuth infrastructure....Pages 281-295
Competition for attention....Pages 297-311
Analysis and design of multiagent systems using MAS-CommonKADS....Pages 313-327
Multi agent systems as open societies — a design framework....Pages 329-337
TKQML: A scripting tool for building agents....Pages 339-343
