Sciweavers

6355 search results - page 2 / 1271
» From Logic to Games
Sort
View
AAAI
2012
11 years 11 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 11 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 9 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 10 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
14 years 2 months ago
From Logic to Games
Igor Walukiewicz