Dmitry Tishkovsky

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