Sciweavers

6355 search results - page 26 / 1271
» From Logic to Games
Sort
View
AUIC
2006
IEEE
14 years 5 months ago
From pushing buttons to play and progress: value and interaction in fable
A value can be understood as a belief that one mode of conduct is preferable to others. The user-interface of computer games mediates all player conduct in the game and is therefo...
Pippin Barr, James Noble, Robert Biddle, Rilla Kha...
TIME
2009
IEEE
14 years 5 months ago
Simple Algorithm for Simple Timed Games
Yasmina Abdeddaïm, Eugene Asarin, Mihaela Sig...
DAGSTUHL
2007
14 years 12 days ago
A Game-Theoretic Approach to Normative Multi-Agent Systems
Abstract. We explain the raison d’ˆetre and basic ideas of our gametheoretic approach to normative multiagent systems, sketching the central elements with pointers to other publ...
Guido Boella, Leendert W. N. van der Torre
ATAL
2009
Springer
14 years 5 months ago
Rational play and rational beliefs under uncertainty
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
Nils Bulling, Wojciech Jamroga
AIIDE
2008
14 years 1 months ago
Logical Agents for Language and Action
Game developers are faced with the difficult task of creating non-player characters with convincing behavior. This commonly involves an exhaustive specification of their actions i...
Martin Magnusson, Patrick Doherty