511 search results - page 5 / 103 » On Modelling Multi-agent Systems Declaratively |
ARCS
2008
Springer
13 years 9 months ago
2008
Springer
: The task of the creatures in the "creatures' exploration problem" is to visit all empty cells in an environment with a minimum number of steps. We have analyzed th...
CAV
2009
Springer
13 years 11 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
WOA
2007
13 years 8 months ago
2007
—This document briefly describes a framework supporting the definition and implementation of virtual environment inhabited by interacting situated agents defined according to the...
AOSE
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents modeling concepts and mechanisms of the Agent Modeling Language (AML) to model social aspects of multiagent systems. The modeling of structural, behavioral as w...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
: In this paper, we propose an MDA based approach for developing multi-agent systems. MDA specifies a structured software development process divided in modeling stages. In the PIM...