Sciweavers

6355 search results - page 17 / 1271
» From Logic to Games
Sort
View
JOLLI
2006
106views more  JOLLI 2006»
13 years 11 months ago
Knowledge Condition Games
Agents often interact strategically to meet conditions involving their own or other agents' knowledge. This interaction can be modeled using a new method of game construction...
Sieuwert van Otterloo, Wiebe van der Hoek, Michael...
IJCAI
2007
14 years 10 days ago
From Answer Set Logic Programming to Circumscription via Logic of GK
We first provide a mapping from Pearce’s equilibrium logic and Ferraris’s general logic programs to Lin and Shoham’s logic of knowledge and justified assumptions, a nonmon...
Fangzhen Lin, Yi Zhou
LORI
2009
Springer
14 years 5 months ago
An Update Operator for Strategic Ability
Coalition Logic does not explicitly talk about the effects of a coalitional move on the strategic ability of the remaining players, while in Game Theory reasoning patterns involvi...
Paolo Turrini, Jan Broersen, Rosja Mastop, John-Ju...
BIRTHDAY
2008
Springer
14 years 28 days ago
Church's Problem and a Tour through Automata Theory
Abstract. Church's Problem, stated fifty years ago, asks for a finitestate machine that realizes the transformation of an infinite sequence into an infinite sequence such tha...
Wolfgang Thomas
CIE
2007
Springer
13 years 11 months ago
Pervasive game flow: understanding player enjoyment in pervasive gaming
Player enjoyment is perhaps the most important issue in successful game design, but is previously not addressed in the area of Pervasive games. Departing from the GameFlow model of...
Kalle Jegers