Author:
Ågotnes Thomas,Walther Dirk
Publisher
Springer Science and Business Media LLC
Subject
Linguistics and Language,Philosophy,Computer Science (miscellaneous)
Reference15 articles.
1. Ågotnes, T. (2004). A logic of finite syntactic epistemic states. Ph.D. thesis, Department of Informatics, University of Bergen.
2. Ågotnes T., Goranko V., Jamroga W. (2007) Alternating-time temporal logics with irrevocable strategies. In: Samet D.(eds) Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI). Belgium, Brussels, pp 15–24
3. Alur R., Henzinger T.A., Kupferman O. (2002) Alternating-time temporal logic. Journal of the ACM 49(5): 672–713
4. Belnap N., Perloff M. (1990) Seeing to it that: A canonical form for agentives. In: Kyburg H.E., Loui R.P., Carlson G.N.(eds) Knowledge representation and defeasible reasoning. Kluwer, Boston, pp 167–190
5. Belnap N.D., Perloff M., Xu M. (2001) Facing the future: Agents and choices in our indeterminist world. Oxford University Press, USA
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Impact of Strategies and Information in Model Checking for Multi-Agent Systems;Electronic Proceedings in Theoretical Computer Science;2023-09-30
2. Logics of Strategies and Preferences;Handbook of Logical Thought in India;2022
3. On composition of bounded-recall plans;Artificial Intelligence;2020-12
4. Logics of Strategies and Preferences;Handbook of Logical Thought in India;2020
5. Natural strategic ability;Artificial Intelligence;2019-12