8 search results - page 2 / 2 » Verifying Properties of Infinite Sequences of Description Lo... |
JOT
2007
13 years 5 months ago
2007
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
AAMAS
2005
Springer
13 years 11 months ago
2005
Springer
This paper presents a model for adaptive agents. The model describes the behavior of an agent as a graph of roles, in short a behavior graph. Links between roles provide conditions...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
This report outlines the use of a relational representation in a Multi-Agent domain to model the behaviour of the whole system. A desired property in this systems is the ability of...