Dmitry Tishkovsky
According to our database1,
Dmitry Tishkovsky
authored at least 30 papers
between 2002 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Proceedings of the Description Logic, Theory Combination, and All That, 2019
2017
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017
2015
2014
ACM Trans. Comput. Log., 2014
2013
Satisfiability problem for modal logic with global counting operators coded in binary is NExpTime-complete.
Inf. Process. Lett., 2013
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
2012
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012
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.
Proceedings of the 2012 International Workshop on Description Logics, 2012
Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012
Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012
2011
METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011
2010
Proceedings of the Computer Science Logic, 24th International Workshop, 2010
2009
Proceedings of the 6th Workshop on Methods for Modalities, 2009
2008
J. Log. Lang. Inf., 2008
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments.
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008
2007
Proceedings of the Semantic Web, 2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
2006
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
Proceedings of the Advances in Modal Logic 6, 2006
2005
Proceedings of the Logic for Programming, 2005
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005
2004
Stud Logica, 2004
2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
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