Lectures in game theory for computer scientists / (Record no. 521858)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04747nam a22003738i 4500 |
| 001 - CONTROL NUMBER | |
| control field | CR9780511973468 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | UkCbUP |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20200124160320.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION | |
| fixed length control field | m|||||o||d|||||||| |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr|||||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 101011s2011||||enk o ||1 0|eng|d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780511973468 (ebook) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Cancelled/invalid ISBN | 9780521198660 (hardback) |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | UkCbUP |
| Language of cataloging | eng |
| Description conventions | rda |
| Transcribing agency | UkCbUP |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA269 |
| Item number | .L43 2011 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.015193 |
| Edition number | 22 |
| 245 00 - TITLE STATEMENT | |
| Title | Lectures in game theory for computer scientists / |
| Statement of responsibility, etc | edited by Krzysztof R. Apt and Erich Grädel. |
| 264 #1 - Production, Publication, Distribution, Manufacture, and Copyright Notice (R) | |
| Place of production, publication, distribution, manufacture (R) | Cambridge : |
| Name of producer, publisher, distributor, manufacturer (R) | Cambridge University Press, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2011. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (xii, 295 pages) : |
| Other physical details | digital, PDF file(s). |
| 336 ## - Content Type (R) | |
| Content type term (R) | text |
| Content type code (R) | txt |
| Source (NR) | rdacontent |
| 337 ## - Media Type (R) | |
| Media type term (R) | computer |
| Media type code (R) | c |
| Source (NR) | rdamedia |
| 338 ## - Carrier Type (R) | |
| Carrier type term (R) | online resource |
| Carrier type code (R) | cr |
| Source (NR) | rdacarrier |
| 500 ## - GENERAL NOTE | |
| General note | Title from publisher's bibliographic system (viewed on 05 Oct 2015). |
| 505 00 - FORMATTED CONTENTS NOTE | |
| Miscellaneous information | Machine generated contents note: |
| -- | 1. |
| Title | A Primer on Strategic Games / |
| Statement of responsibility | Krzysztof R. Apt -- |
| Miscellaneous information | 1.1. |
| Title | Introduction -- |
| Miscellaneous information | 1.2. |
| Title | Basic concepts -- |
| Miscellaneous information | 1.3. |
| Title | Iterated elimination of strategies I -- |
| Miscellaneous information | 1.4. |
| Title | Mixed extension -- |
| Miscellaneous information | 1.5. |
| Title | Iterated elimination of strategies II -- |
| Miscellaneous information | 1.6. |
| Title | Variations on the definition of strategic games -- |
| Miscellaneous information | 1.7. |
| Title | Mechanism design -- |
| Miscellaneous information | 1.8. |
| Title | Pre-Bayesian games -- |
| Miscellaneous information | 1.9. |
| Title | Conclusions -- |
| Miscellaneous information | 2. |
| Title | Infinite Games and Automata Theory / |
| Statement of responsibility | Christof Loding -- |
| Miscellaneous information | 2.1. |
| Title | Introduction -- |
| Miscellaneous information | 2.2. |
| Title | Basic notations and definitions -- |
| Miscellaneous information | 2.3. |
| Title | Transformation of winning conditions -- |
| Miscellaneous information | 2.4. |
| Title | Tree automata -- |
| Miscellaneous information | 2.5. |
| Title | Beyond finite automata -- |
| Miscellaneous information | 2.6. |
| Title | Conclusion -- |
| Miscellaneous information | 3. |
| Title | Algorithms for Solving Parity Games / |
| Statement of responsibility | Marcin Jurdzinski -- |
| Miscellaneous information | 3.1. |
| Title | Games on graphs -- |
| Miscellaneous information | 3.2. |
| Title | Solving repeated reachability and eventual safety games. |
| 505 00 - FORMATTED CONTENTS NOTE | |
| Miscellaneous information | 3.3. |
| Title | Solving parity games -- |
| Miscellaneous information | 3.4. |
| Title | Related work -- |
| Miscellaneous information | 4. |
| Title | Back and Forth Between Logic and Games / |
| Statement of responsibility | Erich Gradel -- |
| Miscellaneous information | 4.1. |
| Title | Introduction -- |
| Miscellaneous information | 4.2. |
| Title | Reachability games and parity games -- |
| Miscellaneous information | 4.3. |
| Title | Reachability games and logic -- |
| Miscellaneous information | 4.4. |
| Title | Logics with least and greatest fixed-points -- |
| Miscellaneous information | 4.5. |
| Title | Definability of winning regions in parity games -- |
| Miscellaneous information | 4.6. |
| Title | Inflationary fixed-point logic and backtracking games -- |
| Miscellaneous information | 4.7. |
| Title | Logic and games in a quantitative setting -- |
| Miscellaneous information | 5. |
| Title | Turn-Based Stochastic Games / |
| Statement of responsibility | Antonin Kucera -- |
| Miscellaneous information | 5.1. |
| Title | Introduction -- |
| Miscellaneous information | 5.2. |
| Title | Winning objectives in stochastic games -- |
| Miscellaneous information | 5.3. |
| Title | Reachability objectives in games with finitely and infinitely many vertices -- |
| Miscellaneous information | 5.4. |
| Title | Some directions of future research -- |
| Miscellaneous information | 6. |
| Title | Games with Imperfect Information: Theory and Algorithms / |
| Statement of responsibility | Jean-Francois Raskin -- |
| Miscellaneous information | 6.1. |
| Title | Introduction -- |
| Miscellaneous information | 6.2. |
| Title | Games with perfect information. |
| 505 00 - FORMATTED CONTENTS NOTE | |
| Miscellaneous information | 6.3. |
| Title | Games with imperfect information: surely-winning -- |
| Miscellaneous information | 6.4. |
| Title | Games with imperfect information: almost-surely-winning -- |
| Miscellaneous information | 7. |
| Title | Graph Searching Games / |
| Statement of responsibility | Stephan Kreuizer -- |
| Miscellaneous information | 7.1. |
| Title | Introduction -- |
| Miscellaneous information | 7.2. |
| Title | Classifying graph searching games -- |
| Miscellaneous information | 7.3. |
| Title | Variants of graph searching games -- |
| Miscellaneous information | 7.4. |
| Title | Monotonicity of graph searching -- |
| Miscellaneous information | 7.5. |
| Title | Obstructions -- |
| Miscellaneous information | 7.6. |
| Title | An application to graph-decompositions -- |
| Miscellaneous information | 7.7. |
| Title | Complexity of graph searching -- |
| Miscellaneous information | 7.8. |
| Title | Conclusion -- |
| Miscellaneous information | 8. |
| Title | Beyond Nash Equilibrium: Solution Concepts for the 21st Century / |
| Statement of responsibility | Joseph Y. Halpern -- |
| Miscellaneous information | 8.1. |
| Title | Introduction -- |
| Miscellaneous information | 8.2. |
| Title | Robust and resilient equilibrium -- |
| Miscellaneous information | 8.3. |
| Title | Taking computation into account -- |
| Miscellaneous information | 8.4. |
| Title | Taking (lack of) awareness into account -- |
| Miscellaneous information | 8.5. |
| Title | Iterated regret minimisation -- |
| Miscellaneous information | 8.6. |
| Title | Conclusions. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | Games provide mathematical models for interaction. Numerous tasks in computer science can be formulated in game-theoretic terms. This fresh and intuitive way of thinking through complex issues reveals underlying algorithmic questions and clarifies the relationships between different domains. This collection of lectures, by specialists in the field, provides an excellent introduction to various aspects of game theory relevant for applications in computer science that concern program design, synthesis, verification, testing and design of multi-agent or distributed systems. Originally devised for a Spring School organised by the GAMES Networking Programme in 2009, these lectures have since been revised and expanded, and range from tutorials concerning fundamental notions and methods to more advanced presentations of current research topics. This volume is a valuable guide to current research on game-based methods in computer science for undergraduate and graduate students. It will also interest researchers working in mathematical logic, computer science and game theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Game theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer science |
| General subdivision | Mathematics. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Apt, Krzysztof R., |
| Dates associated with a name | 1949- |
| Relator term | editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Grädel, Erich, |
| Dates associated with a name | 1958- |
| Relator term | editor. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Print version: |
| International Standard Book Number | 9780521198660 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1017/CBO9780511973468">https://doi.org/10.1017/CBO9780511973468</a> |
No items available.