90 search results - page 13 / 18 » Latticed Simulation Relations and Games |
APPROX
2007
Springer
13 years 11 months ago
2007
Springer
We prove a lower bound for swapping the order of Arthur and Merlin in two-round MerlinArthur games using black-box techniques. Namely, we show that any AM-game requires time (t2 )...
AAAI
2000
13 years 9 months ago
2000
A common challenge for agents in multiagent systems is trying to predict what other agents are going to do in the future. Such knowledge can help an agent determine which of its c...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Behaviors in soccer-agent domains can involve individual plays, several players involved in tactical plays or the whole team trying to follow strategies supported by specific form...
CIA
2007
Springer
14 years 1 months ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
AIR
2006
13 years 7 months ago
2006
Simulation motion of Virtual Reality (VR) objects and humans has experienced1 important developments in the last decade. However, realistic virtual human animation gen-2 eration re...