Using tableau to decide expressive description logics with role negation RA Schmidt, D Tishkovsky
The Semantic Web, 438-451, 2007
54 2007 A logic for concepts and similarity M Sheremet, D Tishkovsky, F Wolter, M Zakharyaschev
Journal of Logic and Computation 17 (3), 415-452, 2007
45 2007 A tableau method for checking rule admissibility in S4 S Babenyshev, V Rybakov, RA Schmidt, D Tishkovsky
Electronic Notes in Theoretical Computer Science 262, 17-32, 2010
41 2010 Automated synthesis of tableau calculi RA Schmidt, D Tishkovsky
arXiv preprint arXiv:1104.4131, 2011
40 2011 A general tableau method for deciding description logics, modal logics and related first-order fragments RA Schmidt, D Tishkovsky
International Joint Conference on Automated Reasoning, 194-209, 2008
34 2008 The tableau prover generator MetTeL2 D Tishkovsky, RA Schmidt, M Khodadadi
European Workshop on Logics in Artificial Intelligence, 492-495, 2012
33 2012 Using tableau to decide description logics with full role negation and identity RA Schmidt, D Tishkovsky
ACM Transactions on Computational Logic (TOCL) 15 (1), 1-31, 2014
32 2014 Comparative similarity, tree automata, and diophantine equations M Sheremet, D Tishkovsky, F Wolter, M Zakharyaschev
International Conference on Logic for Programming Artificial Intelligence …, 2005
28 2005 Interactions between knowledge, action and commitment within agent dynamic logic RA Schmidt, D Tishkovsky, U Hustadt
Studia Logica 78 (3), 381-415, 2004
24 2004 MetTeL2: Towards a Tableau Prover Generation Platform. D Tishkovsky, RA Schmidt, M Khodadadi
PAAR@ IJCAR, 149-162, 2012
20 2012 Combining dynamic logic with doxastic modal logics. RA Schmidt, D Tishkovsky
Advances in modal logic 4, 371-391, 2002
17 2002 Automated synthesis of tableau calculi RA Schmidt, D Tishkovsky
International Conference on Automated Reasoning with Analytic Tableaux and …, 2009
16 2009 Automated reasoning about metric and topology U Hustadt, D Tishkovsky, F Wolter, M Zakharyaschev
European Workshop on Logics in Artificial Intelligence, 490-493, 2006
16 2006 On combinations of propositional dynamic logic and doxastic modal logics RA Schmidt, D Tishkovsky
Journal of Logic, Language and Information 17 (1), 109-129, 2008
15 2008 Combining logical and statistical rule reasoning and verification for medical applications DE Palchunov, DE Tishkovsky, SV Tishkovskaya, GE Yakhyaeva
2017 International Multi-Conference on Engineering, Computer and Information …, 2017
11 2017 $\textsc {Met\hspace {-. 5pt} TeL} $: A Tableau Prover with Logic-Independent Inference Engine D Tishkovsky, RA Schmidt, M Khodadadi
International Conference on Automated Reasoning with Analytic Tableaux and …, 2011
11 2011 Deciding ALBO with Tableau. RA Schmidt, D Tishkovsky
Description Logics, 2007
11 2007 Cooperating proof attempts G Reger, D Tishkovsky, A Voronkov
International Conference on Automated Deduction, 339-355, 2015
9 2015 A Refined Tableau Calculus with Controlled Blocking for the Description Logic M Khodadadi, RA Schmidt, D Tishkovsky
International Conference on Automated Reasoning with Analytic Tableaux and …, 2013
8 2013 Terminating tableau calculi for modal logic K with global counting operators M Khodadadi, RA Schmidt, D Tishkovsky, M Zawidzki
Manuscript, http://www. mettel-prover. org/papers/KEn12. pdf, 2012
8 2012