Sciweavers

6355 search results - page 25 / 1271
» From Logic to Games
Sort
View
CHI
2003
ACM
14 years 11 months ago
FantasyA and SenToy
FantasyA is a role-playing game where emotions are part of the game logic. SenToy is a tangible interface device [2], used to influence emotional behaviour in FantasyA. Players in...
Adrian Bullock, Ana Paiva, Kristina Höök...
AIIDE
2009
14 years 2 days ago
Constructing Game Agents from Video of Human Behavior
Developing computer game agents is often a lengthy and expensive undertaking. Detailed domain knowledge and decision-making procedures must be encoded into the agent to achieve re...
Nan Li, David J. Stracuzzi, Gary Cleveland, Tolga ...
ICRA
2010
IEEE
215views Robotics» more  ICRA 2010»
13 years 9 months ago
Moving game theoretical patrolling strategies from theory to practice: An USARSim simulation
— Game theoretical approaches have been recently used to develop patrolling strategies for mobile robots. The idea is that the patroller and the intruder play a game, whose outco...
Francesco Amigoni, Nicola Basilico, Nicola Gatti, ...
CSL
2004
Springer
14 years 4 months ago
Game-Based Notions of Locality Over Finite Models
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
Marcelo Arenas, Pablo Barceló, Leonid Libki...
JOLLI
2002
80views more  JOLLI 2002»
13 years 10 months ago
Independent Choices and the Interpretation of IF Logic
In this paper it is argued that Hintikka's game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is...
Theo M. V. Janssen