Sciweavers

6355 search results - page 77 / 1271
» From Logic to Games
Sort
View
AI
2003
Springer
15 years 11 months ago
DIAGAL: A Tool for Analyzing and Modelling Commitment-Based Dialogues between Agents
Abstract. This paper overviews our currently in progress agent communication language simulator, called DIAGAL, by describing its use in analyzing and modelling automated conversat...
Marc-André Labrie, Brahim Chaib-draa, Nicol...
MOR
2008
94views more  MOR 2008»
15 years 6 months ago
Metastable Equilibria
We define a refinement of Nash equilibria called metastability. This refinement supposes that the given game might be embedded within any global game that leaves its local best-rep...
Srihari Govindan, Robert Wilson
LFCS
2009
Springer
15 years 11 months ago
ATL with Strategy Contexts and Bounded Memory
We extend the alternating-time temporal logics ATL and ATL with strategy contexts and memory constraints: the first extension makes strategy quantifiers to not “forget” the s...
Thomas Brihaye, Arnaud Da Costa Lopes, Franç...
FDG
2009
ACM
16 years 26 days ago
Motion and scene complexity for streaming video games
This work provides detailed measurements of the motion and scene complexity for a wide variety of video games. Novel algorithms to measure motion and scene complexity are presente...
Mark Claypool
HICSS
2006
IEEE
107views Biometrics» more  HICSS 2006»
16 years 12 days ago
Gaming Emergency Preparedness
This paper describes the design of a competitive game to support “offense” and “defense” teams as they develop and improve their scenarios and plans about possible crisis ...
Murray Turoff, Michael Chumer, Starr Roxanne Hiltz...