170 search results - page 9 / 34 » atal 2004 |
184
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
160
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Developing interaction rules/protocols among multiple agents is one of the central research topics in multi-agent systems. For cooperative agents, we need to develop protocols so ...
135
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we show how imposing an organization (topology and search mechanism) on agents in a peerto-peer network can improve system performance. The organizational structure ...
153
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Many algorithms such as Q-learning successfully address reinforcement learning in single-agent multi-time-step problems. In addition there are methods that address reinforcement l...
162
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
A negotiating agent engages in multi-issue bilateral negotiation in a dynamic information-rich environment. The agent strives to make informed decisions. The agent may assume that...