Sciweavers

6355 search results - page 84 / 1271
» From Logic to Games
Sort
View
59
Voted
ANOR
2005
46views more  ANOR 2005»
15 years 21 days ago
On the Convexity of Precedence Sequencing Games
: In this paper we study a class of cooperative sequencing games that arise from one-machine sequencing situations in which chain precedence relations are imposed on the jobs. It i...
Herbert Hamers, Flip Klijn, Bas van Velzen
ATAL
2011
Springer
14 years 23 days ago
Game theory-based opponent modeling in large imperfect-information games
We develop an algorithm for opponent modeling in large extensive-form games of imperfect information. It works by observing the opponent’s action frequencies and building an opp...
Sam Ganzfried, Tuomas Sandholm
JELIA
2000
Springer
15 years 4 months ago
A Logic for Modeling Decision Making with Dynamic Preferences
We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...
Marina De Vos, Dirk Vermeir
122
Voted
SCP
2010
172views more  SCP 2010»
14 years 11 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
179
Voted
ISSEP
2010
Springer
418views Education» more  ISSEP 2010»
15 years 9 months ago
Didactic Games for Teaching Information Theory
We developed a set of didactic games and activities that can be used to illustrate and teach various concepts from Information Theory. For each of the games and activities we list ...
Michal Forisek, Monika Steinová