Engineering individual components of a multi-agent system and their interactions is a complex and error-prone task in urgent need of methods and tools. Prototyping is a valuable technique to help software engineers explore the design space while gaining insight and a "feel " for the dynamics of the system; prototyping also allows engineers to learn more about the relationships among design features and the desired computational behaviour. In this paper we describe an approach to building prototypes of large multi-agent systems with which we can experiment and analyse results. We have implemented an environment embodying our approach. This environment is supported by a distributed platform that helps us achieve controlled simulations. 1
|
800
|
Intelligent agents: Theories and practice
– Wooldridge, Jennings
- 1995
|
|
290
|
Kasbah: An agent marketplace for buying and selling goods
– Chavez, Maes
- 1996
|
|
235
|
Agents that reason and negotiate by arguing
– Parsons, Sierra, et al.
- 1998
|
|
157
|
From Logic Programming to Prolog
– Apt
- 1997
|
|
47
|
Specifications are (preferably) executable
– Fuchs
- 1992
|
|
44
|
ISLANDER: an electronic institutions editor
– Esteva, Cruz, et al.
- 2002
|
|
44
|
From logic programming towards multi-agent systems
– Kowalski, Sadri
- 1999
|
|
40
|
Heterogeneous Agent Systems
– Subrahmanian, Bonatti, et al.
- 2000
|
|
33
|
Toward a virtual marketplace: Architectures and strategis
– Tsvetovatyy, Gini
- 1996
|
|
31
|
Is it an agent, or just a program
– Franklin, Graesser
- 1997
|
|
30
|
Logic programming and multi-agent system: A synergic combination for applications and semantics
– Bozzano, Delzanno, et al.
- 1999
|
|
19
|
Skeleton-based agent development for electronic institutions
– Vasconcelos, Sabater, et al.
- 2002
|
|
17
|
WWW Programming using Computational Logic Systems (and the PiLLoW/Ciao Library
– Cabeza, Hermenegildo
- 1997
|
|
13
|
Combining Logical Agents with Rapid Prototyping for Engineering Distributed Applications
– Dart, Kazmierckaz, et al.
- 1999
|
|
11
|
On the Design and Construction of Agent-mediated Electronic Institutions
– Rodriguez
- 2001
|
|
10
|
An abstract formalisation of correct schemas for program synthesis
– Flener, Lau, et al.
- 2000
|
|
10
|
Specification and Simulation of Multi-Agent Systems in CaseLP
– Martelli, Mascardi, et al.
- 1999
|
|
9
|
Logic-based electronic institutions
– Vasconcelos
- 2003
|
|
8
|
A logic based approach to multi-agent systems
– Alferes, Dell'Acqua, et al.
- 2001
|
|
6
|
J.L.: On the Formal Specification of Electronic Institutions. Volume 1991 of LNAI. SpringerVerlag
– Esteva, RodrÃguez-Aguilar, et al.
- 2001
|
|
6
|
Knowledge-Based Programming: A Survey of Program Design and Construction Techniques
– Goldberg
- 1986
|
|
4
|
Rapid prototyping through communicating Petri nets
– BUCCI, VICARIO
- 1992
|
|
4
|
HTML& XHTML: The Definitive Guide
– Musciano, Kennedy
- 2000
|
|
4
|
A Practical Approach for Logic Program Analysis and Transformation
– Vasconcelos, Meneses
- 2000
|
|
4
|
A Lifecycle for Models of Large Multi-Agent Systems
– Vasconcelos, Robertson, et al.
- 2002
|
|
3
|
Programming Languages and Systems for Prototyping Concurrent Applications
– Hasselbring
|
|
2
|
SPIN Model Checking: an Introduction
– Holzmann, Najm, et al.
- 2000
|
|
1
|
Torroni: 2003, ‘Modeling Interactions using Social Integrity Constraints: a Resource Sharing Case Study
– Alberti, Gavanelli, et al.
|
|
1
|
Aided System Prototyping
– Computer
- 1992
|
|
1
|
Islander Graphical Editor. IIIA-CSIC
– Project
- 2002
|
|
1
|
Evolutionary Computation and Multiagent Systems Design
– Sierra, Sabater, et al.
- 2002
|
|
