Sciweavers

7 search results - page 1 / 2
» aamas 2000
Sort
View
AAMAS
2000
Springer
13 years 4 months ago
The Gaia Methodology for Agent-Oriented Analysis and Design
Michael Wooldridge, Nicholas R. Jennings, David Ki...
AAMAS
2000
Springer
13 years 4 months ago
Semantic Issues in the Verification of Agent Communication Languages
This article examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a
Michael Wooldridge
AAMAS
2000
Springer
13 years 4 months ago
A Practitioners? Review of Industrial Agent Applications
ERIM's1 Center for Electronic Commerce (CEC) hosted a two-day Workshop on Industrial Agents in Ann Arbor, MI on Nov. 12-13, 1998. Participation in the workshop was by invitat...
H. Van Dyke Parunak
AAMAS
2000
Springer
13 years 4 months ago
Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
Munindar P. Singh
AAMAS
2000
Springer
13 years 4 months ago
Rational Coordination in Multi-Agent Environments
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents, and present a framework that uses this paradigm t...
Piotr J. Gmytrasiewicz, Edmund H. Durfee