Sciweavers

7 search results - page 1 / 2
» aamas 2000
Sort
View
AAMAS
2000
Springer
14 years 10 months ago
The Gaia Methodology for Agent-Oriented Analysis and Design
Michael Wooldridge, Nicholas R. Jennings, David Ki...
101
Voted
AAMAS
2000
Springer
14 years 10 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
14 years 10 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
14 years 10 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
14 years 10 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