Sciweavers

6355 search results - page 12 / 1271
» From Logic to Games
Sort
View
AAAI
2007
14 years 1 months ago
Heuristic Evaluation Functions for General Game Playing
A general game playing program plays games that it has not previously encountered. A game manager program sends the game playing programs a description of a game’s rules and obj...
James Clune
TEDU
2008
124views Education» more  TEDU 2008»
13 years 10 months ago
'Killer Phrases': Design Steps for a Game with Digital Role-Playing Agents
The Killer Phrase game is a digital role-playing game where the player is the moderator of a discussion between two debating robots. In this article, the design steps for the creat...
Ulrike Spierling
AUSAI
2009
Springer
14 years 5 months ago
Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
Xiaowei Huang, Ron van der Meyden
AUSAI
2007
Springer
14 years 5 months ago
Dialogue Games in Defeasible Logic
In this paper we show how to capture dialogue games in Defeasible Logic. We argue that Defeasible Logic is a natural candidate and general representation formalism to capture dialo...
Subhasis Thakur, Guido Governatori, Vineet Padmana...
AIIDE
2006
14 years 9 days ago
A Framework for Summarizing Game Experiences as Narratives
Online role playing games may be enjoyed periodically for months or years at a time. Players often log onto the game and play for a short time, and then log off for a long period ...
Yun-Gyung Cheong, R. Michael Young