![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Dmitry Tishkovsky
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
- [c23]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: 610-638 - 2017
- [c22]Dmitry Tishkovsky, Renate A. Schmidt:
Rule Refinement for Semantic Tableau Calculi. TABLEAUX 2017: 228-244 - 2015
- [c21]Giles Reger
, Dmitry Tishkovsky, Andrei Voronkov:
Cooperating Proof Attempts. CADE 2015: 339-355 - 2014
- [j7]Renate A. Schmidt
, Dmitry Tishkovsky:
Using tableau to decide description logics with full role negation and identity. ACM Trans. Comput. Log. 15(1): 7:1-7:31 (2014) - 2013
- [j6]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): 34-38 (2013) - [c20]Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky:
A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI. Description Logics 2013: 724-734 - [c19]Mohammad Khodadadi, Renate A. Schmidt
, Dmitry Tishkovsky:
A Refined Tableau Calculus with Controlled Blocking for the Description Logic. TABLEAUX 2013: 188-202 - [i2]Dmitry Tishkovsky, Renate A. Schmidt:
Refinement in the Tableau Synthesis Framework. CoRR abs/1305.3131 (2013) - 2012
- [c18]Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky:
Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. PAAR@IJCAR 2012: 109-123 - [c17]Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi:
MetTeL2: Towards a Tableau Prover Generation Platform. PAAR@IJCAR 2012: 149-162 - [c16]Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky:
An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting. Description Logics 2012 - [c15]Dmitry Tishkovsky, Renate A. Schmidt
, Mohammad Khodadadi:
The Tableau Prover Generator MetTeL2. JELIA 2012: 492-495 - [c14]Clare Dixon
, Boris Konev, Renate A. Schmidt
, Dmitry Tishkovsky:
Labelled Tableaux for Temporal Logic with Cardinality Constraints. SYNASC 2012: 111-118 - [i1]Renate A. Schmidt, Dmitry Tishkovsky:
Using Tableau to Decide Description Logics with Full Role Negation and Identity. CoRR abs/1208.1476 (2012) - 2011
- [j5]Renate A. Schmidt, Dmitry Tishkovsky:
Automated Synthesis of Tableau Calculi. Log. Methods Comput. Sci. 7(2) (2011) - [c13]Dmitry Tishkovsky, Renate A. Schmidt
, Mohammad Khodadadi:
METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine. TABLEAUX 2011: 242-247 - 2010
- [c12]Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky:
Tableau Calculi for CSL\mathcal{CSL} over minspaces. CSL 2010: 52-66
2000 – 2009
- 2009
- [c11]Renate A. Schmidt
, Dmitry Tishkovsky:
Automated Synthesis of Tableau Calculi. TABLEAUX 2009: 310-324 - [c10]Sergey Babenyshev
, Vladimir V. Rybakov
, Renate A. Schmidt
, Dmitry Tishkovsky:
A Tableau Method for Checking Rule Admissibility in S4. M4M 2009: 17-32 - 2008
- [j4]Renate A. Schmidt
, Dmitry Tishkovsky:
On combinations of propositional dynamic logic and doxastic modal logics. J. Log. Lang. Inf. 17(1): 109-129 (2008) - [c9]Renate A. Schmidt
, Dmitry Tishkovsky:
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. IJCAR 2008: 194-209 - 2007
- [j3]Mikhail Sheremet
, Dmitry Tishkovsky, Frank Wolter
, Michael Zakharyaschev
:
A Logic for Concepts and Similarity. J. Log. Comput. 17(3): 415-452 (2007) - [c8]Renate A. Schmidt, Dmitry Tishkovsky:
Deciding ALBO with Tableau. Description Logics 2007 - [c7]Renate A. Schmidt
, Dmitry Tishkovsky:
Using Tableau to Decide Expressive Description Logics with Role Negation. ISWC/ASWC 2007: 438-451 - 2006
- [c6]Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev:
From topology to metric: modal logic and quantification in metric spaces. Advances in Modal Logic 2006: 429-448 - [c5]Ullrich Hustadt
, Dmitry Tishkovsky, Frank Wolter
, Michael Zakharyaschev
:
Automated Reasoning About Metric and Topology. JELIA 2006: 490-493 - 2005
- [c4]Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev:
'Closer' representation and reasoning. Description Logics 2005 - [c3]Mikhail Sheremet
, Dmitry Tishkovsky, Frank Wolter
, Michael Zakharyaschev
:
Comparative Similarity, Tree Automata, and Diophantine Equations. LPAR 2005: 651-665 - 2004
- [j2]Renate A. Schmidt
, Dmitry Tishkovsky:
Multi-Agent Dynamic Logics with Informational Test. Ann. Math. Artif. Intell. 42(1-3): 5-36 (2004) - [j1]Renate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt
:
Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic. Stud Logica 78(3): 381-415 (2004) - 2002
- [c2]Renate A. Schmidt, Dmitry Tishkovsky:
Combining Dynamic Logic with Doxastic Modal Logics. Advances in Modal Logic 2002: 371-392 - [c1]Renate A. Schmidt, Dmitry Tishkovsky:
Multi-agent Logics of Dynamic Belief and Knowledge. JELIA 2002: 38-49
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint