7160 search results - page 318 / 1432 » Organizing Multiagent Systems |
124
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
120
click to vote
ETFA
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper describes the DSAAR architecture, which aims the fast development and prototyping of multi-robot systems and it is based on Linux inter-process communication (IPC) m...
141
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
The design and development of open multi-agent systems (MAS) is a key aspect in agent research. We advocate that they can be realised as electronic institutions. In this paper we ...
116
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
The development of autonomous multi-agent systems acting upon the interests of one or more users involves the elicitation of preferences of these users. In decision theory, models...
146
click to vote
DALT
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...