Dmitry Tishkovsky
Dmitry Tishkovsky
Research Fellow, School of Computer Science, University of Manchester
Dirección de correo verificada de manchester.ac.uk
Título
Citado por
Citado por
Año
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
502007
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
342010
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
Combining dynamic logic with doxastic modal logics.
RA Schmidt, D Tishkovsky
Advances in modal logic 4, 371-391, 2002
182002
MetTeL2: Towards a Tableau Prover Generation Platform.
D Tishkovsky, RA Schmidt, M Khodadadi
PAAR@ IJCAR, 149-162, 2012
172012
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
Analysis of blocking mechanisms for description logics
R Schmidt, D Tishkovsky
Proceedings of the Workshop on Automated Reasoning, 2007
72007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20