Dmitry Tishkovsky

Publication Activity (10 Years)

Years Active: 2002-2019
Publications (10 Years): 3

Top Topics

Description Logics

Cardinality Constraints

Top Venues

Description Logics

Publications

Yoni Zohar, Dmitry Tishkovsky, Renate A. Schmidt, Anna Zamansky
Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools. Description Logic, Theory Combination, and All That (2019)
Dmitry Tishkovsky, Renate A. Schmidt
Rule Refinement for Semantic Tableau Calculi. TABLEAUX (2017)
Giles Reger, Dmitry Tishkovsky, Andrei Voronkov
Cooperating Proof Attempts. CADE (2015)
Renate A. Schmidt, Dmitry Tishkovsky
Using tableau to decide description logics with full role negation and identity. ACM Trans. Comput. Log. 15 (1) (2014)
Michal Zawidzki, Renate A. Schmidt, Dmitry Tishkovsky
Satisfiability problem for modal logic with global counting operators coded in binary is NExpTime-complete. Inf. Process. Lett. 113 (1-2) (2013)
Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky
A Refined Tableau Calculus with Controlled Blocking for the Description Logic. TABLEAUX (2013)
Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky
A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI. Description Logics (2013)
Dmitry Tishkovsky, Renate A. Schmidt
Refinement in the Tableau Synthesis Framework CoRR (2013)
Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky
Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. PAAR@IJCAR (2012)
Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi
: Towards a Tableau Prover Generation Platform. PAAR@IJCAR (2012)
Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi
The Tableau Prover Generator MetTeL2. JELIA (2012)
Renate A. Schmidt, Dmitry Tishkovsky
Using Tableau to Decide Description Logics with Full Role Negation and Identity CoRR (2012)
Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky
An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting. Description Logics (2012)
Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky
Labelled Tableaux for Temporal Logic with Cardinality Constraints. SYNASC (2012)
Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi
METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine. TABLEAUX (2011)
Renate A. Schmidt, Dmitry Tishkovsky
Automated Synthesis of Tableau Calculi Log. Methods Comput. Sci. 7 (2) (2011)
Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky
\mathcal{CSL} over minspaces. CSL (2010)
Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky
A Tableau Method for Checking Rule Admissibility in S4. Electron. Notes Theor. Comput. Sci. 262 (2010)
Renate A. Schmidt, Dmitry Tishkovsky
Automated Synthesis of Tableau Calculi. TABLEAUX (2009)
Renate A. Schmidt, Dmitry Tishkovsky
On combinations of propositional dynamic logic and doxastic modal logics. J. Log. Lang. Inf. 17 (1) (2008)
Renate A. Schmidt, Dmitry Tishkovsky
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. IJCAR (2008)
Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
A Logic for Concepts and Similarity. J. Log. Comput. 17 (3) (2007)
Renate A. Schmidt, Dmitry Tishkovsky
Using Tableau to Decide Expressive Description Logics with Role Negation. ISWC/ASWC (2007)
Renate A. Schmidt, Dmitry Tishkovsky
Deciding ALBO with Tableau. Description Logics (2007)
Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
Automated Reasoning About Metric and Topology. JELIA (2006)
Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
From topology to metric: modal logic and quantification in metric spaces. Advances in Modal Logic (2006)
Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
Comparative Similarity, Tree Automata, and Diophantine Equations. LPAR (2005)
Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
'Closer' representation and reasoning. Description Logics (2005)
Renate A. Schmidt, Dmitry Tishkovsky
Multi-Agent Dynamic Logics with Informational Test. Ann. Math. Artif. Intell. 42 (1-3) (2004)
Renate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt
Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic. Stud Logica 78 (3) (2004)
Renate A. Schmidt, Dmitry Tishkovsky
Combining Dynamic Logic with Doxastic Modal Logics. Advances in Modal Logic (2002)
Renate A. Schmidt, Dmitry Tishkovsky
Multi-agent Logics of Dynamic Belief and Knowledge. JELIA (2002)