Models of Strategic Reasoning Logics, Games, and Communities /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: van Benthem, Johan (Επιμελητής έκδοσης), Ghosh, Sujata (Επιμελητής έκδοσης), Verbrugge, Rineke (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
• Έκδοση: 1st ed. 2015.
• Σειρά: Lecture Notes in Computer Science, 8972
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Algorithms.; Computer logic.; Mathematical logic.; Computer Science.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Computer Communication Networks.; Software Engineering.; Information Systems Applications (incl. Internet).; Algorithm Analysis and Problem Complexity.

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 th...

Πίνακας περιεχομένων:

• 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?