UvAitem 1 out of 1
- Author
- Title
- Complexity in interaction
- Supervisors
- Co-supervisors
- Award date
- 18 November 2011
- Number of pages
- 220
- Publisher
- Amsterdam: Institute for Logic, Language and Computation
- ISBN
- 9789057762321
- Document type
- PhD thesis
- Faculty
- Interfacultary Research
- Institute
- Institute for Logic, Language and Computation (ILLC)
- Abstract
- Lena Kurzen onderzocht de complexiteit van interactie. Zij deed dit vanuit het perspectief van de theoretische informatica en de logica. Naast de complexiteit van formele modellen van interactie, bestudeerde zij ook een gezelschapsspel. Ze toonde aan dat het in feite onspeelbaar is omdat de spelers onbeslisbare problemen kunnen tegenkomen.
- Note
- ILLC dissertation series DS 2011 10
Research conducted at: Universiteit van Amsterdam - Persistent Identifier
- https://hdl.handle.net/11245/1.354347
- Downloads
-
Thesis
Cover
Title pages
Contents
Acknowledgments
1: Introduction
2: Reasoning about cooperation, actions and preferences
3: Complexity of modal logics for cooperation
4: Variations on Sabotage – obstruction and cooperation
5: Exploring the tractability border in epistemic tasks
6: The complexity of playing Eleusis
7: Conclusion
Bibliography
Index
Samenvatting
Abstract
Titles in the ILLC dissertation series
Disclaimer/Complaints regulations
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.