| 000 | 04582nam a22006495i 4500 | ||
|---|---|---|---|
| 001 | 978-3-662-48540-8 | ||
| 003 | DE-He213 | ||
| 005 | 20210120143347.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 160108s2015 gw | s |||| 0|eng d | ||
| 020 |
_a9783662485408 _9978-3-662-48540-8 |
||
| 024 | 7 |
_a10.1007/978-3-662-48540-8 _2doi |
|
| 050 | 4 | _aQA8.9-10.3 | |
| 072 | 7 |
_aUYA _2bicssc |
|
| 072 | 7 |
_aMAT018000 _2bisacsh |
|
| 072 | 7 |
_aUYA _2thema |
|
| 082 | 0 | 4 |
_a005.131 _223 |
| 245 | 1 | 0 |
_aModels of Strategic Reasoning _h[electronic resource] : _bLogics, Games, and Communities / _cedited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge. |
| 250 | _a1st ed. 2015. | ||
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2015. |
|
| 300 |
_aXI, 333 p. 37 illus. in color. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aTheoretical Computer Science and General Issues ; _v8972 _aLecture Notes in Computer Science _v8972 |
|
| 505 | 0 | _aReasoning about games -- Dynamic models of rational deliberation in games.- Reasoning about strategies and rational play in dynamic games.- Finite reasoning procedures for dynamic games -- Formal frameworks for strategies -- Logics for reasoning about strategic abilities in multi-player games.- Using STIT theory to talk about strategies -- Automata and compositional strategies in extensive form games -- Languages for imperfect information.-Strategies in social situations -- Strategies of persuasion, manipulation and propaganda: Psychological and social aspects -- Strategies in social software -- Future perspective.- Logic of strategies: What and how? | |
| 520 | _aStrategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants’ aspirations, whether they are selling a house, playing the stock market, or working toward a treaty that limits global warming. This book aims at understanding the phenomenon of strategic behavior in its proper width and depth. A number of experts have combined forces in order to create a comparative view of the different frameworks for strategic reasoning in social interactions that have been developed in game theory, computer science, logic, linguistics, philosophy, and cognitive and social sciences. The chapters are organized in three topic-based sections, namely reasoning about games; formal frameworks for strategies; and strategies in social situations. The book concludes with a discussion on the future of logical studies of strategies. | ||
| 650 | 0 | _aMathematical logic. | |
| 650 | 0 | _aComputer logic. | |
| 650 | 0 | _aComputer communication systems. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aApplication software. | |
| 650 | 0 | _aAlgorithms. | |
| 650 | 1 | 4 |
_aMathematical Logic and Formal Languages. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16048 |
| 650 | 2 | 4 |
_aLogics and Meanings of Programs. _0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
| 650 | 2 | 4 |
_aComputer Communication Networks. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13022 |
| 650 | 2 | 4 |
_aSoftware Engineering. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14029 |
| 650 | 2 | 4 |
_aInformation Systems Applications (incl. Internet). _0https://scigraph.springernature.com/ontologies/product-market-codes/I18040 |
| 650 | 2 | 4 |
_aAlgorithm Analysis and Problem Complexity. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16021 |
| 700 | 1 |
_avan Benthem, Johan. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aGhosh, Sujata. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aVerbrugge, Rineke. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783662485392 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783662485415 |
| 830 | 0 |
_aTheoretical Computer Science and General Issues ; _v8972 |
|
| 830 | 0 |
_aLecture Notes in Computer Science ; _v8972 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-662-48540-8 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cEBK | ||
| 999 |
_c57809 _d57809 |
||