6355 search results - page 46 / 1271 » From Logic to Games |
EPIA
2005
Springer
14 years 4 months ago
2005
Springer
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as beli...
COCO
2005
Springer
14 years 4 months ago
2005
Springer
Refereed games are interactive proof systems with two competing provers: one that tries to convince the verifier to accept and another that tries to convince the verifier to rej...
KIVS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Although playing real-time multi-player games online over the Internet became more and more popular in the past few years, people still enjoy meeting for so-called “LAN...
ATAL
2010
Springer
14 years 3 days ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
ACII
2011
Springer
12 years 11 months ago
2011
Springer
Recognizing players’ affective state while playing video games has been the focus of many recent research studies. In this paper we describe the process that has been followed t...