000 04102nam a22005415i 4500
003 DE-He213
005 20231104114253.0
007 cr nn 008mamaa
008 160108s2015 gw | s |||| 0|eng d
020 _a9783662485408
_z978-3-662-48540-8
024 7 _a10.1007/978-3-662-48540-8
_2doi
050 4 _aQA8.9-QA10.3
072 7 _aUYA
_2bicssc
072 7 _aMAT018000
_2bisacsh
072 7 _aUYA
_2thema005.131
_223
245 1 0 _aModels of Strategic Reasoning :
_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 _a1 online resource
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 0 _aTheoretical Computer Science and General Issues ;
_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 _aComputer science.
650 0 _aLogic design.
650 0 _aComputer Communication Networks.
650 0 _aSoftware engineering.
650 0 _aComputer software.
650 1 4 _aMathematical Logic and Formal Languages.
_0http://scigraph.springernature.com/things/product-market-codes/I16048
650 2 4 _aLogics and Meanings of Programs.
_0http://scigraph.springernature.com/things/product-market-codes/I1603X
650 2 4 _aComputer Communication Networks.
_0http://scigraph.springernature.com/things/product-market-codes/I13022
650 2 4 _aSoftware Engineering.
_0http://scigraph.springernature.com/things/product-market-codes/I14029
650 2 4 _aInformation Systems Applications (incl. Internet).
_0http://scigraph.springernature.com/things/product-market-codes/I18040
650 2 4 _aAlgorithm Analysis and Problem Complexity.
_0http://scigraph.springernature.com/things/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)
856 4 0 _uhttps://doi.org/10.1007/978-3-662-48540-8
_3Springer eBooks
_zOnline access link to the resource
912 _aZDB-2-SCS
912 _aZDB-2-LNC
999 _c200433999
_d52211
942 _2lcc
_cEBK
041 _aeng