Author:
Tishkovsky Dmitry,Schmidt Renate A.
Publisher
Springer International Publishing
Reference24 articles.
1. Abate, P., Goré, R.: The tableau workbench. Electr. Notes Theoret. Comput. Sci. 231, 55–67 (2009)
2. Babenyshev, S., Rybakov, V., Schmidt, R.A., Tishkovsky, D.: A tableau method for checking rule admissibility in S4. Electr. Notes Theoret. Comput. Sci. 262, 17–32 (2010)
3. Lecture Notes in Computer Science;P Baumgartner,1996
4. Baumgartner, P., Schmidt, R.A.: Blocking and other enhancements for bottom-up model generation methods (2016). arXiv e-Print arXiv:1611.09014 [cs.AI]
5. Blackburn, P., Seligman, J.: What are hybrid languages? In: AiML-1, pp. 41–62. CSLI Publ. (1998)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automating Automated Reasoning;Lecture Notes in Computer Science;2019