Sciweavers

6355 search results - page 87 / 1271
» From Logic to Games
Sort
View
97
Voted
PSYCHNOLOGY
2008
92views more  PSYCHNOLOGY 2008»
15 years 8 days ago
Experiences of Evaluating Presence in Augmented Realities
This paper presents an overview of a study of 24 people who used an augmented reality game called TimeWarp. The paper initially discusses the game and evaluation methods chosen, i...
Rod McCall, Anne-Kathrin Braun
JUCS
2010
160views more  JUCS 2010»
14 years 7 months ago
How Incomputable is Finding Nash Equilibria?
Abstract: We investigate the Weihrauch-degree of several solution concepts from noncooperative game theory. While the consideration of Nash equilibria forms the core of our work, a...
Arno Pauly
132
Voted
AAAI
2006
15 years 2 months ago
A Computational Model of Logic-Based Negotiation
This paper presents a computational model of negotiation based on Nebel's syntax-based belief revision. The model guarantees a unique bargaining solution for each bargaining ...
Dongmo Zhang, Yan Zhang
LICS
2000
IEEE
15 years 5 months ago
Concurrent Omega-Regular Games
We consider two-player games which are played on a finite state space for an infinite number of rounds. The games are concurrent, that is, in each round, the two players choose ...
Luca de Alfaro, Thomas A. Henzinger
FORMATS
2008
Springer
15 years 2 months ago
Timed Parity Games: Complexity and Robustness
We consider two-player games played in real time on game structures with clocks and parity objectives. The games are concurrent in that at each turn, both players independently pro...
Krishnendu Chatterjee, Thomas A. Henzinger, Vinaya...