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
Automated synthesis of tableau calculi
RA Schmidt, D Tishkovsky
International Conference on Automated Reasoning with Analytic Tableaux andá…, 2009
512009
Using tableau to decide expressive description logics with role negation
RA Schmidt, D Tishkovsky
The Semantic Web, 438-451, 2007
512007
A logic for concepts and similarity
M Sheremet, D Tishkovsky, F Wolter, M Zakharyaschev
Journal of Logic and Computation 17 (3), 415-452, 2007
402007
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
352010
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
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
312014
The tableau prover generator MetTeL2
D Tishkovsky, RA Schmidt, M Khodadadi
European Workshop on Logics in Artificial Intelligence, 492-495, 2012
302012
Comparative similarity, tree automata, and diophantine equations
M Sheremet, D Tishkovsky, F Wolter, M Zakharyaschev
International Conference on Logic for Programming Artificial Intelligenceá…, 2005
272005
Interactions between knowledge, action and commitment within agent dynamic logic
RA Schmidt, D Tishkovsky, U Hustadt
Studia Logica 78 (3), 381-415, 2004
232004
MetTeL2: Towards a Tableau Prover Generation Platform.
D Tishkovsky, RA Schmidt, M Khodadadi
PAAR@ IJCAR, 149-162, 2012
182012
Combining dynamic logic with doxastic modal logics.
RA Schmidt, D Tishkovsky
Advances in modal logic 4, 371-391, 2002
182002
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
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
82013
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
From topology to metric: modal logic and quantification in metric spaces.
M Sheremet, D Tishkovsky, F Wolter, M Zakharyaschev
Advances in Modal Logic 6, 429-448, 2006
82006
Multi-agent dynamic logics with informational test
RA Schmidt, D Tishkovsky
Annals of Mathematics and Artificial Intelligence 42 (1-3), 5-36, 2004
82004
Cooperating Proof Attempts
G Reger, D Tishkovsky, A Voronkov
International Conference on Automated Deduction, 339-355, 2015
72015
The system can't perform the operation now. Try again later.
Articles 1–20