Lectures in Game Theory for Computer Scientists

>> Google Books

Lectures in Game Theory for Computer Scientists / Krzysztof R. Apt, Erich Grädel, Erich Grädel

資料種別:

電子ブック

出版情報:

Cambridge University Press Online Books
Leiden : Cambridge University Press, 2011

著者名:

ISBN:

9780521198660 [0521198666]
9781139009751 [1139009753]

書誌ID:

OB00232479

子書誌情報

フルテキスト

所蔵情報

書誌詳細

主題:

Information Technology - Computer Science (Hardware & Networks)

言語:

英語

目次情報:

List of contributors

Preface

A Primer on Strategic Games / Krzysztof R. Apt1：

Introduction / 1.1：

Basic concepts / 1.2：

Iterated elimination of strategies I / 1.3：

Mixed extension / 1.4：

Iterated elimination of strategies II / 1.5：

Variations on the definition of strategic games / 1.6：

Mechanism design / 1.7：

Pre-Bayesian games / 1.8：

Conclusions / 1.9：

Infinite Games and Automata Theory / Christof LÃ¶ding2：

Basic notations and definitions / 2.1：

Transformation of winning conditions / 2.3：

Tree automata / 2.4：

Beyond finite automata / 2.5：

Conclusion / 2.6：

Algorithms for Solving Parity Games / Marcin Jurdzinski3：

Games on graphs / 3.1：

Solving repeated reachability and eventual safety games / 3.2：

Solving parity games / 3.3：

Related work / 3.4：

Back and Forth Between Logic and Games / Erich GrÃ¤del4：

Reachability games and parity games / 4.1：

Reachability games and logic / 4.3：

Logics with least and greatest fixed-points / 4.4：

Definability of winning regions in parity games / 4.5：

Inflationary fixed-point logic and backtracking games / 4.6：

Logic and games in a quantitative setting / 4.7：

Turn-Based Stochastic Games / AntonÃn Kucera5：

Winning objectives in stochastic games / 5.1：

Reachability objectives in games with finitely and infinitely many vertices / 5.3：

Some directions of future research / 5.4：

Games with Imperfect Information: Theory and Algorithms / Laurent Doyen ; Jean-FranÃ§ois Raskin6：

Games with perfect information / 6.1：

Games with imperfect information: surely-winning / 6.3：

Games with imperfect information: almost-surely-winning / 6.4：

Graph Searching Games / Stephan Kreutzer7：

Classifying graph searching games / 7.1：

Variants of graph searching games / 7.3：

Monotonicity of graph searching / 7.4：

Obstructions / 7.5：

An application to graph-decompositions / 7.6：

Complexity of graph searching / 7.7：

Beyond Nash Equilibrium: Solution Concepts for the 21st Century / Joseph Y. Halpern7.8：

Robust and resilient equilibrium / 8.1：

Taking computation into account / 8.3：

Taking (lack of) awareness into account / 8.4：

Iterated regret minimisation / 8.5：

Index / 8.6：

List of contributors

Preface

A Primer on Strategic Games / Krzysztof R. Apt1：

Introduction / 1.1：

Basic concepts / 1.2：

Iterated elimination of strategies I / 1.3：

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge Apt, Krzysztof R., Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	7 図書 Foundations of deductive databases and logic programming Apt, Krzysztof R., 1949-, Minker, Jack M. Kaufmann Publishers
2 図書 Game theory : lectures for economists and systems scientists Vorobʹev, N. N. (Nikolaĭ Nikolaevich), 1925-, Kotz, Samuel, 1930- Springer-Verlag	8 図書 Lectures on the theory of algebraic numbers Hecke, Erich, 1887-1947, Brauer, George U., Goldman, Jay R., Kotzen, R. Springer-Verlag
3 図書 Recent advances in constraints : joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, … CSCLP, Apt, Krzysztof R., 1949- Springer	9 電子ブック Game Theory for Networks Akan, Ozgur, Bellavista, Paolo Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Computer Science Logic Grädel, Erich, Kahle, Reinhard, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	10 電子ブック Algorithmic Game Theory Nisan, Noam, Roughgarden, Tim, Tardos, Eva, Vazirani, Vijay V. Cambridge University Press Online Books
5 図書 Verification of sequential and concurrent programs Apt, Krzysztof R., 1949-, Olderog, E.-R. Springer	11 図書 Lectures on game theory Ventt︠s︡elʹ, Elena Sergeevna Hindustan Pub.
6 図書 Formal description of programming concepts Neuhold, Erich J., 1940-, Paul, Manfred, 1932-, Apt, Krzysztof R., 1949-, IFIP Working Group 2.2 Springer-Verlag	12 電子ブック Verification of Sequential and Concurrent Programs Apt, Krzysztof R., Boer, Frank S., Olderog, Ernst-Rüdiger Springer eBooks Computer Science, Springer London

1

2

3

4

5

6

7

8

9

10

11

12