Author:
Hustadt Ullrich,Gainer Paul,Dixon Clare,Nalon Cláudia,Zhang Lan
Publisher
Springer International Publishing
Reference25 articles.
1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)
2. Areces, C., Gennari, R., Heguiabehere, J., de Rijke, M.: Tree-Based heuristic in modal theorem proving. In: Proc. ECAI 2000. IOS Press (2000)
3. Areces, C., Gorín, D.: Resolution with order and selection for hybrid logics. J. of Automated Reasoning 46, 1–42 (2011), doi:10.1007/s10817-010-9167-0
4. Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 19–99. Elsevier (2001)
5. Borgo, S.: Coalitions in action logic. In: Proc. IJCAI 2007, pp. 1822–1827 (2007)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献