Dmitry Tishkovsky
Dmitry Tishkovsky
Research Fellow, School of Computer Science, University of Manchester
Verified email at manchester.ac.uk
Title
Cited by
Cited by
Year
Using tableau to decide expressive description logics with role negation
RA Schmidt, D Tishkovsky
The Semantic Web, 438-451, 2007
532007
A logic for concepts and similarity
M Sheremet, D Tishkovsky, F Wolter, M Zakharyaschev
Journal of Logic and Computation 17 (3), 415-452, 2007
452007
Automated synthesis of tableau calculi
RA Schmidt, D Tishkovsky
arXiv preprint arXiv:1104.4131, 2011
412011
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
392010
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
352008
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
332014
The tableau prover generator MetTeL2
D Tishkovsky, RA Schmidt, M Khodadadi
European Workshop on Logics in Artificial Intelligence, 492-495, 2012
312012
Comparative similarity, tree automata, and diophantine equations
M Sheremet, D Tishkovsky, F Wolter, M Zakharyaschev
International Conference on Logic for Programming Artificial Intelligence …, 2005
282005
Interactions between knowledge, action and commitment within agent dynamic logic
RA Schmidt, D Tishkovsky, U Hustadt
Studia Logica 78 (3), 381-415, 2004
242004
MetTeL2: Towards a Tableau Prover Generation Platform.
D Tishkovsky, RA Schmidt, M Khodadadi
PAAR@ IJCAR, 149-162, 2012
212012
Combining dynamic logic with doxastic modal logics.
RA Schmidt, D Tishkovsky
Advances in modal logic 4, 371-391, 2002
182002
Automated synthesis of tableau calculi
RA Schmidt, D Tishkovsky
International Conference on Automated Reasoning with Analytic Tableaux and …, 2009
162009
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
162008
Automated reasoning about metric and topology
U Hustadt, D Tishkovsky, F Wolter, M Zakharyaschev
European Workshop on Logics in Artificial Intelligence, 490-493, 2006
162006
$\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
122011
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
102017
Cooperating proof attempts
G Reger, D Tishkovsky, A Voronkov
International Conference on Automated Deduction, 339-355, 2015
92015
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
92013
Deciding ALBO with Tableau.
RA Schmidt, D Tishkovsky
Description Logics, 2007
92007
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
82012
The system can't perform the operation now. Try again later.
Articles 1–20