The PartNET++ system is an experimental multi-agent-based simulation tool that uses a new model based on hyper-graphs for understanding partnership formation among heterogeneous a...
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
In this paper we present an agent-oriented modeling language, called MAS-ML, and an approach for mapping its diagrams into Java implementations. MAS-ML extends the UML meta-model ...
Viviane Torres da Silva, Ricardo Choren, Carlos Jo...
The shadow agent is a new type of intelligent virtual agent exploiting the metaphor of the shadow as a medium. The core of the shadow agent is a behavioral architecture inspired b...
Philippe Pasquier, Eunjung Han, Kirak Kim, Keechul...
In Agent Mediated Electronic Commerce, autonomy of agents is an important property. On one hand, it has to be favored to make the agents able to determine and adapt their own goal...