Author:
Herzig Andreas,Lorini Emiliano,Walther Dirk
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Ågotnes, T.: Action and knowledge in alternating-time temporal logic. Synthese 149(2), 375–407 (2006)
2. Alur, R., Henzinger, R., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49(5), 672–713 (2002)
3. Belle, V., Lakemeyer, G.: Reasoning about imperfect information games in the epistemic situation calculus. In: Proceedings of AAAI 2010. AAAI Press (2010)
4. Borgo, S.: Coalitions in action logic. In: Proceedings of IJCAI 2007, pp. 1822–1827 (2007)
5. Lecture Notes in Computer Science;T. Brihaye,2008
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献