Author:
Tishkovsky Dmitry,Schmidt Renate A.,Khodadadi Mohammad
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Lecture Notes in Computer Science;P. Abate,2003
2. Babenyshev, S., Rybakov, V., Schmidt, R.A., Tishkovsky, D.: A tableau method for checking rule admissibility in S4. Electron. Notes Theor. Comput. Sci. 262, 17–32 (2010)
3. Lecture Notes in Artificial Intelligence;O. Gasquet,2005
4. Lecture Notes in Artificial Intelligence;U. Hustadt,2006
5. Lecture Notes in Computer Science;R.A. Schmidt,2007
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automating Automated Reasoning;Lecture Notes in Computer Science;2019
2. Using tableau to decide description logics with full role negation and identity;ACM Transactions on Computational Logic;2014-02
3. The Tableau Prover Generator MetTeL2;Logics in Artificial Intelligence;2012
4. Automated Synthesis of Tableau Calculi;Logical Methods in Computer Science;2011-05-07