Dmitry Tishkovsky

According to our database, Dmitry Tishkovsky authored at least 30 papers between 2002 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools.

Yoni Zohar, Dmitry Tishkovsky, Renate A. Schmidt, Anna Zamansky

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2017

Rule Refinement for Semantic Tableau Calculi.

Dmitry Tishkovsky, Renate A. Schmidt

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

2015

Cooperating Proof Attempts.

Giles Reger, Dmitry Tishkovsky, Andrei Voronkov

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Using tableau to decide description logics with full role negation and identity.

Renate A. Schmidt, Dmitry Tishkovsky

ACM Trans. Comput. Log., 2014

2013

Satisfiability problem for modal logic with global counting operators coded in binary is NExpTime-complete.

Michal Zawidzki, Renate A. Schmidt, Dmitry Tishkovsky

Inf. Process. Lett., 2013

Refinement in the Tableau Synthesis Framework

Dmitry Tishkovsky, Renate A. Schmidt

CoRR, 2013

A Refined Tableau Calculus with Controlled Blocking for the Description Logic.

Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI.

Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

Labelled Tableaux for Temporal Logic with Cardinality Constraints.

Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

The Tableau Prover Generator MetTeL2.

Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting.

Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the 2012 International Workshop on Description Logics, 2012

MetTeL²: Towards a Tableau Prover Generation Platform.

Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi

Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics.

Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

2011

Automated Synthesis of Tableau Calculi

Renate A. Schmidt, Dmitry Tishkovsky

Log. Methods Comput. Sci., 2011

METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine.

Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

2010

Tableau Calculi for <i>CSL</i>\mathcal{CSL} over minspaces.

Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2009

A Tableau Method for Checking Rule Admissibility in S4.

Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the 6th Workshop on Methods for Modalities, 2009

2008

On combinations of propositional dynamic logic and doxastic modal logics.

Renate A. Schmidt, Dmitry Tishkovsky

J. Log. Lang. Inf., 2008

A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments.

Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

A Logic for Concepts and Similarity.

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev

J. Log. Comput., 2007

Using Tableau to Decide Expressive Description Logics with Role Negation.

Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the Semantic Web, 2007

Deciding ALBO with Tableau.

Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006

Automated Reasoning About Metric and Topology.

Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

From topology to metric: modal logic and quantification in metric spaces.

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev

Proceedings of the Advances in Modal Logic 6, 2006

2005

Comparative Similarity, Tree Automata, and Diophantine Equations.

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev

Proceedings of the Logic for Programming, 2005

'Closer' representation and reasoning.

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

2004

Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic.

Renate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt

Stud Logica, 2004

Multi-Agent Dynamic Logics with Informational Test.

Renate A. Schmidt, Dmitry Tishkovsky

Ann. Math. Artif. Intell., 2004

2002

Multi-agent Logics of Dynamic Belief and Knowledge.

Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Combining Dynamic Logic with Doxastic Modal Logics.

Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002