170 search results - page 9 / 34 » atal 2004 |
101
click to vote
ATAL
2004
Springer
15 years 1 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 ...
ATAL
2004
Springer
15 years 3 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 ...
ATAL
2004
Springer
15 years 3 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 ...
ATAL
2004
Springer
15 years 3 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...
100
click to vote
ATAL
2004
Springer
15 years 1 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...