Follow
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
International Semantic Web Conference, 438-451, 2007
542007
A logic for concepts and similarity
M Sheremet, D Tishkovsky, F Wolter, M Zakharyaschev
Journal of Logic and Computation 17 (3), 415-452, 2007
522007
Automated synthesis of tableau calculi
RA Schmidt, D Tishkovsky
Logical Methods in Computer Science 7, 2011
442011
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
402010
The tableau prover generator MetTeL2
D Tishkovsky, RA Schmidt, M Khodadadi
Logics in Artificial Intelligence: 13th European Conference, JELIA 2012 …, 2012
372012
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
352017
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
342014
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
332008
Comparative similarity, tree automata, and diophantine equations
M Sheremet, D Tishkovsky, F Wolter, M Zakharyaschev
Logic for Programming, Artificial Intelligence, and Reasoning: 12th …, 2005
292005
Interactions between knowledge, action and commitment within agent dynamic logic
RA Schmidt, D Tishkovsky, U Hustadt
Studia Logica 78, 381-415, 2004
232004
MetTeL2: Towards a Tableau Prover Generation Platform.
D Tishkovsky, RA Schmidt, M Khodadadi
PAAR@ IJCAR, 149-162, 2012
222012
On combinations of propositional dynamic logic and doxastic modal logics
RA Schmidt, D Tishkovsky
Journal of Logic, Language and Information 17, 109-129, 2008
172008
Combining dynamic logic with doxastic modal logics.
RA Schmidt, D Tishkovsky
Advances in modal logic 4, 371-391, 2002
172002
Automated synthesis of tableau calculi
RA Schmidt, D Tishkovsky
International Conference on Automated Reasoning with Analytic Tableaux and …, 2009
152009
Automated reasoning about metric and topology
U Hustadt, D Tishkovsky, F Wolter, M Zakharyaschev
European Workshop on Logics in Artificial Intelligence, 490-493, 2006
152006
Cooperating proof attempts
G Reger, D Tishkovsky, A Voronkov
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
132015
: A Tableau Prover with Logic-Independent Inference Engine
D Tishkovsky, RA Schmidt, M Khodadadi
International Conference on Automated Reasoning with Analytic Tableaux and …, 2011
112011
Deciding ALBO with Tableau.
RA Schmidt, D Tishkovsky
Description Logics, 2007
102007
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
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