813 search results - page 61 / 163 » Correctness Properties for Multiagent Systems |
116
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we focus on the problem of finding a periodic allocation strategy for teams of resource-bounded agents. We propose a real-time dynamic algorithm RTDA , that exploi...
83
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
In multi-agent systems where sets of joint actions (JAs) are generated, metrics are needed to evaluate these sets and efficiently allocate resources for the many JAs. For the case...
135
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...
130
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
There is a recent trend of extending epistemic logic (EL) with dynamic operators that allow to express the evolution of knowledge and induced by knowledge-changing actions. The mo...
130
Voted
IADIS
2003
15 years 5 months ago
2003
The desideratum for the concept of a semiotic web is proposed. It combines both the recent semantic web and the pragmatic web initiatives but surpasses them in being faithful to C...