2712 search results - page 200 / 543 » Multiagent Systems |
101
click to vote
MATES
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we describe the Agent World Editor, a tool for designing multi-agent systems and generating executable agent code. The tool also unifies the handling of different a...
115
Voted
ATAL
2007
Springer
15 years 9 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...
124
click to vote
ATAL
2004
Springer
15 years 8 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 ...
105
Voted
ATAL
2004
Springer
15 years 8 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...
134
click to vote
DALT
2004
Springer
15 years 8 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 ...