Dmitry Tishkovsky

A Logic for Concepts and Similarity

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter et al. · Journal of Logic and Computation · 2007 · 35 citations

Automated Synthesis of Tableau Calculi

Renate A. Schmidt, Dmitry Tishkovsky · Logical Methods in Computer Science · 2011 · 28 citations · Full text

Applied Logic, Engineering, Constructive Logic +18

A Tableau Method for Checking Rule Admissibility in S4

Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt et al. · Electronic Notes in Theoretical Computer Science · 2010 · 26 citations · Full text

Applied Logic, Engineering, Information Security +19

Combining logical and statistical rule reasoning and verification for medical applications

D. E. Palchunov, Dmitry Tishkovsky, Svetlana Tishkovskaya et al. · 2017 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON) · 2017 · 20 citations

Engineering, Business Intelligence, Verification +29

Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic

Renate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt · Studia Logica · 2004 · 16 citations

Cognitive Science, Engineering, Agent Decision-making +11