245 search results - page 24 / 49 » Semantic Issues in the Verification of Agent Communication L... |
104
click to vote
PRIMA
2004
Springer
15 years 5 months ago
2004
Springer
This paper introduces teams of personal agents that support users individually in electronic negotiations. These agents listen to the running negotiation and to each other to point...
COORDINATION
2009
Springer
16 years 10 days ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
FQAS
2009
Springer
14 years 9 months ago
2009
Springer
In this paper, an agent is defined as a triple (S, RS, LS), where S is a multi-hierarchical decision system, RS is a set of rules extracted from S defining values of its decision a...
104
click to vote
ATAL
2000
Springer
15 years 4 months ago
2000
Springer
In agent systems, different (autonomous) agents collaborate to execute complex tasks. Each agent provides a set of useful capabilities, and the agent system combines these capabili...
IJIS
2008
14 years 11 months ago
2008
Abstract. In complex multi agent systems, the agents may be heterogeneous and possibly designed by different programmers. Thus, the importance of defining a standard framework for ...