Cargando…

Models of Strategic Reasoning Logics, Games, and Communities /

Strategic 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 trea...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: van Benthem, Johan (Editor ), Ghosh, Sujata (Editor ), Verbrugge, Rineke (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Edición:1st ed. 2015.
Colección:Theoretical Computer Science and General Issues, 8972
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-662-48540-8
003 DE-He213
005 20230329191847.0
007 cr nn 008mamaa
008 160108s2015 gw | s |||| 0|eng d
020 |a 9783662485408  |9 978-3-662-48540-8 
024 7 |a 10.1007/978-3-662-48540-8  |2 doi 
050 4 |a QA267-268.5 
072 7 |a UYA  |2 bicssc 
072 7 |a MAT018000  |2 bisacsh 
072 7 |a UYA  |2 thema 
082 0 4 |a 005.131  |2 23 
245 1 0 |a Models of Strategic Reasoning  |h [electronic resource] :  |b Logics, Games, and Communities /  |c edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge. 
250 |a 1st ed. 2015. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2015. 
300 |a XI, 333 p. 37 illus. in color.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Theoretical Computer Science and General Issues,  |x 2512-2029 ;  |v 8972 
505 0 |a Reasoning 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 |a Strategic 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 |a Machine theory. 
650 0 |a Computer science. 
650 0 |a Computer networks . 
650 0 |a Software engineering. 
650 0 |a Application software. 
650 0 |a Algorithms. 
650 1 4 |a Formal Languages and Automata Theory. 
650 2 4 |a Computer Science Logic and Foundations of Programming. 
650 2 4 |a Computer Communication Networks. 
650 2 4 |a Software Engineering. 
650 2 4 |a Computer and Information Systems Applications. 
650 2 4 |a Algorithms. 
700 1 |a van Benthem, Johan.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Ghosh, Sujata.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Verbrugge, Rineke.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783662485392 
776 0 8 |i Printed edition:  |z 9783662485415 
830 0 |a Theoretical Computer Science and General Issues,  |x 2512-2029 ;  |v 8972 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-662-48540-8  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)