Sciweavers

6355 search results - page 2 / 1271
» From Logic to Games
Sort
View
AAAI
2012
11 years 8 months ago
Goal Recognition with Markov Logic Networks for Player-Adaptive Games
Goal recognition in digital games involves inferring players’ goals from observed sequences of low-level player actions. Goal recognition models support player-adaptive digital ...
Eun Y. Ha, Jonathan P. Rowe, Bradford W. Mott, Jam...
AAAI
2012
11 years 8 months ago
Learning Games from Videos Guided by Descriptive Complexity
In recent years, several systems have been proposed that learn the rules of a simple card or board game solely from visual demonstration. These systems were constructed for speciď...
Lukasz Kaiser
ATAL
2010
Springer
13 years 6 months ago
On the logic of argumentation theory
The paper applies modal logic to formalize fragments of argumentation theory. Such formalization allows to import, for free, a wealth of new notions (e.g., argument equivalence), ...
Davide Grossi
COCO
2008
Springer
129views Algorithms» more  COCO 2008»
13 years 7 months ago
Constraint Logic: A Uniform Framework for Modeling Computation as Games
We introduce a simple game family, called Constraint Logic, where players reverse edges in a directed graph while satisfying vertex in-flow constraints. This game family can be in...
Erik D. Demaine, Robert A. Hearn
FSTTCS
2005
Springer
13 years 11 months ago
From Logic to Games
Igor Walukiewicz