Dmitry Tishkovsky

Dmitry Tishkovsky

University of Manchester - Manchester / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1056698
person_outline Dmitry Tishkovsky's MOST POPULAR ARTICLES
1-) Using tableau to decide expressive description logics with role negationRA Schmidt, D TishkovskyThe Semantic Web, 438-451, 2007542007
2-) A logic for concepts and similarityM Sheremet, D Tishkovsky, F Wolter, M ZakharyaschevJournal of Logic and Computation 17 (3), 415-452, 2007472007
3-) Automated synthesis of tableau calculiRA Schmidt, D TishkovskyarXiv preprint arXiv:1104.4131, 2011412011
4-) A tableau method for checking rule admissibility in S4S Babenyshev, V Rybakov, RA Schmidt, D TishkovskyElectronic Notes in Theoretical Computer Science 262, 17-32, 2010402010
5-) The tableau prover generator MetTeL2D Tishkovsky, RA Schmidt, M KhodadadiLogics in Artificial Intelligence: 13th European Conference, JELIA 2012 …, 2012392012