Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Models of Strategic Reasoning [[electronic resource] ] : Logics, Games, and Communities / / edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge
| Models of Strategic Reasoning [[electronic resource] ] : Logics, Games, and Communities / / edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XI, 333 p. 37 illus. in color.) |
| Disciplina | 519.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Computer networks Software engineering Application software Algorithms Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Computer Communication Networks Software Engineering Computer and Information Systems Applications |
| ISBN | 3-662-48540-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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? |
| Record Nr. | UNISA-996466182503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Models of Strategic Reasoning : Logics, Games, and Communities / / edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge
| Models of Strategic Reasoning : Logics, Games, and Communities / / edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XI, 333 p. 37 illus. in color.) |
| Disciplina | 519.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Computer networks Software engineering Application software Algorithms Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Computer Communication Networks Software Engineering Computer and Information Systems Applications |
| ISBN | 3-662-48540-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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? |
| Record Nr. | UNINA-9910483135603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Readings in Formal Epistemology : Sourcebook / / edited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem
| Readings in Formal Epistemology : Sourcebook / / edited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXIII, 937 p. 135 illus.) |
| Disciplina | 121 |
| Collana | Springer Graduate Texts in Philosophy |
| Soggetto topico |
Epistemology
Mathematical logic Game theory Mathematical Logic and Formal Languages Game Theory, Economics, Social and Behav. Sciences |
| ISBN | 3-319-20451-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- 1. Agency and interaction: what we are and what we do in formal epistemology; Jeffrey Helzner and Vincent F. Hendricks -- Part 1. Bayesian Epistemology: Introduction -- 2. Truth and probability; Frank P. Ramsey -- 3. Probable knowledge; Richard C. Jeffrey -- 4. Fine-‐grained opinion, probability and the logic of full belief; Bas C. van Fraassen -- 5. A theory of higher order probabilities; Haim Gaifman -- 6. On indeterminate probabilities; Isaac Levi -- 6. On indeterminate probabilities; Isaac Levi -- 7. Why I am not a Bayesian; Clark Glymour -- 8. A mistake in dynamic coherence arguments? Brian Skyrms -- 9. Some problems for conditionalization and reflection; Frank Arntzenius -- 10. Stopping to reflect; Mark J. Schervish, Teddy Seidenfeld and Joseph B. Kadane -- Part II. Belief Change: Introduction -- 11. On the logic of theory change: partial meet contraction and revision functions; Carlos Alchourrón, Peter Gärdenfors and David Makinson -- 12. Theory contraction and base contraction unified; Sven Ove Hansson -- 13. How infallible but corrigible full belief is possible; Isaac Levi -- 14. Belief contraction in the context of the General Theory of Rational Choice; Hans Rott -- 15. A survey of ranking theory; Wolfgang Spohn -- Part III. Decision Theory: Introduction -- 16. Allais's Paradox; Leonard Savage -- 17. Decision theory without 'independence' or without 'ordering'; Teddy Seidenfeld -- 18. Ambiguity and the Bayesian paradigm; Itzhak Gilboa and Massimo Marinacci -- 19. State dependent utilities; Mark J. Schervish, Teddy Seidenfeld and Joseph B. Kadane -- 20. Causal decision theory; James M. Joyce and Allan Gibbard -- 21. Advances in prospect theory: cumulative representation of uncertainty; Amos Tversky and Daniel Kahnemann -- Part IV. Logics of Knowledge and Belief: Introduction -- 22. Epistemology without knowledge and without belief; Jaakko Hintikka -- 23. Epistemic operators; Fred Dretske -- 24. Elusive knowledge; David Lewis -- 25. Knowledge and skepticism; Robert Nozick -- 26. On logics of knowledge and belief; Robert Stalnaker -- 27. Sentences, belief and logical omniscience, or what does deduction tell us? Rohit Parikh -- 28. The logic of justification; Sergei Artemov -- 29. Learning theory and epistemology; Kevin T. Kelly -- 30. Some computational constraints in epistemic logic; Timothy Williamson -- Part V. Interactive Epistemology: Introduction -- 31. Convention (an excerpt); David Lewis -- 32. Three views of common understanding; Jon Barwise -- 33. The logic of public announcements, common knowledge and private suspicions; Alexandru Baltag, Lawrence S. Moss and Sławomir Solecki -- 34. A qualitative theory of dynamic interactive belief revision; Alexandru Baltag and Sonja Smets -- 35. Agreeing to disagree; Robert J. Aumann -- 36. Epistemic conditions for Nash equilibrium; Robert J. Aumann and Adam Brandenburger -- 37. Knowledge, belief and counterfactual reasoning in games; Robert Stalnaker -- 38. Substantive rationality and backward induction; Joseph Y. Halpern. |
| Record Nr. | UNINA-9910255353203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||