| Using tableau to decide expressive description logics with role negation RA Schmidt, D Tishkovsky International Semantic Web Conference, 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 | 52 | 2007 |
| Automated synthesis of tableau calculi RA Schmidt, D Tishkovsky Logical Methods in Computer Science 7, 2011 | 44 | 2011 |
| 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 | 40 | 2010 |
| The tableau prover generator MetTeL2 D Tishkovsky, RA Schmidt, M Khodadadi Logics in Artificial Intelligence: 13th European Conference, JELIA 2012 …, 2012 | 37 | 2012 |
| 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 | 35 | 2017 |
| 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 | 34 | 2014 |
| 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 | 33 | 2008 |
| Comparative similarity, tree automata, and diophantine equations M Sheremet, D Tishkovsky, F Wolter, M Zakharyaschev Logic for Programming, Artificial Intelligence, and Reasoning: 12th …, 2005 | 29 | 2005 |
| Interactions between knowledge, action and commitment within agent dynamic logic RA Schmidt, D Tishkovsky, U Hustadt Studia Logica 78, 381-415, 2004 | 23 | 2004 |
| MetTeL2: Towards a Tableau Prover Generation Platform. D Tishkovsky, RA Schmidt, M Khodadadi PAAR@ IJCAR, 149-162, 2012 | 22 | 2012 |
| On combinations of propositional dynamic logic and doxastic modal logics RA Schmidt, D Tishkovsky Journal of Logic, Language and Information 17, 109-129, 2008 | 17 | 2008 |
| 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 | 15 | 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 | 15 | 2006 |
| Cooperating proof attempts G Reger, D Tishkovsky, A Voronkov Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015 | 11 | 2015 |
| : 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 | 10 | 2007 |
| 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 | 9 | 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 |
Renate A SchmidtSchool of Computer Science, The University of ManchesterGeverifieerd e-mailadres voor cs.man.ac.uk
