Volgen
Dmitry Tishkovsky
Dmitry Tishkovsky
Research Fellow, School of Computer Science, University of Manchester
Geverifieerd e-mailadres voor manchester.ac.uk
Titel
Geciteerd door
Geciteerd door
Jaar
Using tableau to decide expressive description logics with role negation
RA Schmidt, D Tishkovsky
The Semantic Web: 6th International Semantic Web Conference, 2nd Asian …, 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
482007
Automated synthesis of tableau calculi
RA Schmidt, D Tishkovsky
arXiv preprint arXiv:1104.4131, 2011
422011
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
412010
The tableau prover generator MetTeL2
D Tishkovsky, RA Schmidt, M Khodadadi
Logics in Artificial Intelligence: 13th European Conference, JELIA 2012 …, 2012
352012
A general tableau method for deciding description logics, modal logics and related first-order fragments
RA Schmidt, D Tishkovsky
Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008
342008
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
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
242004
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
222017
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
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
Automated synthesis of tableau calculi
RA Schmidt, D Tishkovsky
Automated Reasoning with Analytic Tableaux and Related Methods: 18th …, 2009
162009
Automated reasoning about metric and topology
U Hustadt, D Tishkovsky, F Wolter, M Zakharyaschev
Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 …, 2006
162006
Met-.5ptTeL: A Tableau Prover with Logic-Independent Inference Engine
D Tishkovsky, RA Schmidt, M Khodadadi
Automated Reasoning with Analytic Tableaux and Related Methods: 20th …, 2011
122011
Deciding ALBO with Tableau.
RA Schmidt, D Tishkovsky
Description Logics, 2007
112007
Cooperating proof attempts
G Reger, D Tishkovsky, A Voronkov
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
92015
A Refined Tableau Calculus with Controlled Blocking for the Description Logic
M Khodadadi, RA Schmidt, D Tishkovsky
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd …, 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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20