Dmitry Tishkovsky

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

2017
Rule Refinement for Semantic Tableau Calculi.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

2015
Cooperating Proof Attempts.
Proceedings of the Automated Deduction - CADE-25, 2015

2014
Using tableau to decide description logics with full role negation and identity.
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

Refinement in the Tableau Synthesis Framework
CoRR, 2013

A Refined Tableau Calculus with Controlled Blocking for the Description Logic.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI.
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.
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

The Tableau Prover Generator MetTeL2.
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

MetTeL<sup>2</sup>: Towards a Tableau Prover Generation Platform.
Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics.
Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

2011
Automated Synthesis of Tableau Calculi
Log. Methods Comput. Sci., 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
Tableau Calculi for <i>CSL</i>\mathcal{CSL} over minspaces.
Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2009
A Tableau Method for Checking Rule Admissibility in S4.
Proceedings of the 6th Workshop on Methods for Modalities, 2009

2008
On combinations of propositional dynamic logic and doxastic modal logics.
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
A Logic for Concepts and Similarity.
J. Log. Comput., 2007

Using Tableau to Decide Expressive Description Logics with Role Negation.
Proceedings of the Semantic Web, 2007

Deciding ALBO with Tableau.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006
Automated Reasoning About Metric and Topology.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

From topology to metric: modal logic and quantification in metric spaces.
Proceedings of the Advances in Modal Logic 6, 2006

2005
Comparative Similarity, Tree Automata, and Diophantine Equations.
Proceedings of the Logic for Programming, 2005

'Closer' representation and reasoning.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

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

Multi-Agent Dynamic Logics with Informational Test.
Ann. Math. Artif. Intell., 2004

2002
Multi-agent Logics of Dynamic Belief and Knowledge.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Combining Dynamic Logic with Doxastic Modal Logics.
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


  Loading...