2398 search results - page 424 / 480 » On modelling agent systems with Erlang |
145
click to vote
VRST
2009
ACM
15 years 10 months ago
2009
ACM
Virtual reality has been proposed as a training regime for a large number of tasks from surgery rehearsal (cf. [Robb et al. 1996], to combat simulation (cf. [U. S. Congress, Offi...
181
click to vote
ATAL
2009
Springer
16 years 23 days ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
159
click to vote
IAT
2008
IEEE
16 years 19 days ago
2008
IEEE
Many Knowledge workers are increasingly using online resources to find out latest developments in their specialty and articles of interest. To extract relevant information from s...
162
click to vote
ATAL
2007
Springer
16 years 11 days ago
2007
Springer
In many settings there exists a set of potential participants, but the set of participants who are actually active in the system, and in particular their number, is unknown. This ...
164
click to vote
ATAL
2007
Springer
16 years 11 days ago
2007
Springer
A problem of planning for cooperative teams under uncertainty is a crucial one in multiagent systems. Decentralized partially observable Markov decision processes (DECPOMDPs) prov...